Java 中的泛型提供了灵活性和安全性,但也有一些重要的限制。这些涉及类型参数、静态成员、泛型数组和泛型异常的实例化。
1。类型参数的实例化
- 您无法直接从类型参数创建实例。
无效示例:
class gen<t> { t ob; gen() { ob = new t(); // inválido! } }
2。静态成员的限制
静态成员不能使用外部类的泛型类型参数。
无效示例:
class wrong<t> { static t ob; // inválido! static t getob() { // inválido! return ob; } }
原因:静态上下文在类的所有实例之间共享,而通用参数可能因实例而异。
解决方法: 声明定义自己类型参数的静态方法:
static <u> u genericmethod(u value) { return value; }
3。通用数组
数组和泛型的约束:
- 无法实例化泛型类型数组。
t vals[]; // válido como referência vals = new t[10]; // inválido!
- 无法创建特定于类型的通用引用数组
gen<integer> gens[] = new gen<integer>[10]; // inválido!
原因:在执行过程中,擦除会消除类型信息,从而无法创建安全数组。
解决方法:
使用现有数组:
vals = nums; // atribuir array existente é válido.
- 使用通配符
gen<?> gens[] = new gen<?>[10]; // correto.
4。通用异常
泛型类不能扩展 throwable。
无效示例:
class GenException<T> extends Exception { // Inválido! T value; }
原因:这可能会损害运行时的异常处理机制。
解决方案: 使用普通泛型类封装信息,然后与标准异常集成。
5。限制摘要
类型参数的实例化:不能直接实例化,但可以使用现有实例。
静态成员:不能使用外部类的泛型类型,但静态方法可以定义自己的泛型参数。
泛型数组:不能直接实例化,但允许使用通配符进行泛型引用。
通用异常:无法创建,但可以使用普通类进行模拟。
理解这些限制对于在 java 中设计安全高效的泛型类至关重要。