Ch09. 값 타입 - 값 타입과 불변 객체

값 타입은 복잡한 객체 세상을 조금이라도 단순화하려고 만든 개념이다.

따라서 값 타입은 단순하고 안전하게 다룰 수 있어야 한다

값 타입 공유 참조

같은 city를 바라본다.

사이드 임펙트 발생

의도치 않은 member2가 변경된다.

• 임베디드 타입 같은 값 타입을 여러 엔티티에서 공유하면 위험함
• 부작용(side effect) 발생
• 만약 이렇게 의도해서 쓴 것이라면 값 타입을 쓰면 안 되고 엔티티를 사용해야 한다.

값 타입 복사

값타입 복사

 

Test - 복사해서 사용

실행 결과 - member2는 변경 없다.

• 값 타입의 실제 인스턴스인 값을 공유하는 것은 위험
• 대신 값(인스턴스)을 복사해서 사용

객체 타입의 한계

객체 타입 문제

• 항상 값을 복사해서 사용하면 공유 참조로 인해 발생하는 부작용을 피할 수 있다. 
• 문제는 임베디드 타입처럼 직접 정의한 값 타입은 자바의 기본 타입이 아니라 객체 타입이다.
• 자바 기본 타입에 값을 대입하면 값을 복사한다.
• 객체 타입은 참조 값을 직접 대입하는 것을 막을 방법이 없다.
• 객체의 공유 참조는 피할 수 없다

불변 객체

Test

• 객체 타입을 수정할 수 없게 만들면 부작용을 원천 차단
• 값 타입은 불변 객체(immutable object)로 설계해야 함
• 불변 객체: 생성 시점 이후 절대 값을 변경할 수 없는 객체 
• 생성자로만 값을 설정하고 수정자(Setter)를 만들지 않으면 됨
  • 수정자를 지운 뒤에 값을 변경하고 싶으면 다시 새로 생성해서 대입해야 한다.

• 참고: Integer, String은 자바가 제공하는 대표적인 불변 객체