在 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 的调试时看到这个泛型类的签名
Read More

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 下编译不过

Read More

在上一篇中写道 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") 返回的就是字符串值 Read More

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 Read More