结构类型和原语答案

【问题标题】：Structural types and primitives结构类型和原语
【发布时间】：2012-04-06 10:59:31
【问题描述】：

当我发现对我来说似乎是一个错误时，我正在玩弄 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)

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

有人对此有解释吗？

【问题讨论】：

请注意，此示例适用于 Scala 2.10 开发版本。但这并不是说结构类型和盒装基元的整个混乱区域都经过彻底清理。
另一个混乱的解决方法：foo(5.asInstanceOf[toD]) 有效。

标签： scala structural-typing

【解决方案1】：

我只是玩了一下这个，它似乎真的是一个错误。但是，当您将返回类型设置为 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

【讨论】：