サブクラス宣言の制限

Question

すべてのモデルクラスに特定のupdateメソッドを実装するアプリケーションがあります。

public interface BaseInterface<T> 
{ 
    T update(T t); 
} 

public abstract class BaseClass<T extends BaseClass<T>> implements BaseInterface<T> 
{ 

} 

したがって、すべての私のモデルクラスはBaseClassを拡張します。このために私は次の宣言でabstract classとinterfaceを作成しました。例えばBookクラス定義は、しかし、私は私のモデルクラスの宣言を制限することはできませんよ上記の構文を使用して

public class Book extends BaseClass<Book> 
{ 
    public Book update(Book b) 
    { 
     //implementation 
    } 
} 

になります。私がそれを制限したい上記を行うには構文的に正しいですが

class Book extends BaseClass<User> 
{ 
    public User update(User u) 
    { 
     //implementation 
    } 
} 

：また、有効な次の宣言をBaseClass<Book>を拡張するために有効とBookクラスのために必要である一方、例えば。

私のモデルクラスのupdateメソッドは、基本的に、独自のクラスのインスタンスをパラメータとしてとり、独自のクラスのインスタンスを返します。すなわち

BaseClass

を拡張するクラスCがある場合、そのupdate方法は、正確な署名C update(C c)でなければなりません。

、または他の言葉でBaseClassを拡張するクラスCがある場合は、その後、BaseClassのテンプレートパラメータがC自体[すなわちC extends BaseClass<C>]と他には何もする必要があります。

どのように達成できますか？

注：これは、ここでは、独自のenumの種類ではなくenumの他の種類のインスタンスを取るためにcompareToメソッドの定義を制限することができますenum宣言

public class Enum<E extends Enum<E>> implements Comparable<E> 
{ 
    int compareTo(E e) 
    { 
    } 
} 

と少し似ています。

ありがとうございます。

Answer 1

あなたのインターフェースの定義をinterface BaseInterface<T extends BaseClass<T>>に変更してください。

私の例に従ってください：

public interface BaseInterface<T extends BaseClass<T>> { 
    T update(T t); 
} 

public abstract class BaseClass<T extends BaseClass<T>> implements 
     BaseInterface<T> { 

} 

public class Book extends BaseClass<Book> { 
    @Override 
    public Book update(Book b) { 
     return null; 
    } 
} 

class User {} 

    // This code cannot be compiled exactly for reason you want. 
public class Book2 extends BaseClass<User> { 
    @Override 
    public Book2 update(Book2 b) { 
     return null; 
    } 
}