17370845950

Java泛型因类型擦除导致运行时无法获取泛型信息，无法使用instanceof判断泛型类型；2. 不能直接实例化泛型类型，需通过Class对象反射创建；3. 不支持基本类型作为泛型参数，必须使用包装类，带来装箱拆箱开销；4. 不能直接创建泛型数组，推荐使用集合替代；5. 静态上下文不能使用泛型类型参数，因静态成员属于类而非实例。

Java泛型在提升类型安全和代码复用方面发挥了重要作用，但其设计基于类型擦除机制，导致了一些不可避免的局限。这些限制影响了泛型在某些场景下的使用方式和表现能力。

类型擦除带来的运行时信息丢失

Java泛型在编译期间会进行类型擦除，即泛型类型参数会被替换为上限类型（通常是Object），并在必要时插入强制类型转换。这意味着在运行时无法获取泛型的实际类型信息。

例如，List 和 List 在运行时都是 List 类型，无法通过 instanceof 直接判断其泛型类型：

• if (list instanceof List) // 编译错误
• 只能判断是否为 List，无法进一步确认元素类型

不能实例化泛型类型

由于类型擦除，Java不允许直接使用 new T() 的方式创建泛型实例：

• T obj = new T(); // 编译错误
• 因为编译器不知道 T 到底是什么类，无法生成正确的构造调用

解决方法通常需要传入 Class 对象并通过反射创建实例：

• T obj = clazz.newInstance(); // 需要传入 Class 参数

基本类型不能作为泛型参数

Java泛型不支持基本数据类型（如 int、char、boolean），只能使用引用类型。

因此必须使用包装类代替：

• 使用 List 而非 List
• 带来自动装箱/拆箱的性能开销

泛型数组的限制

不能直接创建泛型类型的数组：

• new List[10]; // 编译警告或错误
• 因为类型擦除后无法保证数组元素类型的完整性

如果需要存储泛型对象的集合，推荐使用 ArrayList 等容器替代数组。

静态上下文中不能使用泛型类型参数

泛型类中的静态方法和静态变量不能使用类的类型参数：

• static T value; // 错误
• static void method(T t) { } // 错误

因为静态成员属于类本身，而泛型类型参数属于实例，类型擦除后静态上下文无法确定 T 的具体类型。

基本上就这些。虽然Java泛型有这些限制，但在大多数日常开发中仍足够使用。理解其底层机制有助于规避问题并写出更健壮的代码。