scala - Scala 中的结构化类型不适用于 Double？

Question

我正在尝试执行以下代码:

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

问题是，这不适用于任何数字类:

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)

我的代码有问题吗？

Answer 1

Scala 的结构类型不需要 AnyRef。

当然，以下方法声明不能按预期工作。

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

原因是上面的代码解释如下:

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

如果您明确指定 Any，则代码有效:

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