Java泛型執行抽象方法

Question

的返回類型，我有以下情況：

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

現在我想約束X的任何實施有它「的someMethod」方法返回一個特定的實現類型，而不僅僅是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 

使用Java泛型可以達到這個目的嗎？

編輯

好的。我只問了是/否問題並得到了「是」。我的錯。我真正感興趣的是「我如何撰寫聲明」。

Answer 1

這也適用;

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

是的。這是return type covariance。

Answer 3

這應該只是罰款：

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(); 
} 

理由：你不能指動態類型的類型限制，因此間接檢查在構造函數中。

Answer 5

這裏是一個可以讓你對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(); 
    } 
}