Чому "приватний вал" і "приватний остаточний вал" відрізняються?

Я думав, що це private valі те private final valсаме, поки я не побачив розділ 4.1 у довіднику Scala:

Визначення постійного значення має форму

final val x = e

де e - постійний вираз (§6.24). Кінцевий модифікатор повинен бути присутнім, і анотація про тип не може бути надана. Посилання на постійне значення x самі по собі трактуються як постійні вирази; у створеному коді вони замінюються правою частиною e.

І я написав тест:

class PrivateVal {
  private val privateVal = 0
  def testPrivateVal = privateVal
  private final val privateFinalVal = 1
  def testPrivateFinalVal = privateFinalVal
}

javap -c вихід:

Compiled from "PrivateVal.scala"
public class PrivateVal {
  public int testPrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #19                 // Method privateVal:()I
       4: ireturn       

  public int testPrivateFinalVal();
    Code:
       0: iconst_1      
       1: ireturn       

  public PrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #24                 // Method java/lang/Object."<init>":()V
       4: aload_0       
       5: iconst_0      
       6: putfield      #14                 // Field privateVal:I
       9: return
}

Код байту так само, як сказав Scala Reference: private valні private final val.

Чому луска не розглядає private valяк private final val? Чи є якась основна причина?

Отже, це лише здогадка, але це було багаторічним роздратуванням на Яві, що кінцеві статичні змінні з літералом з правого боку потрапляють у байт-код як константи. Це спричиняє певну користь від продуктивності, але це призводить до порушення бінарної сумісності визначення, якщо "константа" колись змінюється. Визначаючи остаточну статичну змінну, значення якої може знадобитися змінити, програмістам Java доводиться вдаватися до таких хак, як ініціалізація значення методом чи конструктором.

Вал у Scala вже остаточний у сенсі Java. Схоже, дизайнери Scala використовують остаточний модифікатор, щоб означати "дозвіл на введення постійного значення". Тож програмісти Scala мають повний контроль над такою поведінкою, не вдаючись до хак: якщо вони хочуть вбудовану константу, значення, яке ніколи не повинно змінюватися, але швидко, вони пишуть "остаточний вал". якщо вони хочуть гнучкості змінити значення, не порушуючи бінарної сумісності, просто "val".

Я думаю, що плутанина тут виникає у зв'язку зі зміною незмінності із семантикою остаточного. vals може бути відмінено в дочірніх класах, і тому їх не можна вважати остаточними, якщо явно не позначено як таке.

@Brian REPL надає область класу на рівні рядка. Побачити:

scala> $iw.getClass.getPackage
res0: Package = package $line3

scala> private val x = 5
<console>:5: error: value x cannot be accessed in object $iw
  lazy val $result = `x`

scala> private val x = 5; println(x);
5