18

当应用于def和时，我观察到 Scala 的类型推断有所不同val。

使用def，我可以定义一个抽象的 nullary 方法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
               ^

为什么？

4

2 回答 2

2

如果您使用选项 -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 的值。

如果您查看 trait 中定义的 val const，您会看到私有 val 的创建被禁用，因为它只是 def const 访问器的定义。

我认为具有先前定义（在特征或超类中）的推理类型仅在他尝试创建访问器时发生，而不是用于评估值。

而对于最后一个 def const ，类型仅基于 private[this] val const type : error => error

于 2012-05-24T22:07:04.673 回答
1

从 Scala 2.9.1 开始，这是“按规定”的。引用SI-2742中的 Martin Odersky 的话：

对于方法，继承的抽象方法中的返回类型被视为右侧的预期类型。对于值，没有这样的规则。因此，正如我所见，这将是一个规范增强请求。

这张票是低优先级的，自 2009 年底首次讨论以来一直保持不变，因此它似乎不太可能很快改变。

于 2012-06-05T10:42:34.667 回答