java泛型程序设计——泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例

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

java泛型程序设计——泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例相关推荐

java泛型程序设计——Varargs 警告+不能实例化类型变量
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的 Varargs 警告+不能实例化类型变量的知识: [1] Vara ...
java泛型程序设计——定义简单泛型类+泛型方法
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的定义泛型类+泛型方法的知识: [1]一个泛型类: 就是具有一个或多个 ...
java泛型程序设计——反射和泛型
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的反射和泛型的相关知识: [1]反射和泛型相关 1.1)现在, Cl ...
java泛型程序设计——泛型类型的继承原则
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的泛型类型的继承原则的知识: [1]泛型类型的继承原则相关 1.1) ...
java泛型程序设计——类型变量限定 + 泛型代码和虚拟机
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的类型变量限定 + 泛型代码和虚拟机的知识: [1]类型变量的限定 ...
java泛型程序设计——无限定通配符+通配符捕获
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的无限定通配符+通配符捕获的相关知识: [1]无限定通配符相关 1. ...
java泛型程序设计——通配符类型+通配符的超类型限定
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的通配符类型+通配符的超类型限定的知识: [1]通配符类型相关 1. ...
java泛型程序设计——注意擦除后的冲突
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的注意擦除后的冲突的知识: 1.1)当泛型类型被擦除时, 无法创建 ...
java泛型程序设计——约束与局限性
[0]README 0.1) 本文描述+源代码均转自 core java volume 1, 旨在理解 java泛型程序设计的约束与局限性的知识: [1] 不能用基本类型实例化类型参数 1.1 ...

java泛型程序设计——泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例

【0】README

【1】泛型类的静态上下文中类型变量无效

【2】不能抛出或捕获泛型类的实例

java泛型程序设计——泛型类的静态上下文中类型变量无效+不能抛出或捕获泛型类的实例相关推荐

最新文章

热门文章