通用螺丝不相关的集合
为什么与模板类无关的集合会删除其类型？这里有一个例子：(对不起，由于我很困惑的错误，它不会编译。)
package test;
import java.util.ArrayList;
import java.util.List;
public class TemplateTest {
public static class A { }
public static class B<T extends Comparable> {
List<A> aList = new ArrayList<A>();
public List<A> getAList() {
return aList;
}
public int compare(T t, T t1) {
return t.compareTo(t1);
}
}
public static void main(String[] args) {
B b = new B();
for (A a : b.getAList()) { //THIS DOES NOT WORK
}
List<A> aList = b.getAList(); //THIS WORKS
for (A a : aList) {
}
}
}此代码在编译时引发错误：
test/TemplateTest.java:24: incompatible types
found : java.lang.Object
required: test.TemplateTest.A
for (A a : b.getAList()) {如果我指定B的模板(如B<String> )，或者将模板从B中完全删除，那么一切都正常。
到底怎么回事？
编辑:人们指出没有必要使B通用，所以我将其添加到B中
回答 3
Stack Overflow用户
发布于 2013-02-14 19:31:06
是的，已知的行为是，如果使用原始类型，那么类上的所有类型参数都会丢失，而不仅仅是没有声明的类型级别参数。
这个问题的部分原因是：
如果我指定B的模板(如
B<String>)，或者从B中完全删除该模板，那么一切都正常。
这不是一个选项，您不能选择是否指定类型参数。它在没有指定参数的情况下编译的唯一原因是为了向后兼容性。编写缺少类型参数的新代码是编程错误。
List<A> list = b.getList()没有成功地解释类型，它只是有效地停留在任意的类型中，并且相信分配是正确的。如果您查看编译器警告，它实际上正在为不安全的转换生成警告。
for(A a : b.getList()) {}将该警告升级为错误，因为插入的强制转换将在编译器生成的代码中，因此它完全拒绝自动生成不安全的代码，而不只是发出警告。
来自java语言规范：
只允许使用原始类型作为对遗留代码兼容性的让步。在Java编程语言中引入泛型之后编写的代码中使用原始类型是非常不可取的。Java编程语言的未来版本有可能不允许使用原始类型。
实际上，java泛型与C++模板共享的唯一重要内容是<>语法:)
更多细节：什么是原始类型，我们为什么不使用它？
Stack Overflow用户
发布于 2013-02-14 18:57:44
首先，在Java中，它是泛型，而不是C++中的模板。
在类T中声明泛型类型参数B，但没有使用它。您应该在整个T类定义过程中使用T而不是A。
public static class B<T> {
List<T> aList = new ArrayList<T>();
public List<T> getAList() {
return aList;
}
}然后，在声明类B的实例时，应该使用类型参数。
B<A> b = new B<A>();但是，如果您知道aList变量总是保存A类型的对象，就像方法名getAList建议的那样，那么就没有理由使类B泛化。
Stack Overflow用户
发布于 2013-02-14 19:06:47
这与这个bug非常相似：
6760983 :不相关方法中未使用的类型参数触发错误
报告如下：
未使用的泛型引发问题
https://stackoverflow.com/questions/14882003
复制相似问题
腾讯云开发者
