Scala: Czy można wskazać klasę ogólną, która implementuje określoną metodę?

Question

Myślę, że łatwiej jest wyjaśnić to na prostym przykładzie. (Pomoc przeformułowanie tytuł jest mile widziane ;-)

Chciałbym zaimplementować metodę squared i korzystając implicit def automatycznie dodać go do dowolnej klasy, który obsługuje * -operator.

Z Int to bardzo proste:

class EnhancedInt(x: Int) { def squared = x * x } 

implicit def IntToEnchancedInt(x: Int) = new EnhancedInt(x) 

Ale z żadną lub AnyVal pojawia się następujący błąd:

scala> class EnhanceAny(x: AnyVal) { def squared = x * x } 
<console>:7: error: value * is not a member of AnyVal 
     class EnhanceAny(x: AnyVal) { def squared = x * x } 

Chciałbym wiedzieć, w jaki sposób mogę zastosować go do dowolnego numeryczny klasa, a nawet lepiej, do każdej klasy obsługującej operatora-*.

Answer 1

To nie jest możliwe, aby rozwiązanie, które działa na wszelkiego rodzaju z metodą * bez pisania konwersję szablonowe dla każdego rodzaju chcesz się zajmować. Zasadniczo do tego potrzebowałbyś strukturalnego typu rekursywnego, a Scala nie obsługuje tych z powodu usuwania typu JVM. Więcej informacji można znaleźć pod numerem post.

można dostać dość blisko tego, co chcesz za pomocą klasy typu wraz z klasą Numeric typu (zainspirowany odpowiedzi na pytanie this i this). Będzie działać z większością prymitywów:

//define the type class 
trait Multipliable[X] { def *(x: X): X} 

//define an implicit from A <% Numeric[A] -> Multipliable[Numeric[A]] 
implicit def Numeric2Mult[A](a: A)(implicit num: Numeric[A]): Multipliable[A] = new Multipliable[A]{def *(b: A) = num.times(a, b)} 

//now define your Enhanced class using the type class 
class EnhancedMultipliable[T <% Multipliable[T]](x: T){ def squared = x * x} 

//lastly define the conversion to the enhanced class 
implicit def Mult2EnhancedMult[T <% Multipliable[T]](x: T) = new EnhancedMultipliable[T](x) 

3.squared 
//Int = 9 

3.1415F.squared 
//Float = 9.869022 

123456789L.squared 
//Long = 15241578750190521 

Answer 2

Go wizyta Scala: How to define “generic” function parameters?

Answer 3

Pomyśl o tym. Mnożenie ma różne właściwości na różnych obiektach. Na przykład mnożenie całkowite jest asocjacyjne i przemienne, mnożenie skalarne nie jest przemienne. I mnożenie liczb zmiennoprzecinkowych ... Ale oczywiście możesz mieć to, co chcesz, z cechą lub z "cechą i niejawną" konstrukcją, która przypomina typografię.