"Özel değer" ve "özel son değer" neden farklı?

Scala Reference'da bölüm 4.1'i görene kadar bunu düşünürdüm private valve private final valaynıydım:

Sabit bir değer tanımı formdadır

final val x = e

e sabit bir ifadedir (§6.24). Son değiştirici mevcut olmalıdır ve hiçbir tür açıklaması verilmemelidir. X sabit değerine yapılan referansların kendileri sabit ifadeler olarak ele alınır; üretilen kodda, tanımın sağ tarafı e ile değiştirilir.

Ve bir test yazdım:

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

javap -c çıktı:

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
}

Bayt kodu, Scala Reference'ın dediği gibi: private valdeğildir private final val.

Neden gelmez scalać sadece tedavi private valolarak private final val? Altta yatan herhangi bir sebep var mı?

Yani, bu sadece bir tahmin, ancak Java'da, sağ tarafta bir değişmez olan son statik değişkenlerin sabitler olarak bayt koduna satır içi olarak girilmesi Java'da çok yıllık bir rahatsızlıktı. Bu kesinlikle bir performans avantajı sağlar, ancak "sabit" değiştiğinde tanımın ikili uyumluluğunun bozulmasına neden olur. Değerinin değişmesi gerekebilecek son bir statik değişkeni tanımlarken, Java programcıları, değeri bir yöntem veya kurucu ile başlatmak gibi hacklere başvurmak zorundadır.

Scala'daki bir değer Java anlamında zaten son haldedir. Görünüşe göre Scala'nın tasarımcıları "sabit değeri satır içi yapma izni" anlamına gelmek için final değiştirici kullanıyorlar. Bu yüzden Scala programcıları, bilgisayar korsanlarına başvurmadan bu davranış üzerinde tam kontrole sahiptirler: eğer hiç değişmemesi gereken ama hızlı olan bir satır içi sabit isterlerse, "son val" yazarlar. İkili uyumluluğu bozmadan değeri değiştirme esnekliği istiyorlarsa, sadece "val".

Sanırım buradaki karışıklık, değişmezliği finalin anlambilimiyle karıştırmaktan kaynaklanıyor. vals, alt sınıflarda geçersiz kılınabilir ve bu nedenle, açıkça belirtilmedikçe nihai olarak değerlendirilemez.

@Brian REPL, satır düzeyinde sınıf kapsamı sağlar. Görmek:

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