Java中的惰性通用類型傳遞

Question

假設我的界面Status很簡單

interface Status {
    Integer getNumber();
}

並有簡單的界面來檢索它：

interface A<T extends Status> {
    T getStatus();
}

我感興趣的內容可以簡化為：

interface DateStatus extends Status {
    Date getDate();
}

interface B<T extends DateStatus> extends A<T> {

}

對於從A擴展的接口B方法， getStatus()返回DateStatus的實例。

簡單的例子：

A.getStatus() -> Status

B.getStatus() -> Status

B<DateStatus>.getStatus() -> DateStatus

如何在不添加通配符的情況下實現B.getStatus() -> DateStatus ？

Answer 1

您需要做的是在B的定義中覆蓋getStatus ：

public interface B<T extends DateStatus> extends A<T> {
    @Override
    T getStatus();
}