scala 中的特征中使用的抽象值有问题吗？

Question

我的

trait Invoker {
  val method: Method
}

Intellij IDEA 代码检查警告我“特征中使用的抽象值”。一切编译都很好。特征具有抽象值有什么问题吗？如果是这样，我应该如何指定该特征的所有扩展程序都必须定义方法属性？

Answer 1

这意味着以下奇怪之处：

trait A {
  val i: String
  def j: String
}

class C extends A {
  println ("val i = " + i)
  println ("def j = " + j)

  val i = "i"
  def j = "j"
}

val c = new C
// prints
// val i = null
// def j = j

因此，正如您所看到的，i 之前已初始化为其默认值（null for AnyRef）它最终被 C 中的构造函数覆盖。 （def 声明会立即重新引用。）

为了避免这种情况，必须将 val 初始化放在构造函数的开头（如果可能的话）。

---

以下情况下的额外奇怪之处（以及如何解决它）

现在考虑一下

trait A {
  val i: String
  def j: String
}

abstract class D extends A {
  println ("val i = " + i)
  println ("def j = " + j)
}

class C extends D {
  val i = "i"
  def j = "j"
}
val c = new C
// prints
// val i = null
// def j = null

，我们似乎不走运；看起来我们没有机会在超类 D 尝试之前初始化 val i 和 def j打印它们。
为了解决这个问题，我们必须使用早期定义（§5.1.6 Scala 参考)：

class C extends {
  val i = "i"
  def j = "j"
} with D

val c = new C
// prints
// val i = i
// def j = j

它有效！

Answer 2

在特征中使用抽象 val 有很多充分的理由。不幸的是，IntelliJ IDEA 没有区分这些，只是警告不要普遍使用它们。实际上，这意味着 IntelliJ IDEA 警告将被忽略。