Type structurel avec Int

bonjour,

je voudrais utiliser un type structurel pour utiliser indifféremment un Int par exemple et une classe que j'ai créé:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

object Main {   type AdditionneAvecInt = { def +(v: Int): Int }   class MonInt(val i: Int) {   def +(v: Int): Int = i + v }   def additionner(a: AdditionneAvecInt, b: Int) = a + b   def main(args: Array[String]) = { println(additionner(new MonInt(1), 1)) //println(additionner(1, 1)) } }

---

MonInt est bien reconnue comme un type AdditionneAvecInt, mais pas Int (la ligne commentée ne compile pas), alors qu'elle a bien une méthode +(Int): Int : http://www.scala-lang.org/api/curren...html#scala.Int

le compilateur retourne ça:

Citation:

---

Test.scala:16: error: type mismatch;
found : Int(1)
required: Main.AdditionneAvecInt
println(additionner(1, 1))
^
one error found

---

c'est possible d'utiliser un Int?

merci

Le code que tu nous présentes et celui qui se fait compiler n'est pas le même

Dans un premier temps, tu as:

Code:

---

1 2	println(additionner(new MonInt(1), 1))

---

Puis ça passe à

Code:

---

1 2	println(additionner(1, 1))

---

Qui heureusement "bashé" par le compilateur.

Vérifie bien que tes fichiers soient bien synchro.

je vois pas trop ce que tu veux dire...
j'ai mis les 2 lignes (avec dans un cas "new MonInt(1)" et dans l'autre "1") pour montrer que dans un cas ça fonctionne et pas dans l'autre, alors que selon moi, s'il n'y a pas de subtilité technique que je ne connais pas, ça devrait (si j'ai bien compris les types structurels).

Citation:

---

Test.scala:16: error: type mismatch;
found : Int(1)
required: Main.AdditionneAvecInt
println(additionner(1, 1))
^
one error found

---

Regarde bien le premier paramètre de la méthode "additionner"

Ben ça parait normal puisqu'il te dit que ça fonctionne avec sa classe Int mais pas avec la classe Int de Scala et qu'il ne comprend pas pourquoi !!!
L'erreur à la compilation qu'il a donné c'est avec le cas où il passe la classe Int de Scala même si dans son code c'est en commentaire, c'est pas le cœur du problème.

Donc en définitive, il demande pourquoi cela fonctionne avec sa classe et pas avec celle de Scala.
Je n'ai pas la réponse pour l'instant désolé, il faudrait que je regarde de plus près mais j'ai pas vraiment le temps et certainement pas assez de connaissances en Scala.

Effectivement, j'avais mal compris. Voila comment régler le problème.

Quand tu définis structurellement un type, le type par défaut sera AnyRef (l'équivalent de java.lang.Object). scala.Int étend de la classe scala.AnyVal (qui représente les types primitifs en java)

Dans ton cas le compilateur s'énerve car tu lui passe un AnyVal alors qu'il attend un AnyRef.

Tu peux contourner le problème en déclarant ton alias comme ça

Code:

---

1 2 3 4

type AdditionneAvecInt = Any { def +(v: Int): Int }

---

Tu prendras en compte tous les AnyRef et AnyVal qui définissent la méthode +

merci beaucoup! et désolé de pas avoir été clair.