Effective Java笔记（30）优先考虑泛型方法

        正如类可以从泛型中受益一般 ，方法也一样。静态工具方法尤其适合于泛型化 。 Collections 中的所有“算法”方法（例如 binarySearch 和 sort ）都泛型化了 。

        编写泛型方法与编写泛型类型相类似 。 例如下面这个方法，它返回两个集合的联合 ：

public static Set union(Set s1, Set s2) {
    Set result = new HashSet(s1);
    result.addAll(s2);
    return result;
}

        这个方法可以编译，但是有两条警告 ：

        为了修正这些警告，使方法变成是类型安全的，要将方法声明修改为声明一个类型参数（ type parameter ），表示这三个集合的元素类型（两个参数和一个返回值），并在方法中使用类型参数。 声明类型参数的类型参数列表，处在方法的修饰符及其返 回值之间 。 在这个示例中，类型参数列表为＜ E ＞，返回类型为 Set

public static  Set union(Set s1, Set s2) {
    Set result = new HashSet<>(s1);
    result.addAll(s2);
    return result;
}

        至少对于简单的泛型方法而言，就是这么回事了 。 现在该方法编译时不会产生任何警告，并提供了类型安全性，也更容易使用 。 以下是一个执行该方法的简单程序 。 程序中不包含转换，编译时不会有错误或者警告 ：

public static void main(String[] args) {
    Set guys = Set.of("Tom"， "Dick"， "Harry");
    Set stooges = Set.of("Larry"，"Moe"， "Curly");
    Set af1Cio = union(guys, stooges); .
    System.out.println(af1Cio);
}

        运行这段程序时，会打印出［ Moe, Harry , Tom , Curly , Larry , Dick ］ 。 （元素的输出顺序是独立于实现的 。 ）

        union 方法的局限性在于三个集合的类型（两个输入参数和一个返回值）必须完全相同 。利用有限制的通配符类型（ bounded wildcard type ）可以使方法变得更加灵活 。

        有时可能需要创建一个不可变但又适用于许多不同类型的对象 。由于泛型是通过擦除实现的，可以给所有必要的类型参数使用单个对象，但是需要编写一个静态工厂方法，让它重复地给每个必要的类型参数分发对象 。 这种模式称作泛型羊例工厂(generic singleton factory ），常用于函数对象，如 Collections.reverse Order ，有时也用于像 Collections.emptySet 这样的集合 。

        假设要编写一个恒等函数（ identity function）分发器。 类库中提供了 Function.identity,因此不需要自己编写，但是自己编写也很有意义 。 如果在每次需要的时候都重新创建一个 ，这样会很浪费，因为它是无状态的（ stateless ） 。 如果 Java 泛型被具体化了，每个类型都需要一个恒等函数，但是它们被擦除后，就只需要一个泛型单例 。 请看以下示例 ：

private static UnaryOperator