类型参数是否与参数一起传递给方法？

Question

根据我自己的实验，我得出结论，当作为参数传递给方法时，对象或对象引用的任何类型参数都会被去除。如果方法的参数是用类型参数参数化的，就会弹出类型参数的问题：

<T> void method (ArrayList<T> list) {
    list.add( (T) new Integer(4));
    sysout (list.get(0));
}

然后，如果我们将两个参数化 ArrayList 中的每一个都传递给此方法的调用：

method(new ArrayList<Integer>());
method(new ArrayList<String>());

我们将看到两者都不会产生错误并且都打印 4。我假设编译器将 T 的擦除保留为 Object。这个实验不能证明类型参数没有传递给方法吗？

Answer 1

ArrayList<T> 的情况实际上与普通 T 的情况相同。在这两种情况下，T 在编译时用于静态类型检查。但是，在运行时，T 被擦除。

看你贴的代码，编译后的方法等同于：

void method (ArrayList<Object> list) {
    list.add( (Object) new Integer(4));
    sysout (list.get(0));
}

调用有效：

method(new ArrayList<Object>());
method(new ArrayList<Object>());

所以从运行时的角度来看，您将 Object 存储在 ArrayList<Object> 中，这很好。

现在，如果没记错的话，您应该会收到有关表达式 (T) new Integer(4) 未经检查的转换的警告。这是一个需要注意的好警告！如果目标类型与实际类型不兼容，转换通常会抛出异常。但是，在这种情况下，T 在运行时不存在，因此无法动态检查 - 转换是空操作。但是，如果我们将示例修改为 return 转换值，您会在运行时开始看到问题：

<T> T method (ArrayList<T> list) {
    T value = (T) new Integer(4);
    list.add(value);
    return value;
}

然后

String result = method(new ArrayList<String>());

即使转换成功（这只是一个空操作），当 return 值被分配给 result 时也会抛出异常，因为该值是一个 Integer而不是 String.

Answer 2

这只是一个简单的情况，其中编译器未启用以强制您在特定范围内使用 T。正如您所注意到的，您的 method() 方法似乎并不关心 T 作为一种类型。

代码正在编译，但有警告。您对 T 的未经检查的转换并不总是没有后果：

ArrayList<String> strings = new ArrayList<>();
method(strings);
System.out.println(strings.get(0));

并且：

Exception in thread "main" java.lang.ClassCastException: 
    java.lang.Integer cannot be cast to java.lang.String

此异常由 System.out.println(strings.get(3)); 引发，因为此对 println 的调用链接到采用字符串的重载，并且转换未通过。

这意味着尽管 method() 不检查对 T 的强制转换（在编译时或运行时），但调用者会检查。在我的 main() 方法中，T 被推断为 String 并且运行时能够执行相关的类型检查。

I assume that the compiler retains the erasure of T as Object.

粗略地说，是的。但是在 T 有界的其他情况下，编译器将能够强制执行更多的类型安全。以下甚至不会编译：

static <T extends String> void method(ArrayList<T> list) {
    list.add((T) new Integer(4));
    System.out.println(list.get(0));
}

所以，“这个实验不能证明类型参数没有传递给方法吗？”不，这只是众多场景中的一种。

类型参数是否与参数一起传递给方法？

Are type arguments passed along with an argument to a method?

java

generics

parameter-passing

pass-by-value