结合原始类型和泛型方法：不可预见的后果
处理原始类型和泛型方法时，可能会出现意外行为。考虑以下代码片段：
ArrayList<String> a = new ArrayList<String>(); String[] s = a.toArray(new String[0]);
此代码在 JDK 1.6 和 1.7 中都能成功编译。但是，将 ArrayList 引用更改为原始类型会导致编译器错误：
ArrayList a = new ArrayList(); String[] s = a.toArray(new String[0]); // Error: String[] expected, Object[] found
令人惊讶的是，编译器将泛型方法 toArray 解释为返回 Object[]，尽管接收了 String[] 作为参数。这是违反直觉的，因为人们期望该方法符合其类型参数。
理解行为
JLS 4.8 揭示了这种行为：
“未从其超类或超接口继承的原始类型 C 的构造函数、实例方法或非静态字段 M 的类型是对应于泛型声明中其类型擦除的原始类型”到 C。”
简单来说，在处理原始类型时，编译器会忽略与方法或字段关联的任何类型参数。因此，原始类型 ArrayList 中的 toArray 方法的类型是 Object[]，无论类型参数 T 是什么。
此行为超出了泛型方法的范围。即使您在类的其他部分使用泛型，将其作为原始类型引用也会有效地使该实例中泛型的使用完全无效。例如，此代码将生成未经检查的警告：
public class MyContainer <T> {
public List<String> strings() {
return Arrays.asList("a", "b");
}
}
MyContainer container = new MyContainer<>();
List<String> strings = container.strings(); // Unchecked warning结论
在处理原始类型和泛型方法时，了解使用原始类型至关重要type 禁止对该特定实例使用泛型。确保明智地使用原始类型，因为它们可能会导致混乱和意外的行为。
以上是为什么在 Java 中使用原始类型和泛型方法会导致意外的类型行为？的详细内容。更多信息请关注PHP中文网其他相关文章！
