要让 final 变量真正支撑线程安全的不可变 DTO，必须满足：final 字段在构造完成前初始化完毕、所有字段为 final 且类型不可变、构造过程无 this 逃逸和外部依赖；推荐优先使用 record。
要让 final 变量在多线程环境下真正支撑线程安全的不可变 DTO，关键不是“加了 final 就安全”，而是**配合正确的初始化时机、不可变结构设计和构造约束**。很多团队踩坑，是因为只把字段声明为 final，却允许对象内部状态被修改，或在构造过程中泄露 this 引用。
final 变量的初始化必须在构造完成前彻底结束
final 实例变量只能被赋值一次，且必须在对象构造完成前完成——否则编译报错。这是 JVM 层面的强制保障，也是线程安全的前提：一旦构造器正常退出，所有 final 字段对其他线程可见，且不会发生重排序（JMM 中的 final 语义保证）。
- ✅ 正确方式：在声明处直接初始化，或在每个构造方法中显式赋值（包括所有重载构造）
- ❌ 错误方式：延迟到 getter 中初始化、在 init() 方法里赋值、或通过 setter 修改（final 字段根本不能有 setter）
- ⚠️ 高危陷阱：在构造函数中启动新线程、注册监听器、调用可被子类重写的方法 —— 可能导致 this 引用逃逸，其他线程看到未初始化完的 final 字段（即使语法通过，语义已破坏）
DTO 字段必须全部 final + 不可变类型组合
仅字段是 final 远不足够。若字段是 ArrayList、HashMap 或自定义可变类，外部仍可通过引用修改内容，DTO 就不是真正不可变的。
- 基础类型（int、boolean 等）和 String：天然适合，String 本身是 final 类，内容不可变
- 集合类：必须用不可变包装，如 List.of()、Set.copyOf()、Map.ofEntries()（Java 10+），或 Collections.unmodifiableXXX()（注意后者运行时才检查，不如前者安全）
- 嵌套对象：如 Address address；address 类自身也必须是 final 类，且其所有字段均为 final + 不可变类型，形成递归不可变链
构造过程需封闭、无副作用、无外部依赖
一个线程安全的不可变 DTO，其构造逻辑必须是纯的、幂等的、不依赖外部可变状态。
- 避免在构造中读取共享可变变量（如 static List）、调用非 final 方法（可能被子类篡改）、或解析动态配置（除非该配置本身是不可变快照）
- 推荐使用 builder 模式封装构造逻辑，但 Builder 本身也应是 final 类，且 build() 方法返回前确保所有字段已用不可变方式组装完毕
- 示例片段：final List
tags = List.copyOf(inputTags); // inputTags 可能是可变列表，这里做防御性拷贝
配合 record（Java 14+）可大幅降低出错概率
如果 DTO 仅用于数据承载、无复杂行为，record 是更优选择：它自动将所有组件声明为 final、生成私有 final 字段、不可变访问器、不可变 toString/equals/hashCode，并禁止继承。
- record OrderId(String id, LocalDateTime createdAt) { } → id 和 createdAt 天然 final，且 record 类本身隐式 final
- record 不允许在 body 中添加可变字段或 setter，从语法层面封堵常见漏洞
- 注意：record 组件仍可为可变类型（如 record Person(List
phones)），所以依然要确保 phones 是不可变集合
