Java方法调用本质是JVM栈上创建独立栈帧，含局部变量表、操作数栈、动态链接和返回地址；通过invokestatic、invokespecial、invokevirtual、invokeinterface、invokedynamic五指令实现不同分派机制。
Java方法调用的本质，是在JVM栈上为每次调用创建一个独立的栈帧（Stack Frame），用于存储局部变量、操作数栈、动态链接、方法返回地址等信息。方法执行即栈帧入栈与出栈的过程。
栈帧的结构组成
每个栈帧包含四个核心部分：
- 局部变量表（Local Variable Table）：以变量槽（Slot）为单位存储方法参数和内部定义的局部变量，索引从0开始；long和double类型占两个连续槽位。
- 操作数栈（Operand Stack）：后进先出的栈结构，用于存放字节码指令的操作数和中间计算结果；其最大深度在编译期确定并写入方法Code属性中。
- 动态链接（Dynamic Linking）：指向运行时常量池中该方法的符号引用，支撑方法调用时的解析与分派（如invokedynamic依赖此实现Lambda绑定）。
- 方法返回地址（Return Address）：记录调用者代码中下一条指令的位置，确保方法结束后能正确跳转回原执行流；若异常退出则由异常表决定是否返回或抛出异常。
方法调用的字节码指令与分派机制
JVM通过五条invoke系指令区分不同调用场景：
java-api-doc-generator
下载
分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
- invokestatic：调用静态方法，编译期直接解析为具体目标方法（静态绑定）。
- invokespecial：调用私有方法、构造器、父类方法（super.xxx），同样静态绑定，不参与多态。
- invokevirtual：调用非私有、非静态、非final的实例方法，运行期基于对象实际类型做虚方法表（vtable）查找（动态绑定）。
- invokeinterface：调用接口方法，运行期通过接口方法表（itable）查找，支持多实现类动态分派。
- invokedynamic：JDK 7引入，支持动态语言特性；首次执行触发Bootstrap Method生成CallSite，后续调用可内联优化。
栈帧生命周期与线程栈关系
每个Java线程拥有独立的Java虚拟机栈，栈由多个栈帧组成，按方法调用顺序依次压入（push）和弹出（pop）：
立即学习“Java免费学习笔记（深入）”；
- 方法开始执行 → JVM分配新栈帧并压入当前线程栈顶；
- 方法正常返回（return指令）→ 栈帧弹出，局部变量表和操作数栈释放，返回值传给调用者栈帧；
- 方法异常退出 → 若当前方法未处理异常，则栈帧立即弹出，异常沿调用链向上抛出；
- 递归过深或栈空间不足 → 抛出StackOverflowError；栈扩展失败 → 抛出OutOfMemoryError（仅当允许动态扩展且内存耗尽时）。
常见误区与调试提示
理解方法调用不能只看源码逻辑，需结合字节码和运行时行为：
- “重载（overload）”在编译期完成，靠参数类型静态选择方法签名；“重写（override）”在运行期生效，靠对象实际类型动态分派。
- final方法虽可被invokevirtual调用，但JIT可能内联优化，跳过虚表查找——这不改变栈帧结构，只影响执行路径。
- 使用jstack或IDE调试器查看线程栈时，每一行对应一个栈帧，最上面是当前执行方法，向下追溯调用链。
- try-with-resources、synchronized块、lambda表达式等语法糖，会生成额外的合成方法或栈帧，需通过javap -c查看真实字节码。
