Java泛型通过类型擦除实现，编译期检查后抹去类型参数并插入强转，运行期无泛型信息；C++模板则在编译期为每种类型生成独立代码，运行期保留完整类型信息，支持特化与元编程。
Java 泛型和 C++ 模板看起来都是为复用代码而生，但它们在底层走的是两条完全不同的路：一个靠“擦除”，一个靠“生成”。这直接决定了它们在编译期做什么、运行期能看到什么。
编译期行为：模板展开 vs 类型擦除
C++ 模板在编译期会为每个实际使用的类型参数（比如 int、std::string）生成一份独立的代码副本。例如 vector<int> 和 vector<double> 在目标文件里是两个完全不同的类，各自拥有专属的成员函数、内存布局和内联优化机会。
- 模板不是类，而是“代码模具”；真正参与链接的是实例化后的具体类型
- 支持非类型参数（如
template<int N> struct Array { int data[N]; };） - 编译器只在模板被使用时才检查语法与语义，错误定位可能延迟且信息冗长
Java 泛型在编译期只做一件事：类型检查 + 擦除。所有泛型信息（如 <String>、<Integer>）都会被抹掉，替换成其边界类型（通常是 Object），并在必要位置插入强制类型转换。
-
List<String>和List<Integer>编译后都变成原始类型List，字节码完全相同 - 泛型方法如
<T> T getFirst(List<T> list)编译后变为Object getFirst(List list)，返回值处加(String)或(Integer)强转 - 编译器提前报错（如向
List<String>add(42)），避免运行时ClassCastException
运行期表现：类型可见性与多态能力
C++ 实例化后的模板类型在运行期是完整存在的——RTTI 可识别 vector<int> 和 vector<char> 是不同类型，能用于 typeid、dynamic_cast，也能作为函数重载依据。
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
- 可基于模板参数做特化（如全特化
template<> struct hash<const char*> { ... };） - 支持 SFINAE、constexpr if 等编译期逻辑，实现复杂元编程
Java 泛型在运行期“不存在”——JVM 看不到任何泛型类型参数。你无法通过反射获取 list.getClass().getTypeParameters() 得到 String，也无法用 instanceof 判断某对象是否为 List<String>。
- 泛型数组禁止创建：
new T[10]编译不通过，因运行时不知道T是什么 - 不能用泛型参数声明异常类型：
<T extends Exception> void throwIt(T e)合法，但throw e仍需显式捕获Exception - 通配符（
? extends Number）仅用于编译期约束，运行时仍是Number
根本差异来源：语言运行模型不同
C++ 是静态编译型语言，无统一虚拟机，模板是纯粹的编译期机制，服务于零开销抽象目标；Java 运行于 JVM，泛型设计必须兼容已有字节码规范与运行时类型系统，类型擦除是向后兼容的务实选择。
- C++ 模板允许基本类型作参数（
stack<int>），Java 必须用包装类（Stack<Integer>），因擦除后只剩Object - Java 泛型支持协变/逆变（
List<? extends Animal>），C++ 模板默认不变，需手动定义转换关系 - Java 泛型无法实现类似
std::enable_if的条件编译，也没有模板偏特化能力
说到底，C++ 模板是编译器“造新类”，Java 泛型是编译器“删信息+补转换”。前者强大灵活但复杂，后者安全轻量却受限——选哪个，取决于你要解决的问题落在哪一边。
