为什么这个泛型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)