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

如果我指定B的模板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 ++模板共享的唯一重要事项是＆lt;＆gt;语法：）

更多详情：What is a raw type and why shouldn't we use it?

Answer 2

首先，在Java中，它是泛型，而不是像C ++那样的模板。

您在类T中声明了泛型类型参数B，但您没有使用它。在T课程定义中，您应该使用A代替B。

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建议，那么就没有理由创建类{{1}通用。

Answer 3

这与此错误非常类似：

6760983 : Unused type parameter triggering error in unrelated method

此处报道：

Unused Generic causing problem

通用搞砸非相关集合

3 个答案: