+ =/* =/etc opérateurs sur les types AnyVal (Int, Double, etc ...) dans Scala

Question

Où sont exactement les méthodes * =/+ =/etc déclarées pour les sous-classes de AnyVal? Je suppose que quelque chose de spécial est fait pour ces types parce que, en val, ceux-ci ne sont pas valides, mais en tant que var, ils vont bien. Est-ce juste plus de sucre syntatique? Je suppose qu'il tourne

a *= 5 

dans

a = a * 5 

qui échoue évidemment pour un val. Cette intuition est-elle correcte? Je suppose aussi qu'il ne tente que cela pour AnyVals? Merci

Answer 1

Votre intuition est correcte. Pour toute classe, non seulement les sous-classes de AnyVal, si une méthode d'affectation n'existe pas, alors a OP= b est transformé en a = a OP b. Rappelez-vous, OP, dans ce cas, doivent être des caractères non alphanumériques.

Ceci est décrit sur le Scala Reference (spécification Scala), section 6.12.4.

Answer 2

Un petit jeu de Foo:

class Foo (val v: String, val n: String) { 
    override def toString : String = v + " : " + n 
    def #: (i: Int) : Foo = { 
    new Foo (v.substring (i), n.substring (i)) }} 

var foo = new Foo ("Martin", "Odersky") 

scala> foo #:= 2 
scala> foo 
res30: Foo = rtin : ersky 

scala> foo #:= 2 
scala> foo  
res32: Foo = in : sky 

scala> foo #:= 2 
scala> foo  
res34: Foo = : y