类型参数的阴影

Question

关于解决问题时遇到的类型参数，我有一个非常基本的问题。

我有一个带有字符串数组的类，正在使用自定义Comparator类进行排序。以下是我的比较器课程

class SortComparator implements Comparator<String>
    {

        @Override
        public int compare(String o1, String o2) {
            // TODO Auto-generated method stub
            return  o1.compareTo(o2);
        }

    }

上面的类运行良好，并输出期望的结果。

如果将类名从更改为SortComparator，SortComparator<String>则需要更改compare方法。更改后的类如下所示

class SortComparator<String> implements Comparator<String>
{

    @Override
    public int compare(String o1, String o2) {
        // TODO Auto-generated method stub
        return  ((java.lang.String) o1).compareTo((java.lang.String) o2);
    }

}

上面的类也可以正常运行并输出所需的结果

为什么有需要显式转换String对象o1，并o2到java.lang.String时候他们已经是同一类的对象？

这个问题的答案说是因为shadowing。

我知道局部变量，实例变量和类变量有阴影，但是在这种情况下它如何工作？

Answer 1

问题在于称为的通用类型String。这是泛型类型参数与实际类之间的冲突String。

因为类型参数String是 无界的
，Java编译器会将其替换Object，因此方法的参数compare作品Object和对象类没有compareTo方法，因此，你必须投。

尝试下面的示例，效果很好。

class SortComparator<T> implements Comparator<String>
{

    @Override
    public int compare(String o1, String o2) {
        // TODO Auto-generated method stub
        return  o1.compareTo(o2);
    }

}

请查看有关泛型类型清除的
Java文档

在类型擦除过程中，Java编译器将擦除所有类型参数，如果类型参数是有界的，则将每个参数替换为其第一个边界；如果类型参数是无界的，则将其替换为对象。

下面的Example直接从上面的Java文档复制而来，以更加清楚。

考虑以下表示单个链接列表中的节点的通用类：

public class Node<T> {

    private T data;
    private Node<T> next;

    public Node(T data, Node<T> next) }
        this.data = data;
        this.next = next;
    }

    public T getData() { return data; }
    // ...
}

由于类型参数T是无界的，因此Java编译器将其替换为Object：

public class Node {

    private Object data;
    private Node next;

    public Node(Object data, Node next) {
        this.data = data;
        this.next = next;
    }

    public Object getData() { return data; }
    // ...
}