Scala中`def`和`val`的不同类型推断
Scala中`def`和`val`的不同类型推断
提问于 2012-05-24 21:09:01
我观察到，当应用于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
^为什么？
回答 1
Stack Overflow用户
发布于 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
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/10738137
复制相关文章
相似问题
腾讯云开发者
