7

为什么与模板类无关的集合会丢弃它们的类型？这是一个示例：（对不起，由于我感到困惑的错误，它不会编译。）

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

4

3 回答 3

8

是的，众所周知，如果您使用原始类型，则该类上的所有类型参数都会丢失，而不仅仅是您未能声明的类型级参数。

问题部分在这里：

如果我指定 B like 的模板B<String>，或者如果我从 B 中完全删除模板，那么一切正常。

这不是一个选项，您不能选择是否要指定类型参数。它在没有指定参数的情况下完全编译的唯一原因是为了向后兼容。编写缺少类型参数的新代码是一个编程错误。

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

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

从java语言规范：

仅允许使用原始类型作为对遗留代码兼容性的让步。强烈反对在将泛型引入 Java 编程语言之后编写的代码中使用原始类型。Java 编程语言的未来版本可能不允许使用原始类型。

最重要的是，Java 泛型与 C++ 模板共享的唯一重要的东西是 <> 语法:)

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

于 2013-02-14T19:31:06.357 回答
1

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

T你在你的类中声明了一个泛型类型参数，B但你没有使用它。您应该在整个类定义中使用T而不是。AB

public static class B<T> {
    List<T> aList = new ArrayList<T>();

    public List<T> getAList() {
        return aList;
    }
}

然后，您应该在声明 class 实例时使用类型参数B。

B<A> b = new B<A>();

但是，如果您知道您的aList变量将始终A包含方法名称getAList所暗示的类型的对象，那么就没有理由将类设为B泛型。

于 2013-02-14T18:57:44.050 回答
1

这与此错误非常相似：

6760983：无关方法中未使用的类型参数触发错误

这里报告：

未使用的泛型导致问题

于 2013-02-14T19:06:47.227 回答