Scala trọng một def phi trừu tượng với một var

Question

Trong Scala tôi có thể làm điều này:

trait SomeTrait { 
    protected def foo: String 
} 

class Wibble extends SomeTrait { 
    protected var foo = "Hello" 
} 

Nhưng tôi không thể làm điều tương tự mà tôi cung cấp một định nghĩa mặc định cho foo

trait SomeTrait { 
    protected def foo: String = "World" 
} 

class Wibble extends SomeTrait { 
    protected var foo = "Hello" //complains about lack of override modifier 

    override protected var foo = "Hello" //complains "method foo_ overrides nothing" 
} 

Tại sao Tôi không thể làm điều này?

EDIT: Sau một cuộc trò chuyện trên scala người sử dụng danh sách gửi thư, tôi có raised this in trac

Answer 1

Trong Scala, khi bạn viết một var foo, trình biên dịch Scala tự động tạo ra một setter (gọi tắt là foo_=) và một getter (được gọi là foo) cho nó và đặt trường là riêng tư (bạn sẽ thấy trường đó là riêng tư nếu bạn dịch ngược một lớp có các trường Scala 'công khai' với javap). Đó là ý nghĩa của phương thức 'foo_ = ghi đè không có gì'. Trong đặc điểm của bạn, bạn chưa xác định phương thức foo_= và đối với bộ tách trường công cộng và getters luôn là sẽ ghép đôi.

Nếu bạn không cung cấp giá trị mặc định trong đặc điểm (nghĩa là phương pháp trừu tượng), thì từ khóa override là không cần thiết. Vì vậy, trong ví dụ đầu tiên của bạn, getter ghi đè phương thức trừu tượng và setter ... nó chỉ ở đó. Trình biên dịch không phàn nàn. Nhưng khi bạn cung cấp một thực hiện thực tế của phương pháp trong đặc điểm, bạn cần phải ghi rõ từ khóa override khi ghi đè. Khi viết protected var foo, bạn chưa chỉ định từ khóa override cho trình lấy và khi viết override protected var foo, bạn cũng đã chỉ định cho trình biên dịch rằng phương thức foo_= sẽ bị ghi đè, nhưng đặc điểm này không có phương pháp như vậy.

Ngoài ra, về mặt logic, bạn không thể ghi đè một số def với số var (xem xét chế độ ghi đè nghiêm ngặt, như trong đoạn trước). Một def là một hàm hợp lý (bạn cung cấp cho nó một số đầu vào, nó tạo ra một đầu ra). Một var tương tự như một hàm không có arg, nhưng cũng hỗ trợ thiết lập giá trị của nó cho một cái gì đó khác, một hoạt động không được hỗ trợ bởi một hàm. Thay vào đó, nếu bạn thay đổi nó thành val, điều đó sẽ ổn thôi. Nó giống như một hàm luôn tạo ra cùng một kết quả (được lưu trữ).

Nếu bạn muốn có hành vi tương tự như một var bạn có thể làm một cái gì đó như thế này (bằng cách setter rõ ràng và thu khí):

class Wibble extends SomeTrait { 
    private var bar = "Hello" 
    override protected def foo = bar 
    protected def foo_=(v: String) { bar = v} 
} 

Bây giờ bạn có thể làm bất cứ điều gì bạn có thể làm với một var :).

val x = new Wibble 
println(x.foo) // yields "Hello" 
x.foo = "Hello again" 
println(x.foo) // yields "Hello again"