Hạn chế các loại có thể thực hiện Trait

Question

Có thể hạn chế các loại có thể thực hiện một đặc điểm không? Nói, ví dụ tôi có một loại

interface Something { 
    void foo() 
} 

và một đặc điểm

trait SomethingAbility { 
    void bar() { 
    println "bar" 
    } 
} 

Có cách nào mà tôi chỉ có thể cho phép các đặc điểm được thực hiện bởi các lớp học mà là của loại Something, ví dụ

// OK 
class SomethingImpl implements Something, SomethingAbility { 
    void foo() { 
    println "foo" 
    } 
} 

// error: this class should not be allowed to implement the trait 
// because it's not a Something 
class NotSomething implements SomethingAbility { 
    void foo() { 
    println "foo" 
    } 
} 

Một lựa chọn là để thêm một phương pháp trừu tượng đến đặc điểm

trait SomethingAbility { 
    void bar() { 
    println "bar" 
    } 

    abstract void foo() 
} 

Điều này sẽ có nghĩa là đặc điểm không thể được thực hiện bởi một lớp trừ lớp mà còn cung cấp một phương pháp foo(), nhưng điều này không phải là điều tương tự như lớp phúc lợi của loại Something

Answer 1

tôi nghĩ rằng những gì bạn đang tìm kiếm là @Selftype, xem http://docs.groovy-lang.org/docs/latest/html/gapi/groovy/transform/SelfType.html về cơ bản nó nói những gì một lớp sử dụng đặc điểm này để có impleme nt. Vì vậy, với

@SelfType(Something) 
trait SomethingAbility { 
    void bar() { 
    println "bar" 
    } 
} 

bạn tuyên bố rằng bất kỳ lớp nào sử dụng đặc điểm này cũng sẽ phải triển khai giao diện Something. Điều này đảm bảo cho ví dụ, rằng nếu bạn tĩnh biên dịch các đặc điểm và bạn gọi một phương thức từ giao diện Một cái gì đó, biên dịch đó sẽ không thất bại. tất nhiên đối với Groovy tiêu chuẩn, điều này là không cần thiết, vì gõ vịt.