Java 자바 불변 객체(Immutable Object) 개념 정리

불변 객체란?

불변 객체(Immutable Object)는 생성된 이후 그 상태를 변경할 수 없는 객체를 의미합니다. 불변 객체는 데이터가 한 번 초기화되면 절대 변하지 않는다는 특징을 갖고 있습니다. 이로 인해 불변 객체는 프로그램의 예측 가능성을 높이고, 특히 멀티스레드 환경에서의 동기화 문제를 최소화하는 데 유용합니다.

불변 객체의 특징

상태 불변성 (State Immutability)
- 불변 객체의 가장 중요한 특징은 생성된 이후 그 상태가 절대 변하지 않는다는 점입니다. 모든 필드는 초기화된 이후 변경될 수 없으며, 객체의 상태는 항상 일정하게 유지됩니다.
클래스 선언의 final 키워드 사용
- 불변 객체를 구현할 때 클래스는 final로 선언되어야 합니다. 이는 상속을 통해 객체의 불변성이 깨지는 것을 방지하기 위한 조치입니다.
모든 필드의 private 및 final 선언
- 객체의 모든 필드는 private로 선언되어 외부에서 접근할 수 없도록 하고, final로 선언되어 한 번 초기화된 이후에는 재할당할 수 없도록 합니다. 이는 객체의 상태가 외부 요인에 의해 변경되는 것을 방지합니다.
생성자를 통한 모든 필드 초기화
- 불변 객체는 생성자를 통해 모든 필드를 초기화합니다. 생성자 외부에서는 필드를 초기화하거나 변경할 수 없으며, 이는 객체의 상태가 한 번 설정된 이후에는 변경되지 않음을 보장합니다.
변경자 메소드(setter) 제공 금지
- 불변 객체는 필드 값을 변경할 수 있는 설정자 메소드를 제공하지 않습니다. 오직 접근자 메소드(getter)만 제공하여 필드 값을 읽을 수 있습니다.
객체의 참조 투명성 (Referential Transparency)
- 참조 투명성은 동일한 입력에 대해 항상 동일한 출력을 보장하는 속성입니다. 불변 객체는 참조 투명성을 가지므로 동일한 객체는 동일한 상태를 계속 유지합니다. 이는 예측 가능한 동작을 보장하여 코드의 안정성을 높입니다.
가변 객체를 포함할 경우 불변성 유지
- 불변 객체가 가변 객체를 포함할 경우, 해당 가변 객체의 참조를 직접 반환하지 않고 복사본을 반환하거나 불변 객체로 감싸서 반환합니다. 이는 포함된 가변 객체가 외부에서 변경되는 것을 방지합니다.

불변 객체의 장점

1. 스레드 안전성 (Thread Safety)

불변 객체는 상태가 변하지 않기 때문에 여러 스레드에서 동시에 접근해도 안전합니다. 이는 동기화(synchronization)가 필요 없다는 것을 의미합니다.

데드락 회피: 동기화 블록이 없으므로 데드락 상황을 피할 수 있습니다.
레이스 컨디션 회피: 여러 스레드가 동시에 객체에 접근해도 객체 상태가 변경되지 않으므로 레이스 컨디션이 발생하지 않습니다.
성능 향상: 동기화 오버헤드가 없기 때문에 성능이 향상됩니다.

2. 예측 가능한 동작 (Predictable Behavior)

불변 객체는 한 번 생성되면 그 상태가 절대 변하지 않으므로, 코드의 동작을 예측하기 쉽습니다.

디버깅 용이성: 객체 상태가 변하지 않기 때문에 버그를 추적하기 쉽습니다.
유지보수 용이성: 상태 변경에 따른 부작용을 걱정할 필요가 없어 유지보수가 용이합니다.
코드 가독성 향상: 불변 객체는 상태 변화를 추적할 필요가 없어 코드가 단순해지고 가독성이 향상됩니다.

3. 안전한 공유 (Safe Sharing)

불변 객체는 상태가 변하지 않으므로 여러 컴포넌트나 스레드 간에 안전하게 공유할 수 있습니다.

데이터 일관성 유지: 동일한 객체를 여러 곳에서 참조해도 상태가 변경되지 않으므로 데이터 일관성이 유지됩니다.
메모리 사용 최적화: 동일한 객체를 여러 곳에서 재사용할 수 있어 메모리 사용이 최적화됩니다.

4. 데이터 무결성 유지 (Data Integrity)

불변 객체는 외부로부터 상태가 변경될 수 없기 때문에 데이터 무결성을 보장합니다.

불변성 보장: 데이터가 변경되지 않으므로 데이터의 무결성이 보장됩니다.
보안 향상: 객체 상태가 변경될 수 없기 때문에 의도치 않은 변경이나 공격에 대해 안전합니다.

5. 간편한 캐싱 (Easy Caching)

불변 객체는 상태가 변하지 않으므로 캐싱하기에 적합합니다.

효율적인 메모리 사용: 동일한 객체를 여러 번 생성하는 대신 캐싱된 객체를 재사용할 수 있어 메모리 사용이 최적화됩니다.
성능 향상: 캐싱을 통해 객체 생성 비용을 절감할 수 있어 성능이 향상됩니다.

6. 함수형 프로그래밍과의 적합성 (Suitability for Functional Programming)

불변 객체는 함수형 프로그래밍 패러다임에 잘 맞습니다.

참조 투명성: 동일한 입력에 대해 항상 동일한 출력을 보장하는 참조 투명성을 유지할 수 있습니다.
순수 함수 작성 용이: 불변 객체를 사용하면 부작용 없는 순수 함수를 작성하기 쉽습니다.

7. 복사 생성자의 필요성 감소 (Reduced Need for Defensive Copies)

불변 객체는 상태가 변하지 않으므로 방어적 복사(defensive copy)를 할 필요가 없습니다.

성능 향상: 불필요한 복사 작업이 줄어들어 성능이 향상됩니다.
메모리 사용 최적화: 복사본을 생성하지 않으므로 메모리 사용이 최적화됩니다.

8. 테스트 용이성 (Ease of Testing)

불변 객체는 상태가 변하지 않으므로 테스트가 용이합니다.

예측 가능한 테스트 결과: 객체 상태가 변경되지 않으므로 테스트 결과가 예측 가능합니다.
테스트 단순화: 객체 상태를 설정하고 변경할 필요가 없어 테스트가 단순화됩니다.

불변 객체와 가변 객체의 차이점

불변 객체와 가변 객체는 객체 지향 프로그래밍에서 중요한 개념으로, 각각의 특성과 용도에 따라 적절히 사용됩니다. 두 종류의 객체는 상태 변경 가능 여부에서 큰 차이를 보이며, 이러한 차이점은 다양한 프로그래밍 상황에서 중요한 영향을 미칩니다.

1. 상태 변경 가능 여부

불변 객체
- 생성된 이후 상태가 변경되지 않습니다. 모든 필드는 초기화된 후 재할당될 수 없습니다.
- 예를 들어, 불변 객체는 생성 시점에 설정된 속성을 이후에 변경할 수 없습니다.
가변 객체
- 생성된 이후에도 상태가 변경될 수 있습니다. 필드 값을 변경할 수 있는 설정자 메소드(setter)를 통해 상태를 바꿀 수 있습니다.
- 예를 들어, 가변 객체는 생성된 후에도 필드 값을 자유롭게 변경할 수 있습니다.

2. 동기화 필요성

불변 객체
- 상태가 변경되지 않으므로 여러 스레드에서 동시에 접근해도 안전합니다. 동기화(synchronization)가 필요 없습니다.
- 이는 동시성 문제(예: 데드락, 레이스 컨디션)를 방지하고, 멀티스레드 환경에서 안전하게 사용할 수 있게 합니다.
가변 객체
- 상태가 변경될 수 있으므로 여러 스레드에서 동시에 접근할 경우 동기화가 필요합니다.
- 동기화 메커니즘을 사용하지 않으면 상태 불일치나 데이터 경합이 발생할 수 있습니다.

3. 참조 투명성

불변 객체
- 참조 투명성을 가집니다. 동일한 입력에 대해 항상 동일한 출력을 보장합니다.
- 이는 함수형 프로그래밍에서 중요한 속성으로, 부작용 없는 순수 함수를 작성하는 데 유용합니다.
가변 객체
- 참조 투명성을 보장하지 않습니다. 객체의 상태가 변할 수 있기 때문에 동일한 입력에 대해 항상 동일한 출력을 보장하지 않습니다.
- 이는 프로그램의 예측 가능성을 낮추고, 디버깅과 유지보수를 어렵게 할 수 있습니다.

4. 데이터 무결성

불변 객체
- 외부로부터 상태가 변경될 수 없기 때문에 데이터 무결성을 유지할 수 있습니다.
- 이는 데이터가 예기치 않게 변경되는 것을 방지하여 안정성을 높입니다.
가변 객체
- 외부에서 상태를 변경할 수 있으므로 데이터 무결성이 깨질 수 있습니다.
- 이는 데이터를 보호하기 위해 추가적인 방어적 프로그래밍(defensive programming)이 필요합니다.

5. 캐싱과 재사용

불변 객체
- 상태가 변하지 않으므로 캐싱하기에 적합합니다. 동일한 객체를 여러 곳에서 안전하게 재사용할 수 있습니다.
- 이는 메모리 사용을 최적화하고 성능을 향상시킬 수 있습니다.
가변 객체
- 상태가 변할 수 있기 때문에 캐싱이나 재사용이 어렵습니다. 캐싱할 경우 상태 변화에 대한 관리가 필요합니다.
- 이는 메모리 사용과 성능 최적화에 추가적인 복잡성을 가져올 수 있습니다.

6. 설계의 단순성

불변 객체
- 상태 변경을 고려할 필요가 없으므로 설계가 단순해집니다. 객체의 생명 주기 동안 상태가 고정되어 있으므로 예측 가능하고 일관된 동작을 보장합니다.
- 이는 코드 가독성을 높이고, 유지보수와 디버깅을 용이하게 합니다.
가변 객체
- 상태 변경을 고려해야 하므로 설계가 복잡해질 수 있습니다. 객체의 상태 변화에 따른 부작용을 관리해야 합니다.
- 이는 코드의 복잡성을 높이고, 유지보수와 디버깅을 어렵게 할 수 있습니다.

7. 안전한 공유와 협력

불변 객체
- 상태가 변하지 않으므로 여러 컴포넌트나 스레드 간에 안전하게 공유할 수 있습니다. 동기화 메커니즘 없이 안전한 협력이 가능합니다.
- 이는 시스템의 안정성을 높이고, 복잡한 동기화 문제를 회피할 수 있습니다.
가변 객체
- 상태가 변할 수 있으므로 여러 컴포넌트나 스레드 간에 공유할 때 주의가 필요합니다. 동기화 없이 공유할 경우 데이터 불일치가 발생할 수 있습니다.
- 이는 동기화 비용을 증가시키고, 시스템의 복잡성을 높입니다.

8. 성능과 메모리 사용

불변 객체
- 생성된 이후 변경되지 않으므로, 불변 객체를 다수 생성하는 경우 메모리 사용이 증가할 수 있습니다. 그러나 캐싱을 통해 이를 완화할 수 있습니다.
- 상태 변경 시마다 새로운 객체를 생성해야 하므로, 성능 저하가 발생할 수 있습니다. 이는 특히 대량의 데이터 처리 시 문제가 될 수 있습니다.
가변 객체
- 상태 변경이 가능하므로, 같은 객체를 반복해서 사용하여 메모리 사용을 절약할 수 있습니다.
- 그러나 상태 관리와 동기화 비용이 증가할 수 있습니다. 성능 최적화를 위해서는 신중한 설계가 필요합니다.

불변 객체의 예제

불변 객체 구현의 주요 원칙

클래스를 final로 선언하여 상속을 방지합니다.
모든 필드를 private과 final로 선언하여 외부에서 접근할 수 없고, 초기화 후 변경할 수 없도록 합니다.
필드를 초기화하는 생성자를 제공하고, 객체 생성 이후에는 상태를 변경할 수 있는 방법을 제공하지 않습니다.

Java

public final class Person {
    private final String name;
    private final int age;

    // 생성자
    public Person(String name, int age) {
        this.name = name;
        this.age = age;
    }

    // 접근자 메소드 (getter)
    public String getName() {
        return name;
    }

    public int getAge() {
        return age;
    }
}