在接口中重寫Java通用方法

Question

public   <A extends Interface1,I extends Interface2> I  Method(A a);

這是界面中的方法。 當我重寫此接口的方法，我可以代替I用它實現接口2但參數類的任何A ，如果它是接口1的子類被拒絕。 它只能是Interface1類型。 所以當我嘗試：

 public   SubTypeofInterface2  Method(Interface1 a); //fine
 public   SubTypeofInterface2  Method(SubTypeofInterface1 a); // not accepted

為什么會這樣？

Answer 1

僅當兩個方法的擦除相同或實現類中的方法擦除與接口中的方法擦除兼容時，才認為實現類中的方法重寫接口方法。

那么接口中方法的擦除是什么？ 就像這樣：

public Interface2 method(Interface1 a);

因此，從您的兩種方法中：

public   SubTypeofInterface2  Method(Interface1 a); //fine
public   SubTypeofInterface2  Method(SubTypeofInterface1 a); // not accepted

僅第一個與擦除方法具有重寫兼容性。 返回類型中的協變類型是允許的。

但是第二種方法不兼容。 覆蓋時，參數中不允許使用協變類型。 這就是為什么它無法編譯。

它的工作方式與普通的非泛型方法重寫相同：

interface Test {
    Object get(Object obj);
}

class TestImpl implements Test {
    // Valid override
    @Override
    public String get(Object obj) { return null; }

    // This doesn't override interface method.
    public String get(String obj) { return null; }
}

Answer 2

這是因為您的方法需要能夠處理Interface1的任何子類型。 如果用戶想將Interface1的其他子類型傳遞到您的方法中，該怎么辦？ 該界面告訴用戶他們可以，但是您對該界面的實現持不同意見。 因此，錯誤。

Answer 3

查找“ contravariance”。 方法參數處於相反位置。 即使Java很酷，可以支持這種子類型關系，您的子類也必須看起來像

public   SubTypeofInterface2 Method(SuperTypeofInterface1 a);