java的實現通用接口，一個匿名類

Question

考慮下面的接口，

public interface Callback<T> { 
    <K, V> T execute(Operation<K, V> operation) throws SomeException; 
} 

我將如何實現新的匿名類，其中operation是類型的接口Operation<String,String>

例如，這不編譯：

Callback<Boolean> callback = new Callback<Boolean>() { 
     @Override 
     public Boolean execute(Operation<String, String> operation) { 
       return true; 
     } 
}; 
executor.execute(callback); 

Answer 1

的方法的泛型是無關的類泛型參數

你需要重複他們的方法，因爲它是正確的，例如

Callback<Boolean> callback = new Callback<Boolean>() { 
     @Override 
     public <X,Y> Boolean execute(Operation<X, Y> operation) { 

     } 
}; 
executor.execute(callback); 

換句話說，接口需要一個可用於任何操作參數的執行方法。

如果你想要一個只適用於特定參數的回調，你需要使它們成爲類簽名的一部分，例如，

public interface Callback<T,K,V> { 
    T execute(Operation<K, V> operation) throws SomeException; 
} 

，那麼這將讓你做

Callback<Boolean,String,String> callback = new Callback<Boolean,String,String>() { 
     @Override 
     public Boolean execute(Operation<String, String> operation) { 

     } 
}; 
executor.execute(callback); 

我不能看到得到你想要的......除非你開始使用<? super K,? super V>或<? extends K,? extends V>形式，其可能會限制你太多的路線。

這裏是你的界面刪除什麼

public interface Callback<T> { 
    T execute(Operation<Object, Object> operation) throws SomeException; 
} 

那麼當你用T == Boolean實例，我們得到

public interface Callback { 
    Boolean execute(Operation<Object, Object> operation) throws SomeException; 
} 

不能由

Boolean execute(Operation<String, String> operation) throws SomeException; 

方法被實現爲在參數更窄。您可以擴大參數範圍並縮小參數，但不能以其他方式進行。

這就解釋了爲什麼您可以將返回類型（輸出參數）從Object更改爲Boolean，因爲任何預計Object的人都會對Boolean感到滿意。

相反，我們不能擴大返回類型，因爲那樣會給ClassCastException任何人調用方法並對結果採取行動。

方法參數（在參數中）只能加寬。由於Java將不同類型看作不同的方法，所以現在對於方法參數有點複雜，因此您可以合法地擁有不同的簽名，因爲第二種方法的簽名不同。但是您的Operation<X,Y>類會被刪除爲原始類型，不管它是否爲Operation<String,String>或Operation<X,Y>

有一件事您可以做...但它會變得凌亂！

public interface StringOperation extends Operation<String,String> {} 

那麼你可以做

Callback<Boolean> cb = new Callback<Boolean> { 
    @Override 
    public <K,V> Boolean execute(Operation<K,V> o) { ... } 
    // not an @Override 
    public Boolean execute(StringOperation o) { ... } 
} 

但請記住，execute(Callback<?>)方法將被調用<K,V> Boolean execute(Operation<K,V> o)而不是Boolean execute(StringOperation o)

Answer 2

因爲類名中的類型參數和方法中的類型參數實際上是不同的你可以做下方。

@Override 
    public <K, V> Boolean execute(Operation<K, V> operation) 
      throws SomeException { 
     return false; 
    }