Java静态多态（重载）和泛型之间的继承

Question

Java 11（可能不相关）：

public static String toString(Object obj) {
    return ReflectionToStringBuilder.toString(obj, ToStringStyle.SHORT_PREFIX_STYLE);
}

public static String toString(Collection<Object> collection) {
    return collection.stream()
            .map(SaLogUtils::toString)
            .collect(Collectors.joining(", ", "[", "]"));
}

public static void main(String[] args) {
    List<Integer> list = List.of(Integer.valueOf(1));
    System.out.println(SaLogUtils.toString(list));
    System.out.println(SaLogUtils.toString(List.of(Integer.valueOf(1))));
}

令人惊讶的输出：

// from toString(Object)
ImmutableCollections.List12[e0=1,e1=<null>]
// from toString(Collection<Object>)
[Integer[value=1]]

为什么Java静态选择不同的方法？

Answer 1

当有多个可以调用的重载时，Java 选择the most specific applicable method：

非正式的直觉是，如果第一个方法处理的任何调用都可以传递给另一个方法而不会出现编译时错误，那么一个方法比另一个方法更具体。在诸如显式类型化的 lambda 表达式参数 (§15.27.1) 或变量 arity 调用 (§15.12.2.4) 等情况下，可以灵活地调整一个签名以适应另一个签名。

---

toString(Collection<Object>) 不适用于List<Integer>，因为a List<Integer> isn't a List<Object>，所以它也不是Collection<Object>。因此，只有toString(Object) 方法适用，所以它是被调用的。

---

toString(Collection<Object>) 适用于List.of(someInteger)，因为List.of 是一个多表达式：可以是List<Integer>，可以是List<Object>，也可以是List<Serializable>。

由于toString(Object) 和toString(Collection<Object>) 都适用，它必须选择一个或另一个（或声明它是模棱两可的）。 Collection 重载更具体，因为：

• 你传递给toString(Collection<Object>)的任何东西也可以传递给toString(Object)
• 但是有些东西可以传递给toString(Object)，但不能传递给toString(Collection<Object>)（例如new Object()）。

这使得toString(Collection<Object>) 更加具体，所以这是被选中的那个。