Question

我正在学习Java中的泛型，我接近了一段非常有趣的代码。我知道在Java中将一种类型的列表添加到另一种类型是违法的。

List<Integer> integerList = new ArrayList<Integer>();
List<String> stringList=integerList;

所以在第二行我得到一个编译时错误。
但是如果我在这样的类中创建泛型方法，

class  GenericClass <E>{
    void genericFunction(List<String> stringList) {
        stringList.add("foo");
    }
    // some other code
}

在主类中调用带有Integer列表的方法我没有收到任何错误。

public class Main {
  public static void main(String args[]) {

     GenericClass genericClass=new GenericClass();
     List<Integer> integerList= new ArrayList<Integer>();
     integerList.add(100);
     genericClass.genericFunction(integerList);
     System.out.println(integerList.get(0));
     System.out.println(integerList.get(1));
  }
}

输出
100个
FOO

为什么我没有收到任何错误？

Answer 1

您没有收到任何编译时错误，因为原始方式使用GenericClass<E>：

GenericClass genericClass = new GenericClass();，

你实际上告诉编译器禁用泛型类型检查，因为你不在乎。

所以：

void genericFunction(List<String> stringList)

成为

void genericFunction(List stringList)用于编译器。

您可以尝试以下操作：GenericClass<?> genericClass，您会立即注意到编译器会发现泛型使用不当，并会显示错误：

The method genericFunction(List<String>) in the type GenericClass<capture#1-of ?> is not applicable for the arguments (List<Integer>)

另外，如果您尝试在运行时获取第二个位置对象的类：

System.out.println(integerList.get(1).getClass());

，你会收到一个错误： java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer。

Answer 2

您已将Generic与raw type混合使用。它将编译正常，但在运行时它可能会失败，因为通用信息在运行时丢失。

Generic应该用于在编译时跟踪这些错误。

最好在What is a raw type and why shouldn't we use it?详细解释。

警告：类型安全：方法genericFunction(List)属于原始类型GenericClass。对泛型类型GenericClass<E>的引用应该是参数化。

如果您有两个具有相同名称且具有不同Generic类型List的方法，则会导致编译时错误。如果方法参数可以通过下面的示例代码证明，编译器无法解析Generic类型。

示例代码:(编译器错误 - 不是有效的重载方法）

void genericFunction(List<String> stringList){...}
void genericFunction(List<Integer> stringList){...}

进行一些更改并再试一次：

class  GenericClass <E>{
    void genericFunction(List<E> stringList) {
        ...
    }
    // some other code
}

...

GenericClass<String> genericClass=new GenericClass<String>(); // Genreric object
List<Integer> integerList= new ArrayList<Integer>();
integerList.add(100);
genericClass.genericFunction(integerList); // compile time error

以这种方式创建方法

class GenericClass<E> {
    private List<E> list = new ArrayList<E>();

    public void addAll(List<E> newList) {
        list.addAll(newList);
    }

    public void add(E e) {
        list.add(e);
    }

    public E get(int index) {
        return list.get(index);
    }
    // some other code
}

Answer 3

这种情况发生了，因为（对我来说非常令人惊讶）你已经关闭了整个 GenericClass类的泛型类型检查。

首先，您需要注意，在这里构建一个没有类型参数的泛型类：

GenericClass genericClass = new GenericClass();

然而，正因为如此，您的以下代码：

class GenericClass<E> {
    void genericFunction(List<String> stringList) {
        stringList.add("foo");
    }
    // some other code
}

精炼到：

class GenericClass {
    void genericFunction(List stringList) {
        stringList.add("foo");
    }
    // some other code
}

请注意，List 也成为原始类型，这对我来说相当令人惊讶。

你可以在这里找到完整的答案，参考JLS：https://stackoverflow.com/a/662257/2057294，如Jon Skeet所解释。

我认为发生这种情况是公平的（虽然不是您所期望的），因为如果您决定使用原始类型，则假定您使用的是Java 4或更低版本，并且无论如何都无法访问泛型因此，它也可能不会为不涉及被擦除的类的泛型类型的方法提供它们。

Answer 4

添加其他答案。

实际上，您正在将原始（非参数化）类型与参数化类型混合在一起，这会导致类型丢失，并且在类型安全检查不允许的情况下，将明显正确的参数传递给genericFunction。

问题仍然存在于为什么 List<String>类型在未参数化的GenericClass对象中丢失。在您的情况下编译器“禁用”类型检查的原因是类型擦除机制，它说（简单来说）您的原始对象属于具有以下内容的类：

class  GenericClass {
    void genericFunction(List stringList) {
        stringList.add("foo");
    }
    // some other code
}

如您所见，未对传递的列表内容进行任何类型检查无论（它会删除类型参数无处不在）。更重要的是，类型擦除还会从integerList变量中删除参数化类型，这使得它完全适合作为genericFunction方法的参数。

因此，正如其他人所指出的那样，最好是帮助Java保持其安全类型检查机制的完整性：

     GenericClass<?> genericClass=new GenericClass<Integer>();
     List<Integer> integerList= new ArrayList<Integer>();
     integerList.add(100);
     // no-no here
     genericClass.genericFunction(integerList);
     System.out.println(integerList.get(0));
     System.out.println(integerList.get(1));

但是如果你这样做，那么编译器就会完成它的工作，然后对你进行bazooka。

详细了解类型擦除here。这是一个很好的功能，它允许进行泛型类型检查，同时仍然保持与预泛化Java版本的向后兼容性。

Answer 5

class  GenericClass <E>{
    void genericFunction(List<String> stringList) {
        stringList.add("foo");
    }
    // some other code
}

当您在类名之后编写时。它指定类型参数。它是一个通用功能。这引入了类型变量E，可以在类中的任何位置使用。类型变量可以是您指定的任何非基本类型：任何类类型，任何接口类型，任何数组类型，甚至是其他类型变量。

将整数列表分配到字符串列表中

5 个答案: