5

有人能告诉我为什么这会产生编译错误吗？我不明白为什么在第二个 for 循环中强制转换为 A 会导致 strings() 返回一般的对象列表。

import java.util.ArrayList;
import java.util.List;

public class E {

    public static void main(String[] args) {
        for (String s : new D().strings()) {
            System.out.println("s = " + s);
        }
        for (String s : ((A) new D()).strings()) {
            System.out.println("s = " + s);
        }
    }

    static class D extends A<C> {
    }

    static abstract class A<T extends B> {
        List<String> strings() {
            return new ArrayList<String>() {{
                add("Foo");
                add("Bar!");
            }};
        }
    }

    static class B {
    }

    static class C extends B {
    }
}

这是泛型的怪癖吗？

谢谢，克里斯蒂安

4

1 回答 1

7

在行中：

    for (String s : ((A) new D()).strings()) {

您正在转换为 raw type A，因此您会在那里丢失类型参数信息。在 Java 中，原始类型上的任何使用方法或字段也将导致原始类型（即使所有参数化信息都可用）——从技术上讲，原始类型或非参数化。所以A.string()被视为原始类型List而不是List<String>.

正如 JSL 在第 4.8 节中指定的那样：

未从其超类或超接口继承的原始类型 C 的构造函数（第 8.8 节）、实例方法（第 8.8 节、第 9.4 节）或非静态字段（第 8.3 节）M 的类型是其类型的擦除在对应于 C 的泛型声明中。原始类型 C 的静态成员的类型与其在对应于 C 的泛型声明中的类型相同。

于 2010-01-07T14:00:56.323 回答