【0】README
0.1）本文描述+源代码均 转自 core java volume 1， 旨在理解 java泛型程序设计 的泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例的知识；
【1】泛型类的静态上下文中类型变量无效
1.1）不能在静态域或方法中引用类型变量：
public class Singleton<T>{private static T single; // ERRORprivate static getSingle() // ERROR{}}
1.2）因为类型擦除后， 只剩下 Singleton 类， 它只包含一个 singleInstance 域；
【2】不能抛出或捕获泛型类的实例
2.1）既不能抛出也不能捕获泛型类对象。 且泛型类扩展 Throwable 也是不合法的；
如， public class Problem<T> extends Exception {} // ERROR--can't extend Throwable
2.1.1）catch 子句中不能使用类型变量， 以下方法不能通过编译：
public static <T extends Throwable> void dowork(Class<T> t){...catch(T e) // ERROR--can't catch type variable}
2.1.2）不过， 在异常规范中适用类型变量是允许的，以下方法是合法的：
public static <T extends Throwable> void dowork(T t) throws T // OK
2.2）Java 异常处理的一个基本原则是：必须为所有已检查异常提供一个处理器。 不过可以利用泛型消除这个限制。关键的方法如下：
@SuppressWarnings("unchecked")public static <T extends Throwable> void throwAS(Throwable e) throws T{throw (T)e;}
2.2.1）假设以上方法包含在 类 Block中， 如果调用Block.《RuntimeException》throwAs(t);编译器就会认为t 是一个未检查异常。2.2.2）以下代码会把所有异常都转换为 编译器所认为的未检查异常：
try{do work; }catch(Throwable t){ Block.<RuntimeException>throwAs(t); }
2.2.3）吧以上代码添加到一个抽象类中。用户可以覆盖body 方法来提供一个具体的动作。 调用toThread 时， 会得到Thread类的一个对象， 它的run 方法不会介意已检查异常；
public abstract class Block{public abstract void body() throws Exception;public Thread toThread(){return new Thread(){public void run(){try{body();}catch(Throwable t){Block.<RuntimeException>throwAs(t); }}}}}@SuppressWarnings("unchecked") // 消除对已检查异常的检查public static <T extends Throwable> void throwAs(Throwable e) throws T{ throw (T)e ;}
2.3）看个荔枝：以下程序运行了一个线程， 它会抛出一个 已检查 的异常；
public class Test{public static void main(String[] args){new Block(){public void body() throws Exception{Scanner in = new Scanner(new File("ququqx"));while(in.hasNext())System.Out.println(in.next());}}.toThread().start();}}
2.3.1）运行这个程序， 会得到一个 栈轨迹；2.3.2）这有什么意义呢 ？正常情况下， 你必须捕获线程run方法中的所有已检查异常， 把它们包装到 未检查异常中， 因为run方法声明为 不抛出 任何已检查异常；2.3.3）不过在这里， 我们并没有做这种包装。我们只是抛出异常， 并哄骗编译器，让它认为这不是已检查异常；
Conclusion）通过使用泛型类， 擦除和 @SuppressWarnings 标注， 就能消除 java 类型系统的部分基本限制；
