每日一问 | Java 泛型与接口碰撞出的火花！

编译题目给出代码，再像上次那样javap看一下Dog的字节码：

javap -v Dog.class：

可以看到，Dog里面除了我们在代码中编写的test(String)，还多了一个test(Object)（还可以看到它在checkcast之后也会调用test(String)方法），注意看这个多出来的test(Object)方法的flags：ACC_PUBLIC 、 ACC_BRIDGE 、 ACC_SYNTHETIC 。

第一个（ACC_PUBLIC）不用说，从第三个（ACC_SYNTHETIC）可以知道这个方法是编译器帮我们生成的，而且我们在代码中不能通过常规方式来访问。

中间的ACC_BRIDGE是什么呢？

正则表达式全局搜一下，看看在哪里声明：

emmmm，跟上次的SYNTHETIC一样，也是在Modifier里面。

进一步会发现，这个BRIDGE只在Executable（Method的父类）中的isBridgeMethodInternal方法中有使用到：

public abstract class Executable extends AccessibleObject
    implements Member, GenericDeclaration {

    /** A cheap implementation for {@link Method#isBridge()}. */
    final boolean isBridgeMethodInternal() {
        return (accessFlags & Modifier.BRIDGE) != 0;
    }
}

public final class Method extends Executable {
    /**
     * Returns {@code true} if this method is a bridge
     * method; returns {@code false} otherwise.
     *
     * @return true if and only if this method is a bridge
     * method as defined by the Java Language Specification.
     * @since 1.5
     */
    public boolean isBridge() {
        // Android-changed: isBridge() implemented using Executable.
        return super.isBridgeMethodInternal();
    }
}

最终是在Method的isBridge方法里调用。看文档注释：如果是bridge方法就return true。bridge是桥，结合刚刚的字节码就很容易想到：

这个由编译器帮我们生成的test(Object)方法，就像一座桥一样，将接口方法与我们自己实现的真实方法连接起来。

回到题目中的问题：

为什么没有手动实现接口经过泛型擦除后的test(Object)方法也能正常通过编译呢？

因为这一步编译器已经帮我们做了，在自动生成test(Object)方法后，还会加上一个ACC_BRIDGE标记，在程序中可以通过Method的isBridge方法来判断。

除了这个场景，编译期间还有哪里有类似的处理方式？

emmmm，上次说的那个内部类私有变量的问题，也类似：内部类在编译后变成了普通类，它的私有变量原则上外部类不能直接引用，所以也会生成对应的setter、getter方法。

除了私有变量，私有方法也一样，都会额外生成一个外部可访问的代理方法。

11:04 补充：

哈哈哈，其实我也觉得，上面没有说到点。刚刚准备关闭打开的源码文件的时候，目光刚好放在了Modifier声明BRIDGE的下方，看到一个VARARGS，猛然一想：对哦！varargs其实也是数组！于是马上改代码测试了一下，发现果然跟我想的一样！

我把接口

刚刚写的时候，发现是我把本来的test方法的ACC_BRIDGE标记误认为是varargs方法自动生成的，写到一半发现不对，去掉接口实现之后再看了下字节码，发现并没有额外生成一个参数为数组的方法。。。。好尴尬啊，图都截好了。

实际是这样的

public interface Animal
{

    public abstract void test(Object obj);
}

class Dog implements Animal {

    Dog() {
    }

    public void test(String s) {
    }

    public static void main(String args[]) {
        Dog dog = new Dog();
    }

    public volatile void test(Object obj) {
        test((String) obj);
    }
}

1. 子类泛型方法的反编译

public void test(java.lang.String);
    descriptor: (Ljava/lang/String;)V
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_1
         1: ldc           #17                 // String t
         3: invokestatic  #23                 // Method kotlin/jvm/internal/Intrinsics.checkParameterIsNotNull:(Ljava/lang/Object;Ljava/lang/String;)V
         6: return
      LineNumberTable:
        line 7: 6
      LocalVariableTable: // 有局部变量表
        Start  Length  Slot  Name   Signature
            0       7     0  this   Lcom/yq/generic/Dog;
            0       7     1     t   Ljava/lang/String;
    RuntimeInvisibleParameterAnnotations:
      0:
        0: #15()

2.子类编译器生成的方法

public void test(java.lang.Object);
    descriptor: (Ljava/lang/Object;)V
    flags: ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_0
         1: aload_1
         2: checkcast     #12                 // class java/lang/String
         5: invokevirtual #14                 // Method test:(Ljava/lang/String;)V
         8: return
      LineNumberTable:
        line 5: 0 
                // 无局部变量表

3 系统生成的字节码无局部变量表 但是有通过aload_0,aload_1从局部变量表把参数load到操作数栈? 相邻俩个方法的局部变量表是如何复用的呢