valはどのように不変ですか？

Question

明示的に宣言しない限りvalはfinalではないことがわかっています。javapを使用すると、スカラックがバイトコードにfinalを挿入していないことが確認されます。

したがって、valは、コンパイラがそれを変更しようとするコードを記述するのを止めてしまうため、変更不可能ですか？

が

valは、あなたが最初の宣言の後、それに何かを割り当てることにより、変数を変更（変異させる）ことができないことを意味：

Answer 1

finalと不変性は、2つの直交概念ですそれはによって実装されますJVMバイトコードで

val x = 1 
x = 2 // error: reassignment to val 

プライベートメンバーとゲッターを作成しますが、セッターではない：

class A { 
    val x = 1 
} 

=> 

// Java equivalent of a generated bytecode 
public class A { 
    private final int x; 
    public int x() { return x; } 
    ... 
} 

finalは、」あなたができることを意味しますトンサブクラスであなたのvalをオーバーライドする：あなたはvarの代わりvalを使用する場合

class A { 
    final val x = 1 
} 

class B extends A { 
    override val x = 2 
} 

// error: overriding value x in class A of type Int(1); 
// value x cannot override final member 

finalは、同じエラーが発生します。