Как обеспечить неизменяемость объекта с изменяемыми полями (например, Date)?

Некоторые типы, например Date, являются изменяемыми, но их можно безопасно использовать внутри неизменяемых объектов.

Основные принципы неизменяемости

Неизменяемый объект:

• не имеет сеттеров

• все поля final

• состояние задается только в конструкторе

Но этого недостаточно для изменяемых полей.

Защитное копирование

Защитное копирование — это создание копии изменяемого объекта при:

• присваивании

• возврате наружу

Пример:

class User {
    private final Date birthDate;

    public User(Date birthDate) {
        this.birthDate = new Date(birthDate.getTime());
    }

    public Date getBirthDate() {
        return new Date(birthDate.getTime());
    }
}

В этом примере:

• внешние изменения Date не влияют на объект

• внутреннее состояние защищено

Альтернативные подходы

• использовать неизменяемые типы (LocalDate)

• оборачивать коллекции в unmodifiable

• избегать передачи ссылок наружу

Почему это важно

Без защитного копирования:

• объект формально выглядит неизменяемым

• но его состояние можно изменить извне

• контракт неизменяемости нарушается

Вывод: неизменяемость достигается не запретом сеттеров, а контролем доступа к изменяемым данным.