Question

如果类参数声明为override，我为什么需要val修饰符呢？

scala> class A(val s:String){}
defined class A

scala> class B(val s:String) extends A(s) //doesnot work without override
<console>:13: error: overriding value s in class A of type String;
 value s needs `override' modifier
       class B(val s:String) extends A(s)
                   ^

scala> class A(s:String){}
defined class A

scala> class B(s:String) extends A(s) //override not required.
defined class B

Answer 1

第二个例子中不仅不需要override;这是不允许的，因为s不会覆盖任何内容。如果构造函数参数不是val，那么它不构成类API的一部分，因此没有什么可以覆盖。

当您使用val时，与第一个示例一样，除了构造函数参数s之外，您还隐式引入了一个名为s的方法。因此，当您扩展A时，Scala需要使用override关键字来强制您确认您正在引入新的不同的 s，以隐藏{ {1}};这是一件不寻常的事情，他们不希望你偶然做到这一点。

Answer 2

类似的问题已经回答here。显然编译器需要它。在查看＆＃39;覆盖＆＃39;的组合时例如＆＃34; C：\ Program Files \ Java \ jdk1.8.0_131 \ bin \ javap＆＃34; -p -c -constants -s -verbose B.class ，确实创建了一个引用A类字符串的额外字符串

  {
    public java.lang.String s();
    descriptor: ()Ljava/lang/String;
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #12                 // Method A.s:()Ljava/lang/String;
         4: areturn
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   LB;
      LineNumberTable:
        line 8: 0

  public B(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_0
         1: aload_1
         2: invokespecial #18                 // Method A."<init>":(Ljava/lang/String;)V
         5: return
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       6     0  this   LB;
            0       6     1     s   Ljava/lang/String;
      LineNumberTable:
        line 8: 0
}

为什么在使用val创建类参数时需要覆盖修饰符？

2 个答案: