[!info] 关联笔记

• 所属 MOC：类型系统与 OOP · 学习路线
• 前置概念：类与对象 · 变量与作用域
• 后续概念：继承与多态 · Record
• 容易混淆：方法重载 · static 初始化

Java 字段、构造器与 this

这个概念为什么出现

对象不能“先半初始化再靠运气补字段”。构造器规定合法对象如何出生；this 区分字段与参数，并支持构造器链式委托。初始化顺序错误会导致读到默认值或泄漏未完成对象。

[!abstract] 一句话理解 字段保存实例状态；构造器在创建时建立不变量；this 指向当前实例，用于消解遮蔽与构造器重载委托。

最小可运行示例

场景：创建用户账户时强制邮箱非空，并支持默认等级

public class UserAccount {
    private final String email;
    private final int level;

    // 主构造：建立不变量。
    public UserAccount(String email, int level) {
        // this.email 是字段；email 是参数（遮蔽）
        if (email == null || email.isBlank()) {
            throw new IllegalArgumentException("email required");
        }
        if (level < 1) {
            throw new IllegalArgumentException("level < 1");
        }
        this.email = email.trim();
        this.level = level;
    }

    // 委托构造：默认 level=1
    public UserAccount(String email) {
        this(email, 1); // 必须先调用 this(...)
    }

    public String email() { return email; }
    public int level() { return level; }

    public static void main(String[] args) {
        UserAccount u = new UserAccount(" a@b.com ");
        System.out.println(u.email() + " L" + u.level());
    }
}

建议运行：

javac UserAccount.java && java UserAccount

期望输出：

a@b.com L1

结合场景再看三个关注点

1. 非法参数在构造期失败，不要造出半残对象。
2. this(...) 必须是构造器第一条有效语句。
3. final 字段强制构造完成前赋值。

核心概念与准确模型

1. 字段初始化顺序（实例，简化）

1. 父类构造完成（继承时）
2. 实例字段默认值
3. 实例初始化器与字段右值初始化（按文本顺序）
4. 构造器其余语句

2. 构造器重载与委托

• 多个构造器表达不同创建入口
• this(...) 复用主构造，避免逻辑分叉

3. 默认构造器

• 若类未声明任何构造器，编译器提供无参默认构造（可访问性随类）
• 一旦声明构造器，默认无参不再自动生成

4. static 字段与静态初始化块

• 类初始化时执行，线程安全语义由 JVM 类初始化保证（细节见运行时）
• 慎放重 IO

边界情况与反直觉行为

1. 构造器中调用可覆盖方法 → 子类字段可能尚未初始化（危险）。
2. 赋值 email=email 漏 this → 给参数自己赋值，字段仍默认。
3. 多参构造爆炸 → 建造者/工厂/Record 等模式。

常见误区

[!warning] 常见误区：先 new 再靠 setter 填必填字段 必填不变量应在构造/工厂完成；否则对象在中间状态被别处使用。

工程实践

1. 必填项进构造器，可选项用重载/建造者。
2. 字段最小化可见性（private）。
3. 初始化失败抛明确异常。
4. 依赖注入框架仍要理解“对象如何合法出生”。

本节总结

• 构造器是不变量的关卡
• this 处理遮蔽与委托
• 初始化顺序影响正确性与继承安全

自测题

1. 为什么构造器里调用可覆盖实例方法危险？
2. final 字段能否在声明与构造器都不赋值？

参考答案

1. 子类覆盖方法可能读到尚未初始化的子类字段。
2. 不能；必须在声明、初始化块或构造器中明确赋值。

延伸阅读与资料来源

资料	类型	支撑内容
JLS Constructor Declarations	规范	构造器
Initializing Fields (Oracle Tutorial)	教程	初始化