【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 类型系统的部分基本限制；