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>不同。根据{{3}}：

类的类型参数（第8.1.2节）的范围是类型参数类声明的部分，任何类型参数部分类声明的超类或超接口，以及类体。

您无需在方法上重新声明<T>;类的类型参数已经在范围内了。

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

public int length() {

要了解你的演员的工作原理：

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

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

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

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

这会编译相同类型的安全警告。

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

List <t>不等于List <t>？</t> </t>

1 个答案: