java转换为原始类型
我被一个代码卡住了,我不明白它为什么会工作。假设我创建了一个通用接口Foo<T>
,如下所示:
interface Foo<T>{
void set(T item);
}
然后我创建了一个名为Bar
的类,它实现了Foo<String>
,如下所示:
class Bar implements Foo<String>{
@override
public void set(String item){
//useless body
}
}
基于此,我们可以编写以下代码:
Bar bar = new Bar();
bar.set("Some string");
Foo rawFoo = (Foo) bar;
rawFoo.set(new Object()); // ClassCastException: Object cannot be cast to string
最后一行是我不太明白的。众所周知,当使用原始类型时,泛型参数类型转换为Object
。
在这种情况下,代码将编译,我们可以将对象传递给set()
方法。但是Java如何确定它必须在运行时将对象强制转换为字符串呢
# 1 楼答案
首先,您所做的只是提供对现有对象的引用,而不是创建新对象
类型擦除后,您的Foo变为:
你的班级变成:
类型擦除后,方法签名不匹配
因此,Bar set方法不实现Foo set方法
为了解决这个问题并在类型删除后保留泛型类型的多态性,Java编译器生成一个桥接方法以确保子类型按预期工作。对于Bar类,编译器为set生成以下桥接方法:
https://docs.oracle.com/javase/tutorial/java/generics/bridgeMethods.html
# 2 楼答案
事实证明,我的问题的答案是桥接方法。我目前正在读Maurice Naftalin和Philip Wadler的《Java泛型和集合》一书。我实际上读了一节关于桥接方法的内容,但我似乎没有仔细阅读。我很高兴所有的答案都有共同点。现在,我将再次阅读该部分
# 3 楼答案
Java中的泛型是编译时类型安全特性。因为它们是在1.5版中引入的,所以它们必须与以前的版本向后兼容。这允许您使用原始类型——一个不带类型参数的变量引用一个带类型参数的类
在运行时,大多数类型参数信息被擦除,但不是全部。{a1}我们将在必要时插入编译器
在这里,编译器创建了一个桥接方法,以在运行时保留多态性,该方法采用
Object
,将其参数强制转换为String
,然后调用实set(String)
方法当您调用
rawFoo.set(new Object());
时,由于多态性,此桥接方法在Bar
中调用。这是您在这里看到的隐式强制转换,显示为ClassCastException
# 4 楼答案
如果使用
javap
反编译Bar
:void set(java.lang.Object)
是一种合成桥方法。注意checkcast
指令。等效的“真实”代码如下所示:编译器创建这个方法是为了让类在类型擦除下工作;做这项工作的实际方法是
set(java.lang.String)
,桥接方法委托给它正是这个桥方法实际上重写了基类中的方法。用
@Override
注释声明的方法只是一个重载