Tipi strutturali e primitive

Question

Stavo giocando con i tipi strutturali di Scala quando ho scoperto che mi sembra un bug. Ecco il mio codice:

type toD = { def toDouble: Double } 
def foo(t: toD) = t.toDouble 
foo(5) 

E ho ottenuto questo errore:

java.lang.NoSuchMethodException 
at scala.runtime.BoxesRunTime.toDouble(Unknown Source) 
at .foo(<console>:9) 
at .<init>(<console>:11) 
at .<clinit>(<console>) 
at .<init>(<console>:11) 
at .<clinit>(<console>) 
at $print(<console>) 
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source) 
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source) 
at java.lang.reflect.Method.invoke(Unknown Source) 
at scala.tools.nsc.interpreter.IMain$ReadEvalPrint.call(IMain.scala:704) 
at scala.tools.nsc.interpreter.IMain$Request$$anonfun$14.apply(IMain.scala:920) 
at scala.tools.nsc.interpreter.Line$$anonfun$1.apply$mcV$sp(Line.scala:43) 
at scala.tools.nsc.io.package$$anon$2.run(package.scala:25) 
at java.lang.Thread.run(Unknown Source) 

In primo luogo, non so il motivo per cui questo non sta funzionando. In secondo luogo, è strano che il codice viene compilato proprio bene e genera un'eccezione in fase di esecuzione dicendo che il metodo in realtà non esiste.

Qualcuno ha una spiegazione per questo?

Answer 1

Ho appena giocato un po 'con questo e sembra davvero essere un bug. Tuttavia funziona solo quando si imposta il tipo di ritorno a Qualsiasi:

type toD = { def toDouble: Any } 

penso che possa avere qualcosa a che fare con la boxe auto e il modo in cui vengono gestiti primitive.

edit:

Ho appena trovato una soluzione:

type toD[A] = { def toDouble: A } 
def foo[A](x: toD[A])(implicit y: A =:= Double) = x.toDouble 

Ciò assicura, che il valore di ritorno di toDouble (A) è doppio