값 타입과 불변 객체

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

값 타입 공유 참조 - 부작용(side effect) 발생

• 임베디드 타입 같은 값 타입(Value Type)을 여러 엔티티에서 공유하면 위험하다!

• Address 인스턴스를 공유해서 사용하고 싶다면 임베디드 타입의 값 타입이 아니라 엔티티로 만들어서 사용해야 한다!

아래 코드는 하나의 Address 인스턴스를 member1과 member2가 함께 공유하고 있다. 이 때 member1의 Address 인스턴스 필드값을 변경하면 member2의 주소도 함께 변경되는 것을 알 수 있다!

Address address = new Address("seoul","Dong-il ro","10101");

Member member1 = new Member();
member1.setUsername("member1");
member1.setHomeAddress(address);
em.persist(member1);

Member member2 = new Member();
member2.setUsername("member2");
member2.setHomeAddress(address);
em.persist(member2);

member1.getHomeAddress().setCity("NEW YORK");

tx.commit();

값 타입 복사

항상 값을 복사해서 사용하면 공유 참조로 인해 발생하는 부작용 을 피할 수 있다. 값 타입의 실제 인스턴스인 값을 공유하는 것은 위험하기 때문에 새로운 객체를 인스턴스 값을 그대로 넣어주어 생성한다. 인스턴스를 복사해서 사용하는 것이다!

객체 타입의 한계

• 문제는 임베디드 타입처럼 직접 정의한 값 타입은 자바의 기본 타입이 아니라 객체 타입이다.

• 자바 기본 타입에 값을 대입하면 값을 복사

• 객체 타입은 참조 값을 직접 대입하는 것을 막을 방법이 없다!!! =>객체의 공유 참조는 피할 수 없다.

불변 객체

• 객체 타입을 수정할 수 없게 만들면 부작용을 원천 차단 가능

• 값 타입은 불변 객체(immutable object)로 설계해야한다! 불변 객체 : 생성 시점 이후 값을 변경할 수 없는 객체

• 생성자로만 값을 설정하고 수정자(setter)를 만들지 않으면 된다!

• ex) Integer, String 은 자바가 제공하는 대표적인 불변 객체다. Integer, String으로 생성하고 나면 값이 안 바뀌나?