Java
Java编程思想的作者Bruce Eckel在谈及
Java泛型时指出，
Java中的泛型并非真正意义上的泛型，这主要源于
Java泛型的实现形式——类型擦除（Type Erasure）。
Java泛型在编译阶段发挥作用，编译时会进行类型核查。可一到运行时，类型信息就被擦除了，这就导致泛型类和普通类在运行时毫无差别。这与
C++的模板（Templates）有所不同，
C++模板在编译时就明确了具体类型，而
Java靠类型擦除实现泛型，这么做主要是为了向后兼容旧版
Java代码。由于类型擦除，运行时泛型类的实例不再保留其泛型类型参数的任何信息。像List和List在运行时都被当作同一种类型List。类型擦除也带来诸多限制，例如，无法实例化泛型类型的数组T，不能在静态字段或方法里使用类型参数，基本类型也不能用作泛型类型参数等。为了维持泛型前后的兼容性，编译器可能会引入桥接方法（Bridge Methods），这是在继承泛型类或者实现泛型接口时用于保持多态性的技术。Bruce Eckel称
Java泛型不是真正的泛型，是相较于
C++模板那种编译时就完全确定类型的泛型实现方式而言的。
Java的泛型因类型擦除丧失了一些泛型本质特性，比如运行时的类型信息。这种设计是一种权衡，
Java泛型在提供强类型检查、避免类型转换错误的同时，也牺牲了一定的灵活性和性能。虽然
Java泛型存在局限性，但它在
Java语言里仍是非常实用的特性，在编写集合类库以及避免类型错误方面表现出色。理解其背后的类型擦除实现机制和限制，有助于开发者更好地运用这一特性，在设计自己的泛型类和方法时做出更恰当的决策。
