자식 생성자에 진입해도 첫 super 호출이 부모 부분을 완성한 뒤 자식 필드 초기화로 돌아옵니다.
자식 생성 진입
부모 생성 호출
공통 상태 확정
고유 필드 확정
완성 인스턴스
핵심: 부모 기본 생성자가 없다면 자식은 부모 불변식에 필요한 인수를 super(...)로 명시합니다.