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

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 在运行时不存在，因此无法动态检查 - 强制转换是无操作的。但是，如果我们修改示例以返回强制转换的值，您可以在运行时开始看到问题：

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

然后

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

即使转换成功（它只是一个无操作），当返回值分配给 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 的此调用与采用String 的重载相关联，并且强制转换未通过。

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

我假设编译器将 T 的擦除保留为 Object。

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

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

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