java - 为什么在使用有界类型参数时需要强制转换

Question

我一直在玩泛型，现在我很好奇为什么我需要在将“new Special()”添加到 Set 之前将其转换为 E。我知道在这种情况下这并不是真正需要的，因为我也可以使用一组 Base...

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;
}

Answer 1

假设你有这个:

final class SomethingElse extends Base {}

还有这个:

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

你现在能看出问题了吗？

E extends Base 表示“E 是一个 unknown 类型，它扩展了 Base”。这并不意味着“E 是任何 扩展 Base 的类型。”

在上面的例子中，问题在于可以这样调用 doSomething():

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