Generics

泛型允许类型作为参数，编写类型安全且可复用的容器与算法，实例化时绑定具体类型。

用途

编写类型安全的可复用代码，避免重复代码与运行时类型检查。

参数化类型：List<T> 对任意类型 T 提供 List。Java 用类型擦除（运行时无泛型信息），C++ 模板生成具体类型代码，Rust 单态化。协变/逆变约束子类型关系。