|
\*\*核心\*\*：Java编译器生成的JVM指令集，直接操作栈帧，实现逻辑控制。 --- #### \*\*1. 条件判断（条件跳转指令）\*\* - \*\*指令\*\*：\`ifeq\`（等于0跳转）、\`ifne\`（不等于0跳转）、\`iflt\`（小于0跳转）等。 - \*\*实现逻辑\*\*： - 栈顶值（整数）作为条件，满足则跳转至指定标签。 - _示例_：\`if (x == 0)\` → \`iload_0\`（x压栈）→ \`ifne label\`（栈顶=0则跳过）。 - \*\*关键\*\*：基于\*\*操作数栈\*\*的值判断，无额外内存开销。 --- #### \*\*2. 循环控制（跳转指令实现）\*\* - \*\*指令\*\*：\`goto\`（无条件跳转）、\`if_icmpge\`（整数比较大于等于跳转）。 - \*\*实现逻辑\*\*： - 用\`goto\`和条件指令模拟循环（如\`for\`、\`while\`）。 - _示例_：\`for (int i=0; i\<10; i++)\` → \`iconst_0\`（i=0）→ \`istore_1\` → \`iload_1\` → \`iconst_10\` → \`if_icmpge end\`（i\>=10则退出）。 - \*\*关键\*\*：循环体通过\*\*跳转指令\*\*重入，无额外栈帧。 --- #### \*\*3. 变量赋值（\`x=0\`分析）\*\* - \*\*指令\*\*：\`iconst_0\`（压入0常量）→ \`istore_1\`（存入局部变量表槽位1）。 - \*\*字节码细节\*\*： - \`x\`为局部变量（如\`int x\`），\`istore_1\`对应槽位1（\`x\`的存储位置）。 - _错误修正_：速写"分析x=0"指\*\*指令序列\*\*，非变量本身。 --- #### \*\*4. 类初始化方法（\`cinit\`）\*\* - \*\*符号\*\*：\`\`（类初始化方法）。 - \*\*作用\*\*：执行\*\*静态初始化块\*\*（如\`static { x = 1; }\`）。 - \*\*字节码生成\*\*： - 编译器自动添加，\*\*类加载时执行\*\*（链接阶段）。 - _示例_：\`static { x = 1; }\` → \`\`方法：\`iconst_1\` → \`putstatic x\`。 - \*\*关键\*\*：\*\*无参数\*\*，\*\*无返回值\*\*，仅在类首次使用时触发。 --- #### \*\*5. 实例初始化方法（\`init\`）\*\* - \*\*符号\*\*：\`\`（构造器方法）。 - \*\*作用\*\*：执行\*\*实例初始化\*\*（如\`public MyClass()\`）。 - \*\*字节码生成\*\*： - 必须以\`aload_0; invokespecial \`开头（调用父类构造器）。 - _示例_：\`public MyClass() { super(); }\` → \`aload_0\`（this压栈）→ \`invokespecial \`（调用父类构造器）。 - \*\*关键\*\*：\*\*必须调用父类构造器\*\*，否则编译失败。 --- #### \*\*6. 方法调用指令\*\* \|指令\|用途\|执行流程（关键）\| \|---\|---\|---\| \|\`invokevirtual\`\|虚方法调用（多态）\|1. 从栈取对象引用 → 2. 对象头查Class → 3. Class的vtable查方法地址 → 4. 执行字节码\| \|\`invokespecial\`\|构造器/私有方法\|直接调用（无动态分派）\| \|\`invokestatic\`\|静态方法\|通过符号引用直接定位（无对象）\| \|\*\*vtable\*\*\|\*\*虚方法表\*\*（类加载时生成）\|基于继承链重写规则，存储方法地址（如\`subClass.method()\`指向子类实现）\| \> \*\*\`invokevirtual\`流程\*\*（速写补充）： \> \> - 对象头含\*\*Class指针\*\* → Class对象含\*\*vtable\*\*（链接阶段构建） → 查表得方法地址 → 执行字节码。 --- #### \*\*7. \`javap\` 工具\*\* - \*\*作用\*\*：反汇编字节码文件，查看指令细节。 - \*\*常用命令\*\*： - \`javap -c MyClass.class\`：显示字节码指令（含注释）。 - \`javap -v MyClass.class\`：显示详细信息（如局部变量表、常量池）。 - \*\*示例\*\*：\`javap -c Test.class\` → 输出\`\`、\`main\`等方法的指令序列。 --- \*\*总结\*\*：字节码指令是JVM执行的基石，\*\*条件/循环用跳转指令实现\*\*，\*\*\`cinit\`/\`init\`是特殊方法\*\*，\*\*\`invokevirtual\`依赖vtable实现多态\*\*。\`javap\`是调试字节码的核心工具。
评论交流