Tại sao trình biên dịch Scala cho .NET bỏ qua ý nghĩa của val?

Question

Tôi đang chơi đùa với Scala. Và tôi đã tìm thấy 3 điều thú vị (tiêu đề là phần thứ ba).

1 biến cục bộ được khai báo là val không được hiểu là cuối cùng.

class HowAreVarAndValImplementedInScala { 
    var v1 = 123 
    val v2 = 456 

    def method1() = { 
    var v3 = 123 
    val v4 = 456 
    println(v3 + v4) 
    } 
} 

nếu tôi biên dịch mã scala trên vào bytecode và sau đó dịch ngược đó vào java, nó trông như thế này:

public class HowAreVarAndValImplementedInScala 
{ 
    private int v1 = 123; 
    private final int v2 = 456; 

    public int v1() 
    { 
    return this.v1; 
    } 

    public void v1_$eq(int x$1) { this.v1 = x$1; } 

    public int v2() { return this.v2; } 

    public void method1() { 
    int v3 = 123; 
    int v4 = 456; 
    Predef..MODULE$.println(BoxesRunTime.boxToInteger(v3 + v4)); 
    } 
} 

chúng ta có thể thấy v2 là cuối cùng, nhưng không phải là v4, tại sao?

biên dịch 2 scala cho .net thêm ghi đè từ khóa để rất nhiều (nếu không phải tất cả) các phương pháp dụ công

nếu chúng ta biên dịch mã scala hiển thị ở trên vào CIL và sau đó dịch ngược nó vào C#, nó là như thế này:

public class HowAreVarAndValImplementedInScala : ScalaObject 
{ 
    private int v1; 
    private int v2; 

    public override int v1() 
    { 
    return this.v1; 
    } 

    public override void v1_$eq(int x$1) 
    { 
    this.v1 = x$1; 
    } 

    public override int v2() 
    { 
    return this.v2; 
    } 

    public override void method1() 
    { 
    int v3 = 123; 
    int v4 = 456; 
    Predef$.MODULE$.println(v3 + v4); 
    } 

    public HowAreVarAndValImplementedInScala() 
    { 
    this.v1 = 123; 
    this.v2 = 456; 
    } 
} 

tất cả phương pháp công khai (không bao gồm hàm tạo) được đánh dấu là ghi đè, tại sao? là cần thiết?

3 trình biên dịch Scala cho .net thua ý nghĩa của val

trong C# mã trên, chúng ta có thể thấy v2 đó chỉ là một lĩnh vực bình thường, trong khi ở phần java couter, v2 được đánh dấu là cuối cùng, shouldn 't v2 được đánh dấu là chỉ đọc bởi trình biên dịch Scala cho .net? (một lỗi?)

Answer 1

Ở cấp bytecode, cuối cùng không tồn tại đối với các biến cục bộ. Trong thực tế, khái niệm về các biến cục bộ không thực sự tồn tại. Đánh dấu một biến cục bộ là biến cuối cùng là hoàn toàn cho việc kiểm tra thời gian biên dịch. Vì thông tin không có trong classfile, trình giải mã không có cách nào để đoán nó. Đối với hai câu hỏi thứ hai, tôi không quen thuộc với bytecode CIL, nhưng nếu tôi phải đoán tôi muốn nói rằng không có lý do gì để không ghi đè lên, và readonly có thể có ngữ nghĩa khác nhau.

Chỉnh sửa: Sau khi xem qua đặc tả CIL, đây là những gì tôi đã tìm thấy.

Tương đương CIL của cờ final của Java cho các trường là initonly, có vẻ như có cùng ngữ nghĩa. Không rõ tại sao trình biên dịch Scala không phát ra điều này. Có lẽ họ chỉ không nhận được xung quanh nó? Hoặc có lẽ trình biên dịch .net mà bạn đã sử dụng không phản ánh điều này. Nếu bạn muốn xem những gì trình biên dịch thực sự tạo ra, tốt nhất bạn nên xem trực tiếp mã byte.