为什么Collection不被简单地视为Collection

Question

请考虑以下来自Shiro
org.apache.shiro.subject.PrincipalCollection界面的API方法，但也可能存在于其他库中：

Collection fromRealm(String realmName);

是的，即使是现在，仍然有一些库使用原始类型，可能是为了保留Java 1.5之前的兼容性？

如果我现在想将此方法与流或类似的可选项一起使用：

principals.fromRealm(realmName).stream().collect(Collectors.toSet());

我收到有关未经检查的转换和使用原始类型的警告，我更喜欢使用参数化类型。

蚀：

类型安全：方法collect（Collector）属于原始类型Stream。泛型类型Stream 的引用应参数化

javac：

注意：GenericsTest.java使用未经检查或不安全的操作。

因为我无法更改API方法的签名来摆脱此警告，所以我可以使用以下注释@SuppressWarnings("unchecked")或将其强制转换为Collection<?>：

((Collection<?>) principals.fromRealm(realmName)).stream().collect(Collectors.toSet());

由于这种转换当然总是有效，所以我想知道为什么编译器不只是将这种情况Collection视为Collection<?>警告而是警告这种情况。添加注释或强制转换不会单单改善代码，但会降低可读性，甚至可能掩盖有关使用非参数类型的实际有效警告。

Answer 1

原因很简单：

您可能以Object与from Collection<?>相同的方式阅读Collection。 但是 您不能将Objects
添加到Collection<?>（编译器禁止这样做），而Collection可以添加。

如果在Java 5发行之后，编译器已将每次转换Collection为Collection<?>，则先前编写的代码将不再编译，因此将破坏向后兼容性。