Java中防止对象隐私泄露的策略：防御性复制与不可变类设计

// 假设 Date 类是可变的，并且有一个 setDay 方法
public class Date {
    private int month;
    private int day;
    private int year;

    public Date(int month, int day, int year) {
        // 原始代码中的验证逻辑，将在后续章节进行优化
        if(day < 1 || day > 31){
            System.out.println("invalid day: " + day);
            System.exit(0);
        }else if(month < 1 || month > 12){
            System.out.println("invalid month: " + month);
            System.exit(0);
        }else if(year < 2014 || year > 2024){
            System.out.println("invalid year: " + year);
            System.exit(0);
        }
        this.month = month;
        this.day = day;
        this.year = year;
    }

    public void setDay(int day) {
        // 原始代码中的验证逻辑
        if (day >= 1 && day <= 31) { // 注意原始代码的逻辑错误，这里已修正
           this.day = day;
        }
    }

    public int getDay() {
        return day;
    }
    // ... 其他 getter/setter
}

public class Order {
    private Date orderDate;
    // ... 其他字段 (如 Money, String 等)

    public Order(Date orderDate) {
        this.orderDate = orderDate; // 直接引用赋值，存在泄露风险
    }

    public Date getOrderDate() {
        return orderDate; // 直接返回内部引用，存在泄露风险
    }
    // ...
}

import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertEquals;

public class OrderTest {
    @Test
    public void OrderDatePrivacyLeaks() {
        Date d = new Date(6, 12, 2017); // 创建一个日期对象
        // 假设 Order 构造函数接收 Date 和 Money 对象
        // Order b = new Order(new Money(2,33), d, "ACME Company", "widget");
        Order b = new Order(d); // Order 内部持有对 d 的引用
        d.setDay(10); // 外部修改 d 的日期
        Date billDate = b.getOrderDate(); // 获取 Order 内部的日期
        assertEquals(12, billDate.getDay()); // 预期 12，实际 10，测试失败
    }
}

public class Date {
    private int month;
    private int day;
    private int year;

    // 原始构造函数
    public Date(int month, int day, int year) {
        validateDate(month, day, year); // 提取验证逻辑
        this.month = month;
        this.day = day;
        this.year = year;
    }

    // 复制构造函数
    public Date(Date otherDate) {
        // 调用原始构造函数进行验证和初始化
        this(otherDate.month, otherDate.day, otherDate.year);
    }

    public void setDay(int day) {
        if (day < 1 || day