编译错误与泛型

Question

test1和test2之间的区别在哪里？ 为什么test1中的编译错误？

import java.util.ArrayList;
import java.util.Collection;

class MyType {

}

class MyClass<T> {
    private Collection<MyType> myTypes = new ArrayList<MyType>();
    private Collection<T> myTs = new ArrayList<T>();

    public Collection<MyType> getMyTypes() {
        return myTypes;
    }

    public Collection<T> getMyTs() {
        return myTs;
    }
}



public class TestSimple {

    public void test1() {    

        MyClass myClass = new MyClass();

        for (MyType myType : myClass.getMyTypes())  {

        }
    }

    public void test2() {            
        MyClass myClass = new MyClass();

        Collection<MyType> myTypes = myClass.getMyTypes();
        for (MyType myType : myTypes)  {

        }
    }

    public void test3() {
         MyClass<Long> myClass = new MyClass<Long>();

          for (Long myType : myClass.getMyTs())  {

          }        
     }

}

Answer 1

如果你在一个类上定义一个泛型约束，然后在不提供任何通用约束的情况下实例化该类（也就是说，你完全不使用<> ），那么你刚刚进入了原始类型的领域，其中没有任何东西是再也一样了。

根据Java语言规范 ：

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

根据Angelika Langer出色的Java Generics FAQ ，

原始类型的方法或构造函数具有在类型擦除后将具有的签名。 如果擦除更改了参数类型，则对原始类型的方法或构造函数调用会生成未经检查的警告。

因此，通过将MyClass构造为原始类型（即，作为MyClass而不是MyClass<?> ）， 您完全选择了泛型 ，并且getMyTypes()的返回类型现在是原始类型Collection ，而不是Collection<MyType> 。 其结果是，你不能使用增强for与类型的语法MyType ，你必须使用Object来代替。

当然，更好的解决方案就是使用MyClass<?> （而不仅仅是MyClass ），当你指的是未知参数化类型的MyClass时。

Answer 2

我已将您的问题分离到一个较小的示例，我将在下面显示

import java.util.*;

public class TestSimple {

    static class MyClass<T> {
        private Collection<String> myTypes = new ArrayList<String>();

        public Collection<String> getMyTypes() {
            return myTypes;
        }
    }

    public void test1() {    
        MyClass myClass = new MyClass();
        for (String myType : myClass.getMyTypes())  {
        }
    }
}

我怀疑所有类型的信息都会被删除，除非你特别说明。 所以我的建议是改变你的声明：

before: MyClass myClass = new MyClass();
after:  MyClass<?> myClass = new MyClass();

Answer 3

Java对原始类型过于苛刻。 如果使用原始类型的泛型类，则忽略类中的所有泛型信息，即使是与类的类型参数无关的无效信息也是如此。

class A<T> implements List<String>

    Set<Integer> var;

如果你使用原始A ，那么它被视为

class A implements List

    Set var;

这种严厉的处理是没有必要的; 他们可能不认为原始类型需要太多资源，所以他们采取了简单的路线，从原始类型中不加选择地删除每个通用信息。

Answer 4

在test2因为你没有参数化MyClass ， getMyTypes()将有效地返回Collection<Object> ，它不能分配给Collection<MyType> 。