Java构造函数初始化与条件验证技巧

在Java构造函数中，应先对传入参数进行空值和有效性校验，再赋值给实例变量；若提前赋值再校验，会导致逻辑错误（如校验未初始化的`this.healthProvider`），且违背防御性编程原则。

在设计不可变或强约束的对象时，构造函数是确保对象状态合法的第一道防线。一个常见误区是：将实例变量的初始化语句写在参数校验之前，例如：

public Provider(String healthProvider) {
    this.healthProvider = healthProvider;  // ❌ 错误：过早赋值
    this.patients = new ArrayList<>();
    if (this.healthProvider == null) {      // ⚠️ 此时校验的是刚赋的值，但逻辑上应校验入参！
        throw new IllegalArgumentException(PROVIDER_NULL);
    }
    if (this.healthProvider.isBlank()) {
        throw new IllegalArgumentException(PROVIDER_ISBLANK);
    }
}

该写法虽能通过部分测试（因healthProvider已赋值），但存在严重问题：

• this.healthProvider 在校验前已被赋值，若校验失败抛出异常，对象虽未完全构建，但部分字段（如 this.patients）已非空，可能干扰调试或导致资源泄漏；
• 更关键的是，校验目标错位：if (this.healthProvider == null) 实际等价于 if (healthProvider == null)，但语义模糊、可读性差；若后续重构引入默认值或惰性初始化，此处逻辑极易失效。

✅ 正确做法是：先校验入参，再赋值，最后初始化依赖资源。标准模式如下：

public Provider(String healthProvider) {
    // Step 1: 校验传入参数（使用形参 healthProvider，而非 this.healthProvider）
    if (healthProvider == null) {
        throw new IllegalArgumentException(PROVIDER_NULL);
    }
    if (healthProvider.isBlank()) {
        throw new IllegalArgumentException(PROVIDER_ISBLANK);
    }

    // Step 2: 安全赋值
    this.healthProvider = healthProvider;

    // Step 3: 初始化内部状态（如集合、辅助对象等）
    this.patients = new ArrayList<>();
}

这种顺序具备三大优势：

• 语义清晰：校验逻辑直指输入源，避免歧义；
• 安全可靠：异常发生在任何字段被修改之前，保证对象处于“未构造”状态，符合构造函数原子性原则；
• 易于扩展：若后续需添加日志、监控或策略校验（如正则匹配、长度限制），均可无缝插入校验段。

⚠️ 额外提醒：

• 不要依赖 this.xxx 进行前置校验（除非该字段是静态常量或已由上级保证非空）；
• 对于 final 字段，必须在构造函数中显式初始化，且只能在所有校验通过后赋值；
• 使用 Objects.requireNonNull() 和 Objects.requireNonNullElse() 等工具方法可进一步精简校验代码，但核心顺序不可颠倒。

遵循“校验 → 赋值 → 初始化”这一黄金顺序，是编写健壮、可维护Java构造函数的关键实践。