Scala 构造函数参数和类/特征/对象成员的 final 的含义

Question

final 对 Scala 构造函数参数意味着什么？我有这个例子：

class IntFinalTest(
    val intVal: Int,
    final val finalIntVal: Int,
    var intVar: Int,
    final var finalIntVar: Int) {
  //  intVal = 3 // error: reassignment to val
  //  finalIntVal = 3 // error: reassignment to val
  intVar = 3
  finalIntVar = 3
}

class ArrayFinalTest(
    val arrayVal: Array[Int],
    final val finalArrayVal: Array[Int],
    var arrayVar: Array[Int],
    final var finalArrayVar: Array[Int]) {
  arrayVal(0) = 3
  finalArrayVal(0) = 3
  arrayVar(0) = 3
  finalArrayVar(0) = 3
}

从编译器输出判断（只有两个标记的行会导致错误），final 和非final vals 和vars 之间没有区别 - 这是正确的吗？我通过运行此示例验证了除intVal 和finalIntVal 之外的所有变量都被修改了。

相关问题 RQ1：final 在属于层次结构的类的构造函数中是否有任何意义？

相关问题 RQ2：如果 Array[Int] 是构造函数参数列表的一部分，我如何创建不可变的类成员？

上下文：我使用 Scala 2.10.5，并且只有几个月的使用经验。

Answer 1

val 无法更改。但是val 可以 被覆盖，所以即使你在某处看到val，你也不能确定它的价值。 （在一般情况下，很难判断成员是否被覆盖。这称为类层次分析，相当于解决停止问题。）

一个final val，但是不能更改也不能被覆盖，所以你知道它的值永远不会与初始化它的值不同。带有var 或val 注释的构造函数参数成为类的成员，因此构造函数参数的final val 与“普通”类/特征/对象成员的含义大致相同.

请注意，对于（非构造函数）成员完全声明如下：

final val foo = e

即带有 explicit final 修饰符（即使 val 是隐式最终的，例如因为它在 final 类或 object 内），没有 em> 一个类型注解，如果e 是constant expression，则声明变为constant value declaration，Scala 语言规范保证编译器会对其进行优化。