Strukturalne pisanie w Scali nie działa z Double?

Question

próbuję wykonać następujący kod:

def sum(e: { def *(x: Double): Double}) = e * 2.0 

Problem jest, to nie działa ze wszystkimi klasami numerycznych:

sum(20.0) 
<console>:9: error: type mismatch; 
found : Double(10.0) 
required: AnyRef{def *(x: Double): Double} 
       algo(10.0) 

sum(10) 
<console>:9: error: type mismatch; 
found : Int(10) 
required: AnyRef{def *(x: Double): Double} 
       algo(10) 

Czy jest coś złego w moim kodu?

Answer 1

Typ konstrukcji Scala nie wymaga funkcji AnyRef.

Z pewnością poniższa deklaracja metody nie działa zgodnie z oczekiwaniami.

def sum(e: { def *(x: Double): Double }) = e * 2.0 

Powodem tego jest powyższy kod jest interpretowany jako poniższych:

def sum(e: AnyRef { def *(x: Double): Double}) = e * 2.0 

Jeśli podasz Wszelkie wyraźnie, kod działa:

scala> def sum(e: Any { def *(x: Double): Double }) = e * 2.0 
sum: (e: Any{def *(x: Double): Double})Double 

scala> sum(10.0) 
res0: Double = 20.0 

Answer 2

Wybrana metoda sum oczekuje podtypu AnyRef podczas Double i inne typy numeryczne podtypy AnyVal. Zamiast tego należy użyć czcionki typowej Numeric.

def sum[E:Numeric](e:E) = { 
    val n = implicitly[Numeric[E]] 
    n.toDouble(e) * 2 
}