2

我想知道为什么下面的代码不能使用编译时泛型类型信息来正确查找最具体的方法重载，而是始终使用适用于所有潜在泛型参数的方法。有没有办法在编译时打开泛型参数类型以避免在运行时出现讨厌的反射？

import org.junit.Assert;
import org.junit.Test;

import java.util.ArrayList;
import java.util.List;

public class Temp {
    class A<T> {
        T x;
        A(T x) {
            this.x = x;
        }
        String bar = foo(x);

        private String foo(Integer i) {
            return "Int";
        }
        private String foo(String i) {
            return "String";
        }
        private <T> String foo(List<T> l) {
            return "List";
        }
        private <T> String foo(T v) {
            return "Value";
        }
    }

    @Test
    public void IntTest() {
        Assert.assertEquals(new A<Integer>(1).bar, "Int");
    }
    @Test
    public void StringTest() {
        Assert.assertEquals(new A<String>("A").bar, "String");
    }
    @Test
    public void ListTest() {
        Assert.assertEquals(new A<List<String>>(new ArrayList<String>()).bar, "List");
    }
    @Test
    public void LongTest() {
        Assert.assertEquals(new A<Long>(1L).bar, "Value");
    }
}
4

2 回答 2

4

A这是因为编译器必须为用于的每种类型生成不同的类T（因为初始化器A.bar需要调用不同的方法）。决定只生成一个类。这与编译器为所有使用的类型参数生成新类型的 C++ 不同。

换句话说， type 的编译代码与 typeA<String>不同A<Integer>，但编译后只有 type A。

于 2013-04-18T13:12:13.430 回答
3

这是因为泛型在编译时被删除。有擦除的概念，它在编译时删除所有泛型代码，用类型转换替换它。所以java在运行时不会知道泛型方法。

编辑：

还要检查此链接：http: //docs.oracle.com/javase/tutorial/java/generics/restrictions.html#cannotOverload

于 2013-04-18T12:32:15.163 回答