값 타입과 불변 객체

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

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

 

값 타입 공유 참조

• 임베디드 타입 같은 값 타입을 여러 엔티티에서 공유하면 위험함
• 부작용(side effect) 발생

 try {
	Address address = new Address("city", "street", "10000");

    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("newCity");
            
    tx.commit();
}

member1과 member2는 같은 address를 공유하고 있다. 의도대로라면 member1의 주소를 newCity로 변경되기를 원했지만 member2의 주소도 newCity로 바뀌어져 있다. 이것을 부작용 즉 side effect라고 한다.

만약 member1과 member2를 동시에 바꾸는 로직을 원했다고 하더라도 이것은 잘못된 로직이며 Address를 Entity로 만드는 것이 올바른 방법이다.

 

값 타입 복사

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

Address address = new Address("city", "street", "10000");

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

Address copiedAddress = new Address(address.getCity(), address.getStreet(), address.getZipcode());

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

member1.getHomeAddress().setCity("newCity");

tx.commit();

 

객체 타입의 한계

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

객체 타입은 a와 b가 같은 address라는 인스턴스를 가르킨다. 따라서 b의 값을 바꿔버리는 순간 둘다 바뀌는 것이다.

 

 

불변 객체

• 객체 타입을 수정할 수 없게 만들면 부작용을 원천 차단
• 값 타입은 불변 객체(immutable object)로 설계해야함
• 불변 객체: 생성 시점 이후 절대 값을 변경할 수 없는 객체
• 생성자로만 값을 설정하고 수정자(Setter)를 만들지 않으면 됨
• 참고: Integer, String은 자바가 제공하는 대표적인 불변 객체

 

이론적인 해결방법

Address address = new Address("city", "street", "10000");

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

Address copiedAddress = new Address("newCity", address.getStreet(), address.getZipcode());
member1.setHomeAddress(copiedAddress);            

tx.commit();

통으로 갈아 끼워 원하는 값만 바꿔주는 것이 이론적인 방법이다. 

필요시 copy 매소드를 만드는 것도 하나의 방법이다.

 

Side Effect 발생 시 추적이 힘들기 때문에 값 타입은 무조건 불변으로 만들어야 한다.