List <T>不等于List <T>？

Question

看看这个简单的Java泛型示例:

class List<T> {
    T head;
    List<T> next;
}

class A<T> {
    List<T> l;

    public <T> int length() {
        List<T> l = this.l;
        int c = 1;
        while (l.next != null) {
            c++;
            l = l.next;
        }
        return c;
    }

    public static void main(String[] args) {
        A<Integer> a = new A<Integer>();
        a.l = new List<Integer>();
        a.l.head = 123;
        a.l.next = new List<Integer>();
        a.l.next.head = 432;
        System.out.println("list length: " + a.length());
    }
}

它编译错误,声称类型不兼容,但声称这两个变量是相同的类型:

$ javac A.java && java A
A.java:10: incompatible types
found   : List<T>
required: List<T>
        List<T> l = this.l;
                        ^
1 error

如果我将长度()的第一行更改为List<T> l = (List<T>)(Object)this.l;,则可以.为什么？

Answer 1

您已使用以下行在泛型类中声明了一个泛型方法:

public <T> int length() {

这<T>与你的班级不同<T>.根据JLS第6.3节:

类的类型参数(第8.1.2节)的范围是类声明的类型参数部分,类声明的任何超类或超接口的类型参数部分,以及类体.

您不需要重新声明<T>您的方法; 类的类型参数已经在范围内.

要使用类的泛型类型参数<T>,请让您的方法不要声明另一个<T>,只需使用您的类<T>:

public int length() {

要了解你的铸造工作原理:

List<T> l = (List<T>)(Object)this.l;

你可以投射任何对象Object.然后你将结果转换为List<T>.你总是可以将它投射到你想要的任何东西上; ClassCastException如果它不是真正的List运行时,Java将在运行时抛出一个.但编译器也会发出警告,指出它使用未经检查或不安全的操作,因为它无法保证这<T>是原始操作<T>.

为了说明<T>s 之间的区别,您可以使用<U>该方法的泛型类型参数并获得相同的结果:

public <U> int length() {
    List<U> l = (List<U>)(Object)this.l;

这将编译相同类型的安全警告.

如果您确实知道可以保证类型安全,则可以使用@SuppressWarnings("unchecked")注释方法.但是在这里,我仍然会完全从方法中删除泛型类型参数,并使用类的类型参数.