Структурные типы и примитивы

Question

Я играл с структурными типами Scala, когда обнаружил, что выглядит как ошибка для меня. Вот мой код:

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

И я получил эту ошибку:

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) 

Во-первых, я не знаю, почему это не работает. Во-вторых, странно, что код компилируется просто отлично и генерирует исключение во время выполнения, говоря, что метод фактически не существует.

У кого-нибудь есть объяснение?

Answer 1

Я просто немного поиграл с этим, и это действительно кажется ошибкой. Однако это работает, когда вы просто установить тип возврата к любому:

type toD = { def toDouble: Any } 

Я думаю, что это может иметь что-то делать с авто боксом и путями примитивов обрабатываются.

редактировать:

Я только что нашел обходной путь:

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

Это гарантирует, что возвращаемое значение toDouble (A) является двойным