Scala и модель памяти Java

Question

Модель памяти Java (начиная с 1.5) обрабатывает поля final иначе, чем поля не final. В частности, при условии, что ссылка this не исчезает во время построения, записи в поля final в конструкторе гарантированно будут видны в других потоках, даже если объект сделан доступным для другого потока через гонку данных. (Запись в не final поля не гарантированно будет видимой, поэтому, если вы неправильно опубликуете их, другой поток может увидеть их в частично сконструированном состоянии.)

Есть ли документация о том, как / если компилятор Scala создает final (а не final) вспомогательные поля для классов? Я просмотрел спецификацию языка и искал в Интернете, но не могу найти никаких окончательных ответов. (Для сравнения, @scala.volatile аннотация задокументирована для пометки поля как volatile)

Answer 1

Я покопался в истории, чтобы узнать, когда было сделано изменение.

• Отчет об ошибке Октябрь 2007
• Совершить Ноябрь 2007

Проекция Scala в JVM не указана в языковой спецификации.

Answer 2

Создает поле final, когда вы объявляете что-то как val. Все, чьи ссылки могут быть изменены, например, var, может (очевидно) не быть final внизу.

Это означает, что case classes также содержит конечные поля (поскольку аргументы конструктора класса case неявно val s)

Answer 3

Я отправил документацию об ошибке в системе Scala .