Java变量遮蔽与this、super使用详解

本文深入解析了Java中容易被忽视却至关重要的“变量遮蔽”现象——当子类定义同名成员变量，或方法/构造器中参数与成员变量重名时，会静态覆盖（而非动态多态）父类或当前类的字段；此时必须借助this明确访问本对象成员、super精准获取父类被遮蔽的变量，尤其在构造器初始化和继承场景中稍有不慎就会导致字段未赋值或逻辑错乱；文章还清晰对比了变量遮蔽（编译期静态绑定）与方法重写（运行期动态绑定）的本质差异，并给出命名规范、使用边界及典型陷阱的实战指导，帮你避开隐蔽坑点，写出更健壮、可读、符合面向对象原则的Java代码。

当子类中定义了与父类同名的变量，或者方法内部定义了与成员变量同名的参数/局部变量时，就发生了“变量遮蔽”（Variable Shadowing）。此时若想明确访问被遮蔽的成员变量，需借助 this（当前对象的成员）或 super（父类继承来的成员）关键字。

成员变量被形参遮蔽时用 this

构造器或方法中，常将参数名设为与成员变量一致（如 name），便于理解但会遮蔽成员变量。不加 this 会导致赋值操作作用于参数自身，而非对象字段。

class Person {
    private String name;
    public Person(String name) {
        name = name; // ❌ 错误：形参赋给自己，成员变量未被初始化
    }
}

正确写法是用 this.name 明确指向当前对象的成员变量：

• this.name = name; —— 将形参值赋给当前对象的 name 字段
• this 只能用于非静态上下文（实例方法、构造器），静态方法中不可用
• 即使没有遮蔽，加 this 也能提升可读性，尤其在复杂类中

子类变量遮蔽父类同名变量时用 super

若子类声明了与父类同名的实例变量（不推荐但合法），则子类对象中实际存在两个同名变量：一个来自父类（可通过 super 访问），一个属于子类自身（默认访问）。

class Animal { String kind = "animal"; }
class Dog extends Animal {
    String kind = "dog"; // 遮蔽父类 kind
    void show() {
        System.out.println(kind);        // 输出 "dog"
        System.out.println(this.kind);   // 输出 "dog"（等价）
        System.out.println(super.kind);  // 输出 "animal"
    }
}

• super.kind 强制访问父类中被遮蔽的变量，仅适用于继承关系中的实例变量
• super 不能用于静态变量（应直接用 父类名.静态变量）
• 遮蔽变量易引发混淆，建议通过命名区分（如父类用 baseKind，子类用 specificKind）

this 与 super 在构造器中的特殊规则

构造器中若需调用本类其他构造器或父类构造器，this(...) 或 super(...) 必须作为第一条语句出现，且二者不可共存。

• this(...) 调用本类重载构造器，用于代码复用（如统一初始化逻辑）
• super(...) 调用父类构造器，确保父类部分被正确初始化
• 若未显式写出 super()，编译器自动插入无参 super()；若父类无无参构造器，必须显式调用 super(...)

遮蔽 vs 重写：别混淆变量和方法

变量遮蔽（field shadowing）和方法重写（method overriding）机制不同：前者是静态绑定（编译期决定访问哪个变量），后者是动态绑定（运行期根据实际类型调用）。

• 多态下，调用的是子类重写的方法，但访问的是引用类型声明处的变量（不是实际对象类型）
• 例如：Animal a = new Dog(); a.kind 取的是 Animal.kind，而 a.speak() 执行的是 Dog.speak()
• 因此，避免在子类中遮蔽父类变量，更不要依赖遮蔽实现“多态变量”

以上就是《Java变量遮蔽与this、super使用详解》的详细内容，更多关于的资料请关注golang学习网公众号！