为什么这个泛型 java 方法接受两个不同类型的对象？

Question

此方法将获取两个相同类型的对象并随机返回其中一个对象：

public static <T> T random(T o1, T o2)
{
   return Math.random() < 0.5 ? o1 : o2;
}

现在，为什么编译器会接受两个不同类型的参数？

random("string1", new Integer(10)); // Compiles without errors

编辑： 现在我知道这两个参数都被隐式向上转换了，我想知道为什么编译器确实在调用以下方法时会抱怨：

public static <T> List<T> randomList(List<T> l1, List<T> l2) {
        return Math.random() < 0.5 ? l1 : l2;
    }

呼叫：

randomList(new ArrayList<String>(), new ArrayList<Integer>()); // Does not Compile

如果这些 ArrayList 参数也被向上转换为 Object，为什么这次它会给我一个错误？

Answer 1

T 被推断为Object，并且两个参数都被隐式向上转换。

因此代码等价于：

Main.<Object>random((Object)"string1", (Object)new Integer(10));

可能更令人惊讶的是以下编译：

random("string1", 10);

第二个参数被自动装箱为Integer，然后两个参数都被向上转换为Object。

Answer 2

T被推断为String和Integer的共同超类型，即

Object & Serializable & Comparable<? extends Object & Serializable & Comparable<? extends ... ...

好吧，没有人需要关心这个。

您可以对参数类型添加更多约束

public static <T1,T2 extends T1> T1 random(T1 o1, T2 o2)

在您的列表示例中，您需要通配符来获得类似的效果

public static <T> List<? extends T> randomList(
                                    List<? extends T> l1, List<? extends T> l2)

Answer 3

知道我知道这两个参数都被隐式向上转换， 我想知道为什么编译器在调用以下命令时会抱怨 方法：

因为即使A 是B 的子类型，如果A 和B 不同，List<A> 也不是List<B> 的子类型。

Answer 4

因为您没有以安全、通用的方式调用它。试试

MyClass.<String>random("string1", new Integer(10));

你会得到一个编译错误。

或者让编译器推断类型，你也应该得到一个编译错误：

String s = random("string1", new Integer(10));