เหตุใด "private val" และ "private final val" จึงแตกต่างกัน

Question 1

ฉันเคยคิดแบบนั้นprivate valและprivate final valเหมือนกันจนกระทั่งฉันเห็นหัวข้อ 4.1 ใน Scala Reference:

นิยามค่าคงที่เป็นรูปแบบ
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 อ้างอิงกล่าวว่า: ไม่ได้private valprivate final val

ทำไมscalacถึงไม่ปฏิบัติprivate valตามprivate final val? มีเหตุผลพื้นฐานหรือไม่?

Question 2

ดังนั้นนี่เป็นเพียงการคาดเดา แต่มันเป็นความน่ารำคาญตลอดกาลใน Java ที่ตัวแปรคงที่สุดท้ายที่มีลิเทอรัลทางด้านขวามือจะถูกแทรกใน bytecode เป็นค่าคงที่ สิ่งนี้ก่อให้เกิดประโยชน์ด้านประสิทธิภาพอย่างแน่นอน แต่จะทำให้ความเข้ากันได้แบบไบนารีของนิยามหยุดชะงักหาก "ค่าคงที่" เปลี่ยนแปลงไป เมื่อกำหนดตัวแปรคงที่สุดท้ายซึ่งค่าอาจจำเป็นต้องเปลี่ยนแปลงโปรแกรมเมอร์ Java ต้องใช้แฮ็กเช่นการกำหนดค่าเริ่มต้นด้วยวิธีการหรือตัวสร้าง

Val ใน Scala เป็นที่สิ้นสุดแล้วในความหมายของ Java ดูเหมือนว่านักออกแบบของ Scala จะใช้ตัวปรับแต่งซ้ำซ้อนในขั้นสุดท้ายเพื่อหมายถึง "การอนุญาตให้แทรกค่าคงที่" ดังนั้นโปรแกรมเมอร์ของ Scala จึงสามารถควบคุมพฤติกรรมนี้ได้อย่างสมบูรณ์โดยไม่ต้องใช้แฮ็ก: หากพวกเขาต้องการค่าคงที่แบบอินไลน์ค่าที่ไม่ควรเปลี่ยนแปลง แต่รวดเร็วพวกเขาจะเขียน "ค่าสุดท้าย" หากพวกเขาต้องการความยืดหยุ่นในการเปลี่ยนค่าโดยไม่ทำลายความเข้ากันได้ของไบนารีเพียงแค่ "val"

Question 3

ฉันคิดว่าความสับสนที่นี่เกิดจากการจับคู่ความไม่แปรเปลี่ยนกับความหมายของขั้นสุดท้าย 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