Scala final vs val для видимости concurrency

В Java, при использовании объекта в нескольких потоках (и вообще), хорошая практика - сделать поля окончательными. Например,

public class ShareMe {
    private final MyObject obj;
    public ShareMe(MyObject obj) {
        this.obj = obj;
    }
}

В этом случае видимость obj будет согласованной между несколькими потоками (пусть предполагается, что obj имеет все конечные поля), так как он безопасно построен с использованием ключевого слова final.

В scala он не выглядит val компилируется до окончательной ссылки, но val является семантикой в scala, которая препятствует переназначению переменной (Scala конечные переменные в конструкторе). Если переменные конструктора scala не определены как final, они будут страдать от одной и той же проблемы (при использовании этих объектов у участников)?

Ответ 1

Ответ на другой вопрос вводит в заблуждение. Существует два значения термина final: a) для полей/методов Scala и методов Java, это означает, что "нельзя переопределить в подклассе" и b) для полей Java и в байт-коде JVM это означает, что "поле должно быть инициализируется в конструкторе и не может быть переназначена".

Параметры класса, отмеченные val (или, что то же самое, параметры класса case без модификатора), действительно являются окончательными во втором смысле и, следовательно, потокобезопасными.

Здесь доказательство:

scala>  class A(val a: Any); class B(final val b: Any); class C(var c: Any)
defined class A
defined class B
defined class C

scala> import java.lang.reflect._
import java.lang.reflect._

scala> def isFinal(cls: Class[_], fieldName: String) = {
     |   val f = cls.getDeclaredFields.find(_.getName == fieldName).get
     |   val mods = f.getModifiers
     |   Modifier.isFinal(mods)
     | }
isFinal: (cls: Class[_], fieldName: String)Boolean

scala> isFinal(classOf[A], "a")
res32: Boolean = true

scala> isFinal(classOf[B], "b")
res33: Boolean = true

scala> isFinal(classOf[C], "c")
res34: Boolean = false

Или с помощью javap, который можно удобно запустить из REPL:

scala> class A(val a: Any)
defined class A

scala> :javap -private A
Compiled from "<console>"
public class A extends java.lang.Object implements scala.ScalaObject{
    private final java.lang.Object a;
    public java.lang.Object a();
    public A(java.lang.Object);
}

Ответ 2

Я думаю, что, возможно, неправильно понял, как скомпилирован var. Я создал образец класса

class AVarTest(name:String) {
   def printName() {
     println(name)
   }
}

Я побежал javap -private, и это привело к

public class AVarTest extends java.lang.Object implements scala.ScalaObject{
    private final java.lang.String name;
    public void printName();
    public AVarTest(java.lang.String);
}

И имя фактически скомпилировано в final.

Это также показано в Scala значение val должно быть сохранено с синхронизированным для одновременного доступа?