생성자에서 final 필드를 채운 객체를 공유합니다. final 필드 가시성과 this escape·중첩 가변성은 어떻게 다른가요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

올바르게 생성된 final 필드는 Java 메모리 모델의 특별한 초기화 가시성 보장을 가질 수 있지만 생성자에서 this가 탈출하면 전제가 깨질 수 있습니다. 이후 가변 객체의 변경은 별도 동기화가 필요합니다.

생성 중 listener 등록·thread 시작·전역 저장을 피합니다. final 참조가 가리키는 목록을 외부가 바꾸지 못하게 방어 복사하고 일반 필드 게시와 혼동하지 않습니다.

이해가 드러나는 지점을 확인해 보세요.

올바르게 생성된 final 필드는 Java 메모리 모델의 특별한 초기화 가시성 보장을 가질 수 있지만 생성자에서 this가 탈출하면 전제가 깨질 수 있습니다. 이후 가변 객체의 변경은 별도 동기화가 필요합니다.
final 참조가 가리키는 목록을 외부가 바꾸지 못하게 방어 복사하고 일반 필드 게시와 혼동하지 않습니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: 올바르게 생성된 final 필드는 Java 메모리 모델의 특별한 초기화 가시성 보장을 가질 수 있지만 생성자에서 this가 탈출하면 전제가 깨질 수 있습니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.