Java如何处理方法内非嵌套代码块中同名局部变量的内存？

首先明确核心逻辑：栈帧的局部变量表大小是编译阶段就固定的，不会在运行时动态调整。对于同一方法内作用域不重叠的同名局部变量，Java是通过**编译期复用局部变量槽（Slot）**来处理的，既不会让两个变量同时存在于栈帧，也不会在运行时主动“移除”某个变量。

具体细节如下：

• 编译阶段，编译器会分析每个局部变量的作用域范围。如果两个同名变量的作用域完全不重叠，编译器会直接给它们分配同一个局部变量槽。
• 运行时，栈帧的局部变量表从方法执行开始就固定了大小。当某个变量的作用域结束后，它占用的槽位并不会被“销毁”，只是后续代码不会再访问这个槽位里的旧值，后续的同名（或其他）变量会直接覆盖该槽位的内容实现复用。

拿你提供的代码举例：

public void myMethod(){

    String[] myArray = new String[2];

    for(int i=0; i< myArray.length; i++){
        String message = "hello"; // 作用域仅在for循环块内
        System.out.println(message);
    }

    if(true){
        int number =3; // 作用域仅在if块内
        System.out.println(number);
    }

    String message = "Ciao"; // 与循环内message作用域不重叠，复用同一个槽位
    int number =-50; // 与if内number作用域不重叠，复用同一个槽位

    System.out.println(message);
    System.out.println(number);
}

编译完成后，循环内的message和方法末尾的message会共用一个局部变量槽，if块内的number和方法末尾的number也是如此。方法执行时，栈帧的局部变量表不会为这两对变量分别分配独立的槽位——因为它们的生命周期完全不重叠，不会出现同时需要访问的场景。

总结：

• 不存在“两个同名变量共存于栈帧”的情况，编译期就已经规划好复用同一个内存位置。
• 局部变量不会在作用域结束时被主动从栈帧移除，只是槽位会被后续变量复用，旧值会被覆盖。
• 栈帧的局部变量表大小由编译时的变量规划决定，运行时不会发生变化。

内容的提问来源于stack exchange，提问作者Ignis