java - 如何在 java 中编写一个接受两个相同类型参数的泛型方法？

Question

当我注意到以下代码在没有警告的情况下编译并打印出 Integer / String 时，我感到非常惊讶。 :

public final class GenericsTest {
    private static <T> void method(T arg1, T arg2) {
        System.out.println(arg1.getClass().getSimpleName());
        System.out.println(arg2.getClass().getSimpleName());
    }

    public static void main(String[] args) {
        method(1, "1");
    }
}

我预计会出现编译错误。

是否有编译此代码的原因？

确保参数具有相同类型的正确方法是什么？

编辑:有界类型参数怎么样？我能想到的最好的是:

private static <T, U extends T> void method(T arg1, U arg2) {
    System.out.println(arg1.getClass().getSimpleName());
    System.out.println(arg2.getClass().getSimpleName());
}

不幸的是，java 不允许循环约束。 <T extends U, U extends T>不编译。这是死胡同吗？

Answer 1

这个编译的原因是因为 Java 将推断传入参数的最具体的父类(super class)型，在这种情况下， Object Serializable & Comparable<? extends Serializable & Comparable<? extends Comparable<?>>> , 在 1 之后装箱到Integer和 "1"作为 String 传递.

没有泛型:

private static void method(Number arg1, Number arg2) {

即使没有泛型，您也可以传入 Integer和一个 Double .

仅当相关类型为 final 时你能做到这一点，没有泛型:

private static void method(String arg1, String arg2) {
    // Yes, they're both Strings, guaranteed.

我可以想到泛型的一种边缘情况，以确保它们是准确的类型。如果你有 final类，然后你设置一个上限，然后你可以将它限制在同一个类。

public <T extends MyFinalClass> void method(T arg1, T arg2) {
    // Yes, they're both MyFinalClasses
}

但是你可以在没有泛型的情况下做同样的事情。

public void method(MyFinalClass arg1, MyFinalClass arg2) {
    // Yes, they're both MyFinalClasses
}