Scala 为什么在使用val创建类参数时需要重写修饰符？

如果类参数声明为

val

而不是其他形式，为什么我需要

override

修饰符

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

scala>class-A（val-s:String）{}
定义的A类
scala>class B（val s:String）扩展了A（s）//如果没有重写，就无法工作
：13:错误：重写字符串类型的A类中的值s；
值s需要“重写”修饰符
类B（val s:String）扩展了A（s）
^
scala>class A（s:String）{}
定义的A类
scala>class B（s:String）扩展了A（s）//不需要重写。
定义的B类

在第二个示例中，不仅不需要

覆盖

；这是不允许的，因为

s

不会覆盖任何内容。如果构造函数参数不是

val

，则表示它不构成类API的一部分，因此无需重写

---

在使用

val

时，如第一个示例中所示，除了构造函数参数

s

之外，还隐式引入了名为

s

的方法。因此，当您扩展

A

时，Scala需要

override

关键字来强制您承认您正在引入一个新的、不同的

s

，该

A

中的

会隐藏起来；这是一件不寻常的事情，他们不希望你意外地做到这一点。
类似的问题也得到了回答。显然编译器需要它。当查看带有“C:\Program Files\Java\jdk1.8.0\u 131\bin\javap”-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
}

{
public java.lang.String s（）；
描述符：（）Ljava/lang/String；
旗帜：ACC_PUBLIC
代码：
堆栈=1，局部变量=1，参数大小=1
0:aload_0
1:invokespecial#12//方法A.s:（）Ljava/lang/String；
4：轮到你了
LocalVariableTable：
起始长度插槽名称签名
0 5 0这磅；
LineNumberTable：
第8行：0
公共B（java.lang.String）；
描述符：（Ljava/lang/String；）V
旗帜：ACC_PUBLIC
代码：
堆栈=2，局部变量=2，参数大小=2
0:aload_0
1:aload_1
2:invokespecial#18//方法A.“”：（Ljava/lang/String；）V
5：返回
LocalVariableTable：
起始长度插槽名称签名
0 6 0这磅；
0 6 1 s Ljava/lang/String；
LineNumberTable：
第8行：0
}
因此，如果我不提供像
val
或
var
这样的修饰符，Scala编译器将不会创建类成员。因此不需要重写。实际上，如果在构造函数外部使用它，它可能会创建一个私有成员，但这些成员不能被重写。