时间戳

首页 > 解决方案 > 为什么擦除仍然允许覆盖/实现？

java - 为什么擦除仍然允许覆盖/实现？

问题描述

乍一看，我认为以下是有道理的：

interface Test<T> {
    T getValue(T n);
}

class Impl implements Test<Integer>{
    public Integer getValue(Integer n){
        return n;
    }
}

并且它编译正确，所以一切看起来都很好。

但是后来我在擦除的上下文中考虑了更多，在我看来，测试接口被擦除为：

interface Test {
    Object getValue(Object n);
}

那么Impl如何仍然能够实现Test呢？

标签： javagenericserasure

解决方案

javac实际上为此创建了桥接方法：

class Impl implements Test<Integer>{
    @Override public Integer getValue(Integer n){
        return n;
    }
}

编译为

class Impl implements Test {
    public Integer getValue(Integer n) { // overrides nothing!
        return n;
    }
    @Override @Synthetic @Bridge public Object getValue(Object n) { 
        return this.getValue((Integer)n);
    }
}

注意：SyntheticandBridge不是真正的注释，但编译后的类文件确实将这些方法标记为“合成”和“桥接”。

通过使用这些桥接方法，Java 确保如果你有一个Impl，你可以调用Impl#getValue(Integer)Integer（如果你知道它实际上有 type Impl），或者你可以调用“通用” Test#getValue(Object)Object，如果你只知道它是一个Test<?>.

推荐阅读