메모리 할당
필드 기본값
생성은 할당과 검증과 필드 대입을 한 경계로 묶는다
new 표현식은 메모리를 확보한 뒤 생성자 검증과 초기화를 모두 통과해야 정상 참조를 반환합니다.
1 2 인수 전달
kim@example.com · 40
3 검증
email·age
4 필드 대입
this.email·age
5 참조 반환
유효 객체
핵심: 검증 실패 시 호출자에게 불완전한 객체 참조가 전달되지 않아 생성 직후 불변식이 성립합니다.
new 표현식은 메모리를 확보한 뒤 생성자 검증과 초기화를 모두 통과해야 정상 참조를 반환합니다.
필드 기본값
kim@example.com · 40
email·age
this.email·age
유효 객체
핵심: 검증 실패 시 호출자에게 불완전한 객체 참조가 전달되지 않아 생성 직후 불변식이 성립합니다.