一、先给一道例题
在前面的学习中，我们已经掌握了Java中变量的基本用法。但你有没有想过：为什么有些变量在方法结束后就消失了，而有些变量却可以一直存在？为什么代码块里定义的变量不能在外部使用？为什么局部变量必须手动赋值，而成员变量却可以自动获得默认值？下面这道题将帮助你理清这些疑问。
题目：请分析以下代码的运行结果，并说明每个变量的作用域（Scope） 和生命周期（Lifecycle） 。
java
public class Exam {
static int s; // 静态变量，属于类
int i; // 实例变量，属于对象
int j; // 实例变量，属于对象
{
int i = 1; // 代码块中的局部变量
i++; // 这里的 i 指的是哪个？
j++;
s++;
}
public void test(int j) { // 方法参数，局部变量
j++; // 这里的 j 指的是哪个？
i++;
s++;
}
public static void main(String[] args) {
Exam obj1 = new Exam(); // 第一个对象
Exam obj2 = new Exam(); // 第二个对象
obj1.test(10);
obj1.test(20);
obj2.test(30);
System.out.println(obj1.i + "," + obj1.j + "," + obj1.s);
System.out.println(obj2.i + "," + obj2.j + "," + obj2.s);
}
}
请写出代码运行后输出的结果。
二、解题思路
要正确解答这道题，需要从以下几个角度系统地分析：
2.1 理解作用域的四大分类
在Java中，作用域决定了变量可以被访问的代码范围：
-
类作用域（Class Scope） ：静态变量属于类本身，在整个类中都可以被访问，所有对象共享同一份副本
-
实例作用域（Instance Scope） ：实例变量属于类的某个特定对象，在整个类的实例范围内可见，每个对象拥有独立的副本
-
方法作用域（Method Scope） ：在方法内部声明的变量以及方法参数形参，仅限在该方法内部有效
-
块作用域（Block Scope） ：在代码块（如{}、if、for）内部声明的变量，仅在该代码块内有效
2.2 理解生命周期的三个阶段
生命周期决定了变量从创建到销毁的整个过程，可以从三个层面来理解：
-
创建（分配内存） ：静态变量在类加载时被创建；实例变量在对象创建时被创建；局部变量在代码块开始执行时被创建
-
有效（使用期间） ：变量只有在生命周期内才可被安全访问
-
销毁（释放内存） ：静态变量随类卸载而销毁；实例变量随对象被垃圾回收而销毁；局部变量随代码块结束而销毁
2.3 抓住三个核心区别维度
成员变量 vs 局部变量：成员变量定义在类中方法外，局部变量定义在方法体、形参或代码块中；成员变量有默认值（如int默认为0，String默认为null），局部变量必须手动赋值后才能使用；成员变量的生命周期伴随着对象的创建和销毁，局部变量的生命周期伴随着代码块的执行和结束，前者的寿命通常长于后者。
静态变量 vs 实例变量：静态变量用static修饰，实例变量没有static修饰；静态变量属于类本身，在类加载时被初始化，所有对象共享同一份数据，可通过类名直接访问；实例变量属于具体的对象实例，在对象创建时初始化，每个对象的实例变量彼此独立。静态变量存储在方法区，实例变量存储在堆内存中。
就近原则与遮蔽问题：当局部变量与成员变量同名时，会优先使用局部变量，这就是“就近原则”。如果此时仍需访问成员变量，则需通过this关键字来明确指示。另外，在同一个作用域内，不允许定义重名的变量。
2.4 内存存储位置的差异
栈内存：存储局部变量，包括方法内的普通局部变量和方法参数。当方法执行完毕时，这些内存会被自动释放。
堆内存：存储所有的对象实例及其实例变量。当一个对象不再被引用时，实例变量的内存会随着该对象被垃圾回收器回收而释放。
方法区：存储类信息、静态变量和常量等，在类加载时分配内存，随类卸载时释放。
2.5 变量遮蔽的解决方案
当局部变量与成员变量同名时，会遇到变量遮蔽的问题——局部变量“挡住”了成员变量，导致直接使用变量名时无法访问到成员变量。此时必须通过特定的语法来实现精确访问：若访问实例变量，需使用this.变量名；若访问静态变量，需使用类名.变量名。如果不使用这些标识，编译器将按照就近原则优先使用局部变量。
2.6 构造方法和代码块中的特殊情况
除了上述普遍规则外，构造方法和代码块中还藏着两个需要特别留意的规则。
其一是非静态代码块的执行时机：非静态代码块不属于任何方法，而是在每一次创建对象时自动执行一次，运行时机在对象实例变量初始化之后、构造方法执行之前。同理，静态代码块仅在类加载时执行一次，而不在对象创建时重复执行。
其二是初始化顺序：创建对象时，初始化按以下顺序进行：父类静态初始化与静态代码块先执行（且仅执行一次）→ 子类静态初始化与静态代码块（仅执行一次）→ 父类实例变量初始化 → 父类非静态代码块 → 父类构造方法 → 子类实例变量初始化 → 子类非静态代码块 → 子类构造方法。
了解这些顺序有助于判断实例变量何时被赋值、被赋值多少次，在多层次的复杂继承结构中尤其重要。
三、代码实现与逐行解释
3.1 完整代码
java
/**
* 变量作用域与生命周期综合示例
* 题型参考自Java经典面试题：成员变量与局部变量的区分[reference:16]
* 题目：计算最终obj1.i、obj1.j、obj1.s以及obj2.i、obj2.j、obj2.s的值
*/
public class Exam {
// ———- 静态变量（类作用域，属于类本身）———-
// 静态变量s属于类，所有对象共享同一个副本，存储在方法区
// 默认值为0（int类型的默认值）
static int s;
// ———- 实例变量（实例作用域，属于具体对象）———-
// 实例变量i和j属于每个对象实例，各自独立存储，存储在堆内存
// 每创建一个对象，都会分配新的i和j内存空间，默认值为0
int i;
int j;
// ———- 非静态代码块 ———-
// 每次创建对象时，非静态代码块都会自动执行一次
// 执行时机：在实例变量默认初始化之后、构造方法执行之前[reference:17]
{
// 在代码块内部定义局部变量i（此时与实例变量i重名）
// 就近原则：这里的i引用的是代码块内定义的局部变量，不是实例变量i
int i = 1;
// 执行i++：操作的是代码块内部的局部变量i，从1变为2
// 这个操作不影响实例变量i，局部变量i在代码块结束后就被销毁
i++;
// 执行j++：由于当前作用域中没有同名的局部变量j，
// 因此按照就近原则向上查找，j指向实例变量j
// 实例变量j从0变为1
j++;
// 执行s++：静态变量s属于类，无论哪个对象操作它，都影响同一个s
// 静态变量s从0变为1
s++;
}
// ———- 带参方法 ———-
/**
* 测试方法，接收一个int类型的参数j
* @param j 方法参数（局部变量）
*/
public void test(int j) {
// 方法参数j：形参属于局部变量，作用域在整个test方法内部
// 就近原则：这里的j引用的是方法参数j，不是实例变量j
// j++：方法参数j的值增加1（将传入的参数值加1后再丢弃，不做返回）
// 注意：这个操作改变的是形参j本身，不影响实例变量j
j++;
// 执行i++：当前作用域中没有同名的局部变量i，
// 因此i指向实例变量i（属于当前对象）
// 实例变量i增加1
i++;
// 执行s++：静态变量s，所有对象共享
s++;
}
public static void main(String[] args) {
// 创建第一个Exam对象obj1，在堆内存中分配空间，存储obj1的i和j（默认值为0）
// 对象创建时，非静态代码块自动执行一次：
// – 局部变量i=1，i++后变为2（该变量随后立即销毁）
// – 实例变量j从0变为1
// – 静态变量s从0变为1
Exam obj1 = new Exam();
// 创建第二个Exam对象obj2，同样会触发非静态代码块执行一次：
// – 局部变量i=1，i++后变为2（随后销毁）
// – 实例变量j从0变为1（obj2有自己的j副本）
// – 静态变量s从1变为2（注意：s是共享的）
Exam obj2 = new Exam();
// 第一次调用obj1.test(10)：传入参数10
// – 方法参数j接收10，j++使其变为11（参数被修改但调用方看不到）
// – i++使obj1的实例变量i从0变为1
// – s++使静态变量s从2变为3
obj1.test(10);
// 第二次调用obj1.test(20)：传入参数20
// – 方法参数j接收20，j++变为21
// – i++使obj1的实例变量i从1变为2
// – s++使静态变量s从3变为4
obj1.test(20);
// 调用obj2.test(30)：传入参数30
// – 方法参数j接收30，j++变为31
// – i++使obj2的实例变量i从0变为1
// – s++使静态变量s从4变为5
obj2.test(30);
// 输出obj1的实例变量值
// – obj1.i：初始0，经过两次test调用中的i++操作（每调用一次加1），变为2
// – obj1.j：初始0，在创建对象时的代码块中j++一次，变为1
// – obj1.s：静态变量s，整个过程中共执行了以下s++操作：
// 创建obj1时代码块：1次 → s=1
// 创建obj2时代码块：1次 → s=2
// obj1.test(10)：1次 → s=3
// obj1.test(20)：1次 → s=4
// obj2.test(30)：1次 → s=5
// 总计5次，s从0变为5
System.out.println(obj1.i + "," + obj1.j + "," + obj1.s);
// 输出结果：2,1,5
// 输出obj2的实例变量值
// – obj2.i：初始0，只经过一次test调用中的i++操作（obj2.test(30)），变为1
// – obj2.j：初始0，在创建对象时的代码块中j++一次，变为1
// – obj2.s：静态变量s所有对象共享，仍然是5
System.out.println(obj2.i + "," + obj2.j + "," + obj2.s);
// 输出结果：1,1,5
}
}
运行结果：
text
2,1,5
1,1,5
四、总结
成员变量与局部变量的核心区别
-
声明位置不同：成员变量定义在类中方法外部（分为实例变量和静态变量），局部变量定义在方法体、形参或代码块中
-
初始值不同：成员变量有默认初始值，局部变量必须手动赋值后才能使用
-
修饰符不同：成员变量可以使用public、private、protected、static、final等多种修饰符，局部变量只能使用final修饰符，其他修饰符一概不能使用
-
存储位置不同：实例变量存储在堆内存，静态变量存储在方法区（JDK 8后称为元空间），局部变量存储在栈内存中
静态变量与实例变量的核心区别
-
归属不同：静态变量属于类本身（所有对象共享），实例变量属于具体的对象实例（每个对象独立持有）
-
生命周期不同：静态变量在类加载时被分配内存，随类的卸载而消亡；实例变量在对象创建时被分配内存，随对象的销毁而消亡
-
访问方式不同：静态变量可通过“类名.变量名”直接访问，实例变量必须通过“对象名.变量名”才能访问
作用域与生命周期的核心差异
-
作用域范围差异：静态变量的作用域为整个类（所有对象共享且可通过类名或对象名访问）；实例变量的作用域限定在类的某个对象实例内部；局部变量的作用域仅限其声明的代码块，出了该代码块便立即失效
-
生命周期长短差异：静态变量最长（随类加载而生成，随类卸载而销毁）；实例变量次之（随对象生成而生成，随对象回收而销毁）；局部变量最短（随代码块开始执行而生成，随代码块结束而销毁）
变量命名与访问的关键规则
-
就近原则：当局部变量与成员变量重名时，优先使用局部变量，只有在成员变量被明确用this.或类名.标识后才能绕开就近原则
-
同一作用域内禁止重名：在同一个代码块或方法内部，不能定义两个同名的局部变量
-
this的作用：仅用于访问被局部变量遮蔽的实例变量，无法用于指向静态变量。访问被遮蔽的静态变量时需使用类名.变量名
变量使用的核心原则
-
能用局部变量尽量用局部变量，可以提高程序的性能和可读性
-
需要共享数据时使用静态变量，需要记录对象特有状态时使用实例变量
-
合理利用作用域的限制，可以避免命名冲突、减少内存占用，并提高代码的安全性和可读性
-
理解变量在栈、堆、方法区中的存储位置，有助于分析程序的内存占用和潜在的内存泄漏风险
五、更多练习题目推荐
以下是可以直接访问的Java变量作用域与生命周期相关练习题：
https://blog.csdn.net/2302_80314137/article/details/136279967
https://developer.aliyun.com/article/1066890
https://blog.csdn.net/weixin_73602725/article/details/132326192
https://blog.csdn.net/weixin_45179345/article/details/114284201
https://blog.csdn.net/qq_1846311374/article/details/149280316
https://blog.csdn.net/Alex_cf/article/details/128198996
https://www.nowcoder.com/practice/2e5e331d9cfc4010b9a5cf0faa2de3c9
练习建议：可以尝试修改上面的代码示例，在类中增加静态代码块和非静态代码块，观察它们与变量之间的执行顺序。也可以创建不同对象的副本，对比实例变量和静态变量在多次操作后的不同结果。还可以设计一个三层继承的类结构，体会父子类之间的初始化顺序如何影响成员变量的最终取值。
