Thực hiện đặc điểm nội tại Scala như chúng tôi làm với giao diện bên trong Java

Question

mã trong Java này biên dịch không có lỗi:

interface T { 
    interface Q { 
    } 
} 

class C implements T.Q { 
} 

trong khi mã này trong Scala không:

trait T { 
    trait Q { 
    } 
} 

class C extends T.Q { 
} 

là gì đúng dịch (nếu nó tồn tại) của danh sách mã Java vào Scala?

Giải thích lý thuyết về thiết kế ngôn ngữ được hoan nghênh.

Answer 1

Loại nội Q được xác định duy nhất để thực hiện dụ cụ thể của T tính trạng. Vì scala có loại phụ thuộc vào đường dẫn, mỗi trường hợp của T sẽ có một phần phụ của riêng mình Q.

scala> trait T { 
    | trait Q 
    | } 
defined trait T 

scala> class C extends T { 
    | def getQ: this.Q = new this.Q {} 
    | } 
defined class C 

scala> val inC = (new C).getQ 
inC: C#Q = C$$anon$1@3f53073a 


scala> val c = new C 
c: C = C@1a7e4ff0 

scala> new c.Q {} 
res4: c.Q = $anon$1@36bbb2f5 

---

Nếu bạn cần một giao diện cho một hành vi chung cho khách hàng của bạn để thực hiện, và không phụ thuộc vào một C dụ cụ thể, bạn cần xác định nó trong vòng một Object

scala> object T { 
    | trait Q { 
    |  def implementMe: Unit 
    | } 
    | } 
defined module T 

scala> val inT = new T.Q { 
    | def implementMe = println("implemented!") 
    | } 
inT: T.Q = $anon$1@20f2a08b 

scala> inT.implementMe 
implemented! 

---

Tại sao các loại phụ thuộc vào đường dẫn?

Đối với những lý do thiết kế, nhìn here

Answer 2

Bạn không thể làm điều đó. Khi các kiểu được lồng nhau, bạn đang tạo một loại được gọi là loại phụ thuộc vào đường dẫn, có nghĩa là loại mỗi thể hiện của thực thể bên trong được gắn với cá thể cụ thể trong đó nó được tạo.

Nói cách khác, bạn có giao diện Q không có sự tồn tại độc lập mà sẽ cho phép bạn để đề cập đến nó ngoài một thể hiện của T.