Tại sao `private val` và` private final val` khác nhau?

Tôi đã từng nghĩ điều đó private valvà private final valcũng giống như vậy, cho đến khi tôi xem phần 4.1 trong Scala Reference:

Định nghĩa giá trị không đổi có dạng

final val x = e

với e là một biểu thức hằng số (§6.24). Công cụ sửa đổi cuối cùng phải có mặt và không có chú thích loại nào có thể được cung cấp. Các tham chiếu đến giá trị hằng số x được coi là biểu thức hằng số; trong mã được tạo, chúng được thay thế bằng phía bên phải của định nghĩa e.

Và tôi đã viết một bài kiểm tra:

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

javap -c đầu ra:

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
}

Mã byte đúng như Scala Reference đã nói: private valkhông phải private final val.

Tại sao scalac không được coi private vallà private final val? Có lý do cơ bản nào không?

Vì vậy, đây chỉ là một phỏng đoán, nhưng nó là một khó chịu lâu năm trong Java rằng các biến tĩnh cuối cùng với một ký tự ở phía bên tay phải được đưa vào bytecode dưới dạng hằng số. Điều đó chắc chắn tạo ra một lợi ích về hiệu suất, nhưng nó khiến khả năng tương thích nhị phân của định nghĩa bị phá vỡ nếu "hằng số" từng thay đổi. Khi xác định một biến tĩnh cuối cùng mà giá trị của nó có thể cần thay đổi, các lập trình viên Java phải sử dụng đến các thủ thuật như khởi tạo giá trị bằng một phương thức hoặc hàm tạo.

Val trong Scala đã là cuối cùng theo nghĩa Java. Có vẻ như các nhà thiết kế của Scala đang sử dụng công cụ sửa đổi dư thừa cuối cùng có nghĩa là "quyền để nội dòng giá trị không đổi". Vì vậy, các lập trình viên Scala có toàn quyền kiểm soát hành vi này mà không cần dùng đến hack: nếu họ muốn một hằng số nội tuyến, một giá trị không bao giờ thay đổi nhưng nhanh, họ viết "giá trị cuối cùng". nếu họ muốn thay đổi giá trị một cách linh hoạt mà không phá vỡ khả năng tương thích nhị phân, chỉ cần "val".

Tôi nghĩ rằng sự nhầm lẫn ở đây phát sinh từ việc kết hợp tính bất biến với ngữ nghĩa của cuối cùng. vals có thể được ghi đè trong các lớp con và do đó không thể được coi là cuối cùng trừ khi được đánh dấu rõ ràng như vậy.

@Brian REPL cung cấp phạm vi lớp ở cấp độ dòng. Xem:

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