Làm thế nào để các đặc điểm trong Scala tránh được lỗi kim cương của Wap?

(Lưu ý: Tôi đã sử dụng 'lỗi' thay vì 'vấn đề' trong tiêu đề vì lý do rõ ràng ..;)).

Tôi đã đọc một số bài cơ bản về Đặc điểm trong Scala. Chúng tương tự như Giao diện trong Java hoặc C #, nhưng chúng cho phép thực hiện mặc định một phương thức.

Tôi đã tự hỏi: điều này không thể gây ra một trường hợp của "vấn đề kim cương", đó là lý do tại sao nhiều ngôn ngữ tránh được nhiều sự kế thừa ở nơi đầu tiên?

Nếu vậy, Scala xử lý việc này như thế nào?

Vấn đề kim cương là không có khả năng quyết định thực hiện phương pháp nào để lựa chọn. Scala giải quyết điều này bằng cách xác định lựa chọn triển khai nào là một phần của thông số kỹ thuật ngôn ngữ ( đọc phần về Scala trong bài viết Wikipedia này ).

Tất nhiên, định nghĩa thứ tự tương tự cũng có thể được sử dụng trong thừa kế nhiều lớp, vậy tại sao phải bận tâm với các đặc điểm?

Lý do IMO là các nhà xây dựng. Trình xây dựng có một số hạn chế mà các phương thức thông thường không có - chúng chỉ có thể được gọi một lần cho mỗi đối tượng, chúng phải được gọi cho mỗi đối tượng mới và hàm tạo của lớp con phải gọi hàm tạo của cha mẹ là hướng dẫn đầu tiên (hầu hết các ngôn ngữ sẽ làm điều đó ngầm cho bạn nếu bạn không cần truyền tham số).

Nếu B và C thừa hưởng A và D kế thừa B và C, và cả hai hàm tạo của B và C đều gọi hàm tạo của A, thì hàm tạo của D sẽ gọi hàm tạo của A hai lần. Xác định việc triển khai nào để chọn như Scala đã làm với các phương thức sẽ không hoạt động ở đây vì cả hai hàm tạo của B và C phải được gọi.

Đặc điểm tránh vấn đề này vì họ không có nhà xây dựng.

Scala tránh được vấn đề kim cương bằng một thứ gọi là "tuyến tính hóa đặc điểm". Về cơ bản, nó tìm kiếm phương thức thực hiện trong các đặc điểm bạn mở rộng từ phải sang trái. Ví dụ đơn giản:

trait Base {
   def op: String
}

trait Foo extends Base {
   override def op = "foo"
}

trait Bar extends Base {
   override def op = "bar"
}

class A extends Foo with Bar
class B extends Bar with Foo

(new A).op
// res0: String = bar

(new B).op
// res1: String = foo

Có nói rằng, danh sách các đặc điểm mà nó tìm kiếm có thể chứa nhiều hơn những đặc điểm bạn đưa ra rõ ràng, vì chúng có thể mở rộng các đặc điểm khác. Một lời giải thích chi tiết được đưa ra ở đây: Đặc điểm là sửa đổi có thể xếp chồng và một ví dụ đầy đủ hơn về tuyến tính hóa ở đây: Tại sao không phải là nhiều kế thừa?

Tôi tin vào các ngôn ngữ lập trình khác, hành vi này đôi khi được gọi là "Thứ tự giải quyết phương pháp" hoặc "MRO".