我观察到,当应用于def
和val
时,Scala的类型推断有所不同。
使用def
,我可以定义一个抽象的空方法const
,返回一些Int => Int
类型的值。在使用函数式实现const
时,我不需要提供参数类型,因为编译器可以推断出它:
trait D {
def const: Int => Int
}
object D extends D {
def const = i => i + 1
}
这很好。(缺点是,每次访问D.const
都会创建一个新的函数实例。)
现在考虑一个使用val
的类似结构
trait V {
val const: Int => Int
}
object V extends V {
val const = i => i + 1
}
这将不会编译,失败的原因是
error: missing parameter type
val const = i => i + 1
^
为什么?
发布于 2012-05-25 06:07:05
如果您使用选项-Xprint all构建此代码,您将看到:
abstract trait V extends scala.AnyRef {
<stable> <accessor> def const: Int => Int
};
final object V extends java.lang.Object with V with ScalaObject {
def this(): object V = {
V.super.this();
()
};
private[this] val const: <error> => <error> = ((i: <error>) => i.+(1));
<stable> <accessor> def const: <error> => <error> = V.this.const
}
因此,该错误发生在创建私有val和访问器时。在创建存取器def const之前,编译器尝试计算影响val const的值。
如果您查看在特征中定义的val const,您会看到私有val的创建被禁用,因为它只是def const访问器的一个定义。
我认为具有先前定义的推理类型(在特征或超类中)只有在他试图创建访问器时才会发生,而不是为了计算一个值。
对于最后一个def const,该类型仅基于privatethis val const类型: error => error
https://stackoverflow.com/questions/10738137
复制相似问题