爲什麼我需要在使用有界類型參數時進行投射

我當時正在玩泛型，現在我很好奇爲什麼我需要在E中添加「新Special（）」之前將其添加到Set中。我知道這是不是真的需要在這種情況下，因爲我可以用一組基本的，以及...爲什麼我需要在使用有界類型參數時進行投射

private static class Base {} 
private static class Special extends Base{} 

private <E extends Base> Set<E> doSomething(){ 
    Set<E> someset = new HashSet<>(); 
    someset.add(new Special()); 
    return someset; 
}

來源

2016-10-04 Daniel

的【什麼是佩奇（生產者消費者擴展超）？（http://stackoverflow.com/questions/2723397/what-is-pecs-producer-extends-consumer-super） – user140547

什麼錯誤你可能的複製得到？ – talex

假設你有如下：

final class SomethingElse extends Base {}

這：

private <E extends Base> doSomething(Set<E> someset) { 
    someset.add(new Special()); 
}

你現在可以看到問題了嗎？

E extends Base意味着「E是延伸Base一個未知類型」。這並不意味着「E是任何類型，延伸Base」。

在上面的例子中，問題是，一個可以稱之爲doSomething()這樣的：

Set<Special> onlySpecials = new HashSet<>(); 
doSomething(onlySpecials); 
onlySpecials.stream() 
    .findFirst() 
    .ifPresent(Special::someSpecializedMethod); /* Boom! ClassCastException! */

來源

2016-10-04 15:07:08 erickson

明白了，謝謝！ – Daniel

試想Base有兩個亞型：Special和VerySpecial。你叫doSomething這樣的：

Set<VerySpecial> set = doSomething();

在這種情況下，您set將包含Special實例，它是不是你所期望的，因爲它的類型唐不允許這樣。

來源

2016-10-04 15:08:00 talex

爲什麼我需要在使用有界類型參數時進行投射

回答

相關問題