结构类型和原语

时间:2012-04-06 10:59:31

标签: scala structural-typing

当我发现看起来像个虫子的东西时,我正在玩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)

首先,我不知道为什么这不起作用。第二,奇怪的是,代码编译得很好,并在运行时抛出异常,说该方法实际上并不存在。

有没有人对此有解释?

1 个答案:

答案 0 :(得分:6)

我只是玩了一下这个,这似乎是一个错误。但是,只需将返回类型设置为Any:

即可
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)的返回值为Double