为什么在 Java 中使用原始类型和泛型方法会导致意外的类型行为？

结合原始类型和泛型方法：不可预见的后果

处理原始类型和泛型方法时，可能会出现意外行为。考虑以下代码片段：

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中文网其他相关文章！