一、为什么要参数化类型？
泛型（或模板）使代码可以适用于多种类型，同时保留类型检查。PHP、Java、C++分别走了完全不同的三条路：运行时擦除、编译时实例化、以及混合型泛型。
二、Java：类型擦除的得与失
Java泛型通过类型擦除实现：编译期间检查类型安全，但运行时时，泛型类型信息被移除（替换为边界或Object）。这意味着List在运行时只是List，无法区分元素类型。擦除的好处是向后兼容（旧的非泛型代码可以无缝使用），但代价是无法在运行时使用类型参数（如newT()或instanceof），也无法重载泛型方法。
Java泛型使用通配符?extendsT和?superT实现协变和逆变，这导致了复杂的PECS（ProducerExtends,ConsumerSuper）规则。此外，泛型数组创建被禁止（newT[]非法），因为数组是协变的而泛型不是。
三、C++：零成本模板元编程
C++模板是编译期纯宏替换的增强版：每次实例化都会产生独立的代码，这导致二进制膨胀，但性能极佳（内联、静态多态）。模板支持特化、偏特化、变参模板、模板模板参数，进而衍生出模板元编程（TMP）——在编译期完成计算、类型选择和代码生成。
C++模板的错误信息臭名昭著，概念（Concepts，C++20）部分缓解了此问题。模板与分离编译的矛盾（定义必须在头文件中）加重了编译时间和耦合。然而，模板的灵活性和零开销使其成为编写通用库（如STL、Eigen、Boost）的唯一选择。
四、PHP：渐进式类型与混合泛型
PHP本身是动态语言，没有编译期泛型。但随着类型声明（PHP7+）和静态分析工具（Psalm、PHPStan）的流行，出现了Docblock泛型和Collection类型提示。例如，@paramarray$users可以被静态分析工具检查，但运行时不会强制。一些开源库（如assert库）利用mixed和运行时反射模拟部分泛型行为。
PHP8引入了联合类型和混合类型，但没有真正的泛型。目前的趋势是借助psalm或phpstan的泛型注解，实现类似Collection的效果。未来PHP是否会加入运行时泛型？从路线图看希望渺茫，因为动态类型的本质与泛型需求矛盾。
五、跨语言抽象对比
类型安全：C++最高（编译期完全实例化）；Java编译期强但运行期擦除；PHP仅在静态分析阶段获得安全。
代码复用：C++模板生成独立代码，二进制大；Java共享一份字节码，但存在强制类型转换；PHP无生成开销，但类型错误推迟到运行时https://glaj.cn。
学习曲线：Java相对简单；PHP几乎不需要泛型知识；C++模板复杂度极高。
六、何时使用泛型？
Java：编写通用容器、工具类时，使用泛型避免向下转型。
C++：所有通用算法和容器都必须模板化，这是语言核心。
PHP：使用mixed或iterable即可覆盖大部分场景，只有在需要静态分析时才使用注解泛型。
七、未来趋势
Java考虑引入“泛型特化”(ProjectValhalla)，希望将原始类型纳入泛型系统，减少装箱开销。C++模板继续演进，模块化将改善编译速度。PHP可能会引入静态编译时的泛型检查，但不会改变运行时行为。理解三者的差异，有助于在跨语言团队中统一设计模式。
