优先考虑泛型方法：从类型安全到类型推断的实战指南

1. 第30条到底在讲什么：泛型方法的价值定位

1.1 从"先转型后使用"的老代码说起

在进入第30条之前，我先带大家回忆一下没有泛型方法时的日子。假设你想写一个工具方法，从一个列表里取出最大值，在没有泛型的那会儿，代码长这样：

java复制public static Object max(List list) {
    Object max = list.get(0);
    for (Object item : list) {
        if (((Comparable) item).compareTo(max) > 0) {
            max = item;
        }
    }
    return max;
}

调用方拿到的返回值是Object，接下来就是无休止的向下转型。麻烦在于转型这件事，编译器在编译期拦不住你，只在运行期才告诉你“类型对不上”。更糟的是，万一调用方传进来一个根本不能比较的列表，这段代码会在运行期直接抛ClassCastException。

泛型方法解决的就是这类问题：把“元素类型”作为方法的类型参数，让编译器在编译期就去校验、推断和插入转换。它不仅能消除强转的样板代码，更重要的是把类型的正确性证明前移到了编译阶段。对于任何写过三五年Java的人来说，这个价值不需要我多解释——越早暴露的问题，修复成本越低。

第30条英文原文标题是“Prefer Generic Methods”，中文翻译是“优先考虑泛型方法”。注意这里的措辞，不是“必须使用”，而是“优先考虑”。这意味着它是一条实践原则，而不是一条强制禁令。具体来说，当你的方法签名的参数或者返回值里出现了不该出现的具体类型，或者需要靠调用方强转才能接住返回值，这就是一个泛型方法的“候选信号”。

1.2 泛型方法为什么比泛型类更容易上手

很多人学Java泛型时，第一反应是先接触泛型类，比如List<T>、Map<K, V>。但写业务代码的时候，你会发现自己整天在写具体的类，很少去定义一个全新的泛型类。反而是泛型方法更常见——因为一个类里只要有一个方法需要类型参数化，这个方法就可以单独声明泛型，完全不必把整个类都改造掉。

泛型方法的意思是：在方法的修饰符和返回值之间，多了一个类型参数声明，用尖括号括起来。

java复制public static <T> T getMiddle(T... args) {
    return args[args.length / 2];
}

调用时跟普通方法一模一样，多数情况下不需要显式传类型参数，编译器自动推断。原因很简单：泛型类的类型参数是在实例化时确定的，泛型方法的类型参数是在调用时确定的。类被new出来之后，类型参数就钉死了；方法每一次调用，都可以有自己独立的类型参数解析。这种灵活度让泛型方法成为了静态工具方法、工厂方法、策略入口的天然选择。

1.3 泛型方法解决的三个核心痛点

第一个痛点是类型安全。比如你写一个过滤函数，接收一个集合并返回同类型的新集合。用Object写，调用方收到List