8

看看这个简单的 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

如果我将 length() 的第一行更改为List<T> l = (List<T>)(Object)this.l;，它可以工作。为什么？

4

1 回答 1

19

您已经使用以下行在泛型类中声明了泛型方法：

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如果在运行时不是真的 a ， Java 只会在运行时抛出 a List。但是编译器也会给出一个警告说它使用了未经检查或不安全的操作，因为它不能保证这<T>是原始的<T>.

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

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

这与相同类型的安全警告一起编译。

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

于 2013-06-24T18:32:37.440 回答