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

如何解决类型参数是否与参数一起传递给方法？

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

<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。这个实验不能证明类型参数没有传递给方法吗？

解决方法

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 而不是一个 {{1 }}。

,

这只是一个简单的情况，编译器未启用强制您在特定范围内使用 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，并且运行时能够执行相关的类型检查。

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

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

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

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