Java变量遮蔽及this、super用法详解

本文深入解析了Java中容易被忽视却极易引发Bug的“变量遮蔽”现象——当子类定义同名实例变量，或方法/构造器中参数与成员变量重名时，编译器会静态绑定到最近作用域的变量，导致意外赋值或访问错误；文章清晰对比了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()
• 因此，避免在子类中遮蔽父类变量，更不要依赖遮蔽实现“多态变量”

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于文章的相关知识，也可关注golang学习网公众号。