有界類型作為方法參數？

Question

我正在嘗試在抽象方法上強制執行特定的子類類型，如下所示：

public abstract class Searcher {    
  public abstract SearchResult search(<T extends SearchInput> searchInput);
}

這是為了確保 Searcher 的子類必須擴展 SearchInput 的相應子類。 我知道我可以為方法的返回類型使用有界類型，但我似乎無法讓它作為方法參數工作。 這在 Java 中是否可行？

Answer 1

查看有關通用方法的Java 文檔：

泛型方法的語法包括類型參數列表，位於尖括號內，出現在方法的返回類型之前。

你需要：

public abstract class Searcher {
    public abstract <T extends SearchInput> SearchResult search(T searchInput);
}

重點是，泛型類型聲明必須發生在簽名部分之前。