泛型能解决什么问题

泛型（Generics）的核心价值是在编译期提供类型安全与代码复用，同时避免运行时的类型转换和错误。下面从“它解决了哪些具体问题”来讲。

1. 解决“类型不安全”的问题

在没有泛型之前（如 Java 早期、C++ 模板出现前的一些写法），常用 Object 或 void* 来兼容多种类型：

List list = new ArrayList();
list.add("hello");
list.add(123);

String s = (String) list.get(1); // 运行时才报错：ClassCastException

泛型解决方式：

List<String> list = new ArrayList<>();
list.add("hello");
// list.add(123); // 编译期直接报错

✅ 把错误从「运行时」提前到「编译时」

2. 解决“强制类型转换”的问题

非泛型代码频繁需要手动转型：

Object obj = map.get("key");
String value = (String) obj;

泛型后：

Map<String, String> map = new HashMap<>();
String value = map.get("key");

✅ 代码更简洁、可读性更好

3. 解决“代码重复”的问题

没有泛型时，为了支持多种类型，要写多份逻辑：

class IntBox {
    int value;
}
class StringBox {
    String value;
}

泛型后：

class Box<T> {
    T value;
}

✅ 一套逻辑，支持任意类型

4. 解决“算法与数据类型耦合”的问题

泛型让算法独立于数据类型：

<T> T max(T a, T b) { ... }

适用于：

• 集合（List / Map / Set）
• 算法（排序、查找、比较）
• 工具类（Pair、Optional、Result）

✅ 提高可维护性

5. 解决“接口/API 设计不清晰”的问题

泛型能明确表达“输入和输出的关系”：

Function<String, Integer>
Supplier<User>
Consumer<Log>

✅ API 语义更明确，调用者更少犯错

6. 在静态语言中兼顾“灵活”和“安全”

泛型本质是：

用类型参数代替具体类型，在编译期做检查

相比：

• Object：太松
• 继承多态：有时不够直接
• 宏 / 代码生成：太重

✅ 泛型是“刚刚好”的方案

7. 典型使用场景总结

• 集合框架（List、Map<K,V>）
• 通用工具类（Optional、Result）
• 工厂 / 建造者模式
• DAO / Repository 层
• 跨层数据传输（DTO、VO）

一句话总结

泛型解决的是：用同一套代码，安全地处理多种类型的问题。

如果你愿意，我也可以：

• 用 Java / C# / TS / C++ 对比讲
• 讲 泛型擦除 / 类型边界 / 协变逆变
• 用 实际项目例子说明

你更想看哪一块？