在 Scala 中，如何在类的主构造函数中定义局部参数？

Question

在 Scala 中，如何在非数据成员的类的主构造函数中定义局部参数，例如，该参数仅用于初始化基类中的数据成员？

例如，在下面的代码中，如何在类B的主构造函数中正确定义参数b，使其只生成临时局部参数而不生成数据成员？

class A(var a: Int)
class B(?b?) extends A(b)

---

Randall，你的回答解释了为什么 Scala 编译器在我引入一个增加属性 a 的方法 inc 时会抱怨，而且还更改了类 B 构造函数中的参数名称以匹配参数的名称在类A构造函数中：

class A(var a: Int)
class B(a: Int) extends A(a) {
  def inc(value: Int) { this.a += value }
}

Scala 编译器输出：

$ scala construct.scala
construct.scala:3: error: reassignment to val
  def inc(value: Int) { this.a += value }
                               ^
one error found

Scala 抱怨是因为类B 现在必须有一个私有的只读属性a，因为在inc 中引用了a。将B(a: Int) 更改为B(var a: Int) 会产生不同的编译器错误：

construct.scala:2: error: error overriding variable a in class A of type Int;
 variable a needs `override' modifier
class B(var a: Int) extends A(a) {
            ^
one error found

添加override 也无济于事：

construct.scala:2: error: error overriding variable a in class A of type Int;
 variable a cannot override a mutable variable
class B(override var a: Int) extends A(a) {
                 ^
one error found

如何在B的主构造函数中的参数中使用与基类A的主构造函数中定义的属性相同的名称？

Answer 1

如果从构造函数参数中删除“var”或“val”关键字，则不会产生属性。

但请注意，非 var、非 val 构造函数参数在范围内并且可在整个类中访问。如果您在非构造函数代码中使用一个（即在方法的主体中），则生成的类中将有一个不可见的私有字段来保存该构造函数参数，就像您将其设为“私有变量”或“ private val" 构造函数参数。

附录（迟到总比没有好？？）：

在这段代码中，对构造函数参数的引用只出现在构造函数体中：

class C1(i: Int) {
  val iSquared = i * i
  val iCubed = iSquared * i
  val iEven = i - i % 2
}

...这里i的值只在构造函数执行期间存在。

但是，在下面的代码中，因为构造函数参数是在方法体中引用的——它不是构造函数体的一部分——所以必须将构造函数参数复制到生成类的（私有）字段中（增加其内存保存Int所需的4个字节）：

class C2(i: Int) {
  val iSquared = i * i
  val iCubed = iSquared * i
  val iEven = i - i % 2

  def mod(d: Int) = i % d
}

Answer 2

经过一些实验，我确定在参数b 前面省略var 或val 将使其成为本地参数而不是数据成员：

class A(var a: Int)
class B(b: Int) extends A(b)

Java 扩展：

$ javap -private B
Compiled from "construct.scala"
public class B extends A implements scala.ScalaObject{
    public B(int);
}

$ javap -private A
Compiled from "construct.scala"
public class A extends java.lang.Object implements scala.ScalaObject{
    private int a;
    public A(int);
    public void a_$eq(int);
    public int a();
    public int $tag()       throws java.rmi.RemoteException;
}

请注意，类A 有一个私有数据成员a，因为它的主构造函数中有var a: Int。然而，B 类没有数据成员，但它的主构造函数仍然有一个整数参数。

Answer 3

您可以像这样在单个类成员的初始化过程中创建临时变量：

class A(b:Int){
  val m = {
    val tmp = b*b
    tmp+tmp
  }
}

Answer 4

德里克，

如果你有这个：

class A(a: Int) {
  val aa = a // reference to constructor argument in constructor code (no problem)
  def m: Float = a.toFloat // reference to constructor argument in method body (causes a to be held in a field)
}

你会发现（例如使用 javap）类中存在一个名为“a”的字段。如果您注释掉“def m”，您将看到该字段未创建。