通用方法返回类型

Question

泛型方法返回类型是否基于值引用解析？ 例如

public class TestGenericMethod
{
    public static void main(String[] args)
    {
        TestGenericMethod dis = new TestGenericMethod();
        String str = dis.getFirst(singletonList("String"));
        System.out.println("| String  ==> " + str);

        Integer in = dis.getFirst(singletonList(5));
        System.out.println("| Integer ==> " + in);
    }

    private <T> T getFirst(List<Object> objs)
    {
        return (T) objs.get(0);
    }
}

参考代码段，此代码可以正常编译和运行。 我在这里的问题是，由于我没有将类型转换列表对象专门键入我的类型，因此返回类型仍然与String和Integer兼容。 那么返回类型是根据值引用来解决的吗？

Answer 1

返回类型由编译器根据您将结果分配给（ str ， in ）的变量的类型来推断。

当然，返回值的实际类型将是列表中第一个对象的类型，并且在运行时可能会收到ClassCastException，因为您的代码不是类型安全的，并且您忽略了未经检查的泛型转换。 尝试例如

Integer oops = dis.getFirst(singletonList("hello"));

Answer 2

编译器会尝试推断T ，在这种情况下，唯一可以推断出T的地方就是查看要存储返回T的变量的类型。

Answer 3

如其他答案中所述，返回类型是由编译器从目标变量类型推断出来的。 幕后细节。

如果检查类的字节码，则getFirst()方法的实际返回类型为Object 。

// signature <T:Ljava/lang/Object;>(Ljava/util/List<Ljava/lang/Object;>;)TT;
private getFirst(Ljava/util/List;)Ljava/lang/Object;

在运行时，JVM将检查从getFirst()返回的对象的实际类型，如果不同，则抛出ClassCastException。

INVOKESPECIAL TestGenericMethod.getFirst (Ljava/util/List;)Ljava/lang/Object;
CHECKCAST java/lang/Integer