Tại sao không thể ghi đè biến có thể biến đổi trong scala?

Question

Tại sao không thể ghi đè biến có thể thay đổi trong scala?

class Abs(var name: String){ 
} 

class AbsImpl(override var name: String) extends Abs(name){ 
} 

Trên đang cung cấp cho lỗi sau thời gian biên dịch: -

variable name cannot override a mutable variable

Nếu tên được khai báo val, sau đó mã ở trên hoạt động tốt.

Answer 1

Nếu bạn có thể ghi đè một var bằng var, thì thành viên ghi đè có thể có loại hẹp hơn. (Đó là cách ghi đè được xác định.)

Sau đó, bạn có thể chỉ định giá trị của loại rộng hơn và sau đó đọc nó mong đợi loại hẹp hơn và không thành công.

Minh họa setter tham gia:

scala> class A ; class B extends A 
defined class A 
defined class B 

scala> abstract class C { var x: A } ; class D extends C { var x: B = _ } 
<console>:13: error: class D needs to be abstract, since variable x in class C of type A is not defined 
(Note that an abstract var requires a setter in addition to the getter) 
     abstract class C { var x: A } ; class D extends C { var x: B = _ } 
              ^

scala> abstract class C { var x: A } 
defined class C 

scala> class D extends C { var x: B = _ ; def x_=(a: A) = ??? } 
defined class D 

Answer 2

này xảy ra khi var bạn đang cố gắng để ghi đè lên đã có một bài tập. Tôi không chắc chắn lý do tại sao điều này bị cấm, nhưng cũng có ý nghĩa rất ít.

Xem thêm this question.

Xác định name như trừu tượng thay vì

trait Abs { 
    var name: String 
} 

class AbsImpl(name0: String) extends Abs { 
    var name = name0 
} 

hoặc

trait Abs { 
    var name: String 
} 

class AbsImpl(private var name0: String) extends Abs { 
    def name = { 
    println("getter") 
    name0 
    } 

    def name_=(value: String) = { 
    println("setter") 
    name0 = value 
    } 
} 

Answer 3

Tôi tin rằng mục đích đơn giản là để thiết lập giá trị của di truyền var name. Điều này có thể đạt được theo cách này (không override var):

class Abs(var name: String){ 
} 

class AbsImpl(name: String) extends Abs(name){ 
} 

Sự mơ hồ phát sinh từ các địa phương var name: String trong AbsImpl được đặt tên sau khi thừa hưởng var name: String từ Abs. Một mã tương tự, ít cú pháp mơ hồ nhưng cũng ít thanh lịch sẽ là:

class Abs(var name: String){ 
} 

class AbsImpl(name_value: String) extends Abs(name_value){ 
} 

Answer 4

Câu trả lời ngắn gọn: bạn cần phải vượt qua -Yoverride-vars để trình biên dịch Scala.

Theo thông số kỹ thuật, var vừa là bộ nạp tiền vừa là người đặt cược và quy tắc ghi đè thông thường sẽ áp dụng cho các phương pháp này. Tuy nhiên, điều này đã chứng minh có một số hậu quả không mong muốn w.r.t. vào từ khóa final và nội tuyến. Các mã trong trình biên dịch đề cập đến một số giải thích đặc tả sẽ là cần thiết:

// TODO: this is not covered by the spec. We need to resolve this either by changing the spec or removing the test here. 
if (!settings.overrideVars) 
    overrideError("cannot override a mutable variable") 

Một vé liên quan: SI-3770

Answer 5

Khi bạn muốn trọng một var tương đương của nó để cố gắng để ghi đè lên một lĩnh vực trong java mà là không thể .