Java Generics để thực thi kiểu trả về của phương pháp trừu tượng

Question

Tôi có tình huống sau đây:

abstract class X { abstract X someMethod (...) {...} }. 

Bây giờ tôi muốn hạn chế bất kỳ thực hiện X để có phương pháp 'someMethod' của mình trở lại loại thực hiện cụ thể, chứ không chỉ X :

class X1 extends X { X1 someMethod (...) {...} }. 
class X1 extends X { X someMethod (...) {...} }. //want this to be flagged as an error 
class X2 extends X { X1 someMethod (...) {...} }. //want this to be flagged as an error too 

Có thể đạt được điều này bằng cách sử dụng Generics Java không?

EDIT

OK. Tôi chỉ hỏi có/không có câu hỏi và có một "có". Lỗi của tôi. Những gì tôi đã thực sự quan tâm là "làm thế nào để tôi viết các tờ khai".

Answer 1

Điều này cũng hoạt động;

abstract class X<T> { 
    public abstract T yourMethod(); 
} 
class X1 extends X<X1> { 
    public X1 yourMethod() { 
     return this; 
    } 
} 
class X2 extends X<X2> { 
    public X2 yourMethod() { 
     return this; 
    } 
} 

Answer 2

Có. Đây là return type covariance.

Answer 3

này nên chỉ làm việc tốt:

class X<T> { 
    abstract T someMethod(...); 
} 

class X1<T1> extends X 
    T1 someMethod(...) { 
    ... 
    } 
} 

Answer 4

abstract class X<I extends X<I>> { 
    protected X(Class<I> implClazz) { 
     if (!getClass().equals(implClazz)) { 
      throw new IllegalArgumentException(); 
     } 
    } 

    abstract I someMethod(); 
} 

Lý do: Bạn không có thể tham khảo các loại động trong loại giới hạn, do đó việc kiểm tra gián tiếp trong các nhà xây dựng.

Answer 5

Dưới đây là một cách tiếp cận cho phép bạn quay trở lại một kiểu tham số cho this:

AbstractFoo<T extends AbstractFoo<T>> { 
    /** Subclasses must implement to return {@code this}. */ 
    protected abstract T getThis(); 

    /** Does something interesting and returns this Foo */ 
    public T inheritedThing { 
    /* blah di blah */ 
    return getThis(); 
    } 
}