在 Java 中对于下面最简单的泛型类
class A<T> {
public void foo() {
//如何在此处获得运行时 T 的具体类型呢？
}
}
设想我们使用时
new A<String>().foo();
是否能在 foo() 方法中获得当前的类型是 String 呢？答案是否定的，不能。在 foo() 方法中 this 引用给不出类型信息，this.getClass() 就更不可能了，因为 Java 的泛型不等同于 C++ 的模板类，this.getClass() 实例例是被所有的不同具体类型的 A 实例(new A<String>(), new A<Integer>() 等) 共享的，所以在字节码中类型会被擦除到上限。
我们可以在 IDE 的调试时看到这个泛型类的签名
Java 5 引入了泛型，这是一次重大的改进，从此集合中的东西不需要每次显式的去转型。不过 Java 5 还不具备类型推断的能力，所以声明泛型必须写成
List<String> list = new ArrayList<String>();
一直到 Java 6 也是如此。自 Java 7 起泛型增强为可根据声明类型进行推断，所以 Java 7 中可以这么写
List<String> list = new ArrayList<>(); //<> 中的参数可省略，如果类型参数多, 或多层嵌套时很省事
或
List<String> list = Collections.emptyList(); //见 Java 泛型 -- 依据声明的变量类型自动推断
Java 8 开始对泛型类型推断又进一步增强：可根据方法上下文进行推断，例如下面的代码在 Java 7 下编译不过
|
1 2 |
List<String> list = new ArrayList<>(); list.addAll(new ArrayList<>()); //根据 list.addAll() 上下文推断要创建的类型是 new ArrayList<String>() |
在上一篇中写道 Java 泛型 -- 依据声明的变量类型自动推断，主要是说明了通过声明类型告知泛型方法具体类型，其后有个小结三种方式告知泛型类或泛型方法具体类型，在此重列如下：
一. 具体类型写在两尖括号中
1. List<String> list
2. new HashMap<String, String>
3. instance.<String>foo() //如方法 <T> T foo() { return (T) obj; }
二. 变量声明类型指示具体类型
1. List<String> list = new ArrayList<>() // 这个例子应该可以列在这里，List<String> 指示了具体类型是 String, 所以后只需要空 <>，JDK7 or later
2. String s = obj.foo() //比如方法是 <T> T foo() { return (T) obj; }, 由于前面的 String s 声明，所以不必写成 String s = instance.<String>foo()
三. 实参类型指示具体类型
1. instance.foo(String.class) //方法为 <T> T foo(Class<T> type) { return (T) obj; }, instance.foo(String.class) 返回的就是字符串值
2. instance.foo("abc") //方法为 <T> foo(T value) { return (T) obj; }, instance.foo("abc") 返回的就是字符串值 阅读全文 >>
Java 泛型在调用方法操作时应用具体参数还是很好理解的，比如
Map<String, Integer> map = new HashMap<>(); //钻石操作符是 JDK 1.7 引入的
后续的 put 操作调用的具体方法就是
Integer put(String key, Integer value)
因为 put 方法的原型是
V put(K key, V value)
上面的代码我们是看到了 <>，所以知道是泛型调用。有时候并不需要 <>，但实际上也是进行的泛型调用，那就是 Java 可以依据变量声明类型来作特化调用 -- 应用具体参数类型。
例如：
List<String> list = Collections.emptyList(); //虽不见 <>, 但同样是泛型调用，类型为 String 阅读全文 >>
