java方法需防御性拷贝可变入参以防止状态污染，优先使用不可变类型，成员变量应私有只读，getter返回不可变视图，并配合注解与工具保障可靠性。
Java 方法入参本身无法被“修改引用”，但若传入的是可变对象（如 ArrayList、Date、自定义 POJO），方法内部或外部都可能无意中改变其状态，进而影响调用方或其他逻辑。真正要防的不是“参数被改”，而是“参数所指对象的状态被意外污染”。核心思路是：**不信任入参，主动隔离；不暴露可变引用，只操作副本或不可变视图。**
入参校验 + 防御性拷贝是第一道防线
方法拿到参数后，不能直接赋值给成员变量或缓存起来——尤其当参数是集合、日期、数组等可变类型时。
- 构造函数或 setter 中接收
List<string></string>？别直接this.tags = tags;，应写成this.tags = new ArrayList(tags); - 接收
Date或Calendar？立即做防御性拷贝：this.birthDate = new Date(date.getTime()); - 接收数组？用
Arrays.copyOf()或clone()创建新副本，避免共享底层数组
优先使用不可变类型作为入参契约
把“要求不可变”变成接口契约，比事后防御更可靠。
- 方法签名尽量用 JDK 不可变集合：如
void process(List<string> names)</string>→ 改为void process(List<string> names)</string>并在文档/注释中明确“需传入不可变列表”，或更进一步——只接受ImmutableList（Guava）或List.of()（Java 9+）创建的对象 - 对基础类型包装类（
Integer、String）天然安全，无需额外处理 - 自定义参数类建议设计为不可变类：
final类 +private final字段 + 构造器初始化 + 无 setter + 可变字段做防御性拷贝
返回值与内部存储也要配套防护
入参防护只是起点，如果方法内部把不可变入参转手存进可变字段，或通过 getter 暴露出去，前面的努力就白费了。
- 即使入参做了拷贝，成员变量仍需声明为
private final List<string></string>，并在 getter 中返回Collections.unmodifiableList(tags)或List.copyOf(tags)（Java 10+） - 避免返回原始数组、
Stream的底层容器、或任何可能被强转回可变类型的对象 - 若方法需返回处理结果，优先返回新对象（如
new Person(name, age)），而非修改原入参
配合编译期与运行期提示增强可靠性
光靠约定容易疏忽，可用工具辅助落地。
- 用
@NonNull（如 JetBrains 或 Checker Framework）标注非空入参，避免null引发的误判和 NPE - 静态分析工具（如 SpotBugs、ErrorProne）能检测常见防御性拷贝遗漏，例如“传递可变集合未拷贝”
- 单元测试中显式验证：传入一个会被外部修改的
ArrayList，检查方法执行后该列表是否仍可被修改 —— 若内部用了拷贝，外部修改就不该影响对象状态
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
