使用靜態方法泛型時的不兼容類型

Question

當我嘗試編譯以下代碼時，編譯失敗並顯示以下錯誤。 我不確定為什么要這樣做，因為我只返回實現合同的類

public interface Contract {
  static <T extends Contract> T get() {
    return new ConcreteContract();
  }
}

class ConcreteContract implements Contract {
}

---

Contract.java:3: error: incompatible types: ConcreteContract cannot be converted to T
    return new ConcreteContract();
           ^
  where T is a type-variable:
    T extends Contract declared in method <T>get()
1 error

有誰知道為什么Java會以這種方式表現（或者）我是否遺漏了一些明顯的線索？

PS：在發布此查詢之前，我已經閱讀了10多項SO熱門搜索

Answer 1

由於您的方法返回通用類型T ，並且T可以是實現Contract任何類，因此可以使用以下方法調用它：

OtherConcreteContract variable = Contract.get();

並且您不能將ConcreteContract分配給OtherConcreteContract變量（假設ConcreteContract不是OtherConcreteContract的子類）。

為了避免該錯誤，您應該返回接口類型：

static Contract get() {
    return new ConcreteContract();
}

或具體類型：

static ConcreteContract get() {
    return new ConcreteContract();
}

前者（返回接口類型）通常是更好的選擇。

泛型在這里無濟於事。

Answer 2

您需要將最終的返回類型轉換為類型T。

使用，您可以指定T是否必須是Contract或它的子類。 意味着您正在限制將用作通用類型的類型。

在返回時，您應嚴格遵守使用時定義的泛型類型，這就是編譯器抱怨您返回類型T而不是嘗試返回的內容的原因。