Java 泛型 : wildcards again

Question

我正在尝试创建一个仅接受特定类的容器。使用泛型如下:

    static class Test1<C extends Test1> {
            C field = null;
            public C getField() {
                return field;
            }
            public void setField(C field) {
                this.field = field;
            }
        }
        static class Test2 extends Test1{
        }

class MainTest {
            public static void main(String[] args) throws Exception {
                List<Test1<? extends Test1>> list = new ArrayList<Test1<? extends Test1>>();
                Test1<Test2> newInstance = new Test1<Test2>();
                list.add(newInstance);
                Test1<Test2> value = list.get(1);
    }
}

只是想了解为什么此 List> 会接受 newInstance 对象，但在我取回“Test1 value”时会发生编译时错误？有机会解决这个问题吗？

提前致谢。

更新许多人注意到“Test1<? extends Test1> ，其中？可能不等于 Test2。”我完全同意，但据我了解，在这种情况下，我需要将提取的值转换为 Test1<Test2>这意味着在这种情况下泛型的全部意义都消失了......如果我错了，请纠正我。

Answer 1

因为当你 list.get(1)返回Test1<? extends Test1> ，其中?可能不等于 Test2 .

另一方面list.add(...)接受 Test1<? extends Test1> ，即带有任何泛型参数的 Test1，它是 Test1 的继承者。