Java 兩路參數化 class

Question

是否可以在 java 中毫無問題地執行此操作？ 我的 IDE 將我的代碼突出顯示為“參數化 class 'Etat' 的原始使用”和“作為原始類型 'java.util.ArrayList' 的成員對 'add(E)' 的未經檢查的調用”我的代碼：

public abstract class Etat<T extends Transition> {}

public abstract class Transition<E extends Etat> {}

Answer 1

您可能正在尋找：

class Etat<T extends Transition<E, T>, E extends Etat<E, T> {}
class Transition<T extends Transition<E, T>, E extends Etat<E, T>> {} 

然后，你可以這樣做：

class MonEtat extends Etat<MonEtat, MaTransition> {}
class MaTransition extends Transition<MonEtat, MaTransition> {}

允許這兩種類型通過它們的類型參數相互了解。 例如，如果您聲明：

class Etat<E extends Etat<E, T>, T extends Transition<E, T>> {
    abstract E apply(T transition);
}

您可以放心

MonEtat e = ...;
e = e.apply(new MaTransition()); // compiles, and knows that MonEtat is returned