Java接口中default方法常规调用使用invokeinterface或invokevirtual，仅Interface.super.m()形式才用invokespecial指令，JVM禁止其他场景使用该指令调用default方法，否则验证失败。
Java 接口中 default 方法在字节码中**不使用 invokespecial 指令调用**，而是使用 invokeinterface（对接口引用）或 invokevirtual（对具体实现类引用），具体取决于调用上下文。JVM 规范明确将 invokespecial 保留用于构造器、私有方法、super. 调用以及接口默认方法的**父接口链回溯调用**（即 Interface.super.m() 形式）——这种特殊场景才用 invokespecial。
default 方法的常规调用：invokeinterface / invokevirtual
当通过接口类型变量调用 default 方法时，编译器生成 invokeinterface；若通过具体实现类类型变量调用（且该类未重写该 default 方法），则生成 invokevirtual。JVM 在运行时根据实际对象类型查找并执行最近的可见 default 实现（遵循接口继承链从子到父的搜索顺序）。
-
例如：
MyInterface obj = new Impl(); obj.defaultMethod();→ 编译为invokeinterface MyInterface.defaultMethod:()V -
又如：
Impl obj = new Impl(); obj.defaultMethod();（Impl 未重写）→ 编译为invokevirtual Impl.defaultMethod:()V，因为 JVM 允许在类的常量池中记录继承自接口的 default 方法符号引用
Interface.super.m() 的特殊调用：invokespecial
只有在实现类中显式通过 Interface.super.defaultMethod() 调用父接口的 default 方法时，编译器才会生成 invokespecial 指令。此时 JVM 不做动态分派，而是**直接定位到指定接口中声明的 default 方法字节码**，跳过当前类或其他接口中的重写版本。
- 这是唯一合法使用
invokespecial调用接口 default 方法的场景 - JVM 要求该指令的操作数栈顶必须是实现了该接口的对象引用，且常量池项必须指向接口类型 + 方法名描述符（而非类类型）
- 这种调用绕过正常解析逻辑，属于“静态绑定到特定接口定义”，语义上等价于“强制调用 Interface 中定义的原始版本”
为什么不能用 invokespecial 直接调用普通 default 方法？
JVM 字节码验证器会拒绝非 Interface.super 场景下对接口方法使用 invokespecial。原因在于：invokespecial 的语义本质是“非虚调用 + 绑定到声明类型”，而接口 default 方法的设计初衷是支持多实现动态分派。若允许随意 invokespecial，将破坏接口契约的可扩展性与多态一致性。
立即学习“Java免费学习笔记（深入）”；
- 编译器禁止
obj.defaultMethod()（obj 是接口类型）生成invokespecial - 即使反射或 ASM 手动插入该指令，类加载时也会抛
VerifyError - 这是 JVM 层面的硬性约束，不是 Java 语言限制
运行时查找 default 方法的机制简述
JVM 在首次执行 invokeinterface 或 invokevirtual 到 default 方法时，会触发接口方法解析流程：从实际对象的类开始，沿其所有直接/间接实现的接口向上查找，按接口继承顺序（C3 线性化）找到第一个定义了该 default 方法的接口，并缓存其字节码入口。后续调用直接命中缓存。
- 查找过程不依赖
invokespecial，而是基于运行时类型信息 + 接口方法表（ITable）结构 - 如果多个接口提供了同签名 default 方法且无继承关系，编译期就报错，不会生成字节码
-
invokespecial在此过程中只扮演“绕过查找、直连指定接口”的特殊角色
