通用搞砸非相关集合

Question

为什么与模板类无关的集合会丢弃其类型？这是一个例子:(抱歉,由于我对此感到困惑而无法编译.)

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()) {

如果我指定Blike 的模板B<String>,或者如果我完全从B中删除模板,那么一切都可以.

这是怎么回事？

编辑:人们指出没有必要使B泛型,所以我添加到B

Answer 1

是的,已知的行为是,如果使用原始类型,则类中的所有类型参数都将丢失,而不仅仅是您未能声明的类型级参数.

问题部分在于:

如果我指定B的模板B<String>,或者如果我完全从B中删除模板,那么一切都很好.

这不是一个选项,您不能选择是否要指定类型参数.它根本没有指定参数进行编译的唯一原因是为了向后兼容.编写缺少类型参数的新代码是编程错误.

List<A> list = b.getList()没有成功解释类型,它只是有效地坚持任意演员并相信你的任务是正确的.如果查看编译器警告,它实际上是为不安全的转换生成警告.

for(A a : b.getList()) {} 升级警告错误,因为插入的强制转换将在编译器生成的代码中,因此它拒绝自动生成不安全的代码,而不是仅仅发出警告.

从java语言规范:

原始类型的使用仅允许作为遗留代码兼容性的让步.强烈建议不要在将通用性引入Java编程语言之后编写的代码中使用原始类型.未来版本的Java编程语言可能会禁止使用原始类型.

底线确实是java泛型与C++模板共享的唯一重要事情是<> syntax :)

更多细节:什么是原始类型,为什么我们不应该使用它？