Comment fonctionne la magie de la méthode apply() de Scala ?

Question

En Scala, si je définis une méthode appelée apply dans une classe ou un objet de niveau supérieur, cette méthode sera appelée chaque fois que j'ajouterai une paire de parenthèses à une instance de cette classe, et que je mettrai les arguments appropriés pour la méthode apply() entre les deux. Par exemple :

class Foo(x: Int) {
    def apply(y: Int) = {
        x*x + y*y
    }
}

val f = new Foo(3)
f(4)   // returns 25

Donc, en gros, object(args) est juste un sucre syntaxique pour object.apply(args) .

Comment Scala effectue-t-il cette conversion ?

Y a-t-il une conversion implicite définie globalement, similaire aux conversions implicites de type dans l'objet Predef (mais de nature différente) ? Ou s'agit-il d'une magie plus profonde ? Je pose la question parce qu'il semble que Scala favorise fortement l'application cohérente d'un petit ensemble de règles, plutôt que de nombreuses règles avec de nombreuses exceptions. Au départ, cela me semble être une exception.

Answer 1

Je ne pense pas qu'il y ait quelque chose de plus profond que ce que vous avez dit à l'origine : c'est juste un sucre syntaxique par lequel le compilateur convertit les données de l'utilisateur en données de l'utilisateur. f(a) en f.apply(a) comme un cas spécial de syntaxe.

Cela peut sembler être une règle spécifique, mais seuls quelques-uns d'entre eux (par exemple, avec l'option update ) permet DSL -et des bibliothèques.

Answer 2

C'est en fait l'inverse, un objet ou une classe avec une méthode apply est le cas normal et une fonction est un moyen de construire implicitement un objet du même nom avec une méthode apply. En fait, chaque fonction que vous définissez est un sous-objet de la fonction n (n est le nombre d'arguments).

Voir la section 6.6:Applications des fonctions de la Spécification du langage Scala pour plus d'informations sur le sujet.

Answer 3

Je pose la question parce qu'il semble que Scala favorise fortement l'application cohérente d'un ensemble plus restreint de règles, plutôt que de nombreuses règles avec de nombreuses exceptions.

Oui. Et cette règle appartient à ce plus petit ensemble.