Java 之所以不能实现真正泛型的原因有以下几点:
1. Java泛型是通过类型擦除来实现的,即在编译期间将泛型类型擦除为其上界或Object类型。这样做是为了保持与之前的Java版本的向后兼容性。这意味着在运行时,无法获取泛型的具体类型信息。
2. 类型擦除导致了泛型类型参数在运行时都被擦除为它们的上界类型或Object类型,因此无法在运行时进行类型检查,可能会导致类型错误。
3. 泛型类型参数不能是基本类型。只能使用其对应的包装类作为类型参数。这是因为类型擦除会将泛型类型参数擦除为其上界类型,而基本类型没有对应的包装类,因此无法作为类型参数。
4. 泛型数组的创建是不允许的。由于类型擦除的缘故,无法在运行时创建具有泛型类型参数的数组。
尽管Java泛型存在一些局限性,但它仍然提供了一定程度的类型安全和代码重用。通过在编译期间进行类型检查,可以避免一些类型错误,并提高代码的可读性和维护性。