스위프트 클래스 인스턴스가 생성 과정 동안 전체 상속 체인에 걸쳐 모든 저장 속성이 확정 초기화 상태에 도달할 때까지 접근할 수 없도록 보장하는 불변 조건은 무엇인가요?

질문에 대한 답변

스위프트의 초기화 모델은 모든 메모리가 초기화되기 전에 인스턴스 메서드나 속성에 접근하는 것이 세그멘테이션 오류나 보안 취약점을 초래할 수 있는 언어인 Objective-C와 같은 언어에서 일반적으로 발생하는 정의되지 않은 동작을 없애도록 설계되었습니다. 근본적인 문제는 클래스 계층에서 발생합니다: 서브클래스 객체는 자신의 저장 속성뿐만 아니라 모든 상속된 속성을 위한 메모리를 포함하며, 컴파일러는 모든 바이트가 유효할 때까지 이 메모리에 접근하는 코드를 방지해야 합니다. 이를 해결하기 위해 스위프트는 정적 분석을 통해 확정 초기화(DI) 불변 조건을 강제하며, 객체가 두 단계 초기화 과정의 1단계가 완료될 때까지 부분적으로 생성된 안전하지 않은 상태를 유지하도록 요구합니다. 1단계 동안, 초기화자는 현재 클래스가 도입한 모든 속성에 값을 할당하고 슈퍼클래스 초기화자로 위임해야 합니다; 이 단계가 완료된 후에야 self에 안전하게 접근하거나 사용할 수 있습니다.

class Vehicle {
    let wheelCount: Int
    init(wheels: Int) {
        self.wheelCount = wheels // Vehicle의 1단계 완료
    }
}

class Bicycle: Vehicle {
    let hasBell: Bool
    
    init(bell: Bool) {
        // 1단계: 자신의 속성 먼저 초기화
        self.hasBell = bell
        // 그런 다음 슈퍼클래스에 위임
        super.init(wheels: 2)
        // 1단계 완료: 전체 확정 초기화 달성
        
        // 2단계: self를 안전하게 사용함
        self.checkSafety()
    }
    
    func checkSafety() {
        print("바퀴가 \(wheelCount)인 자전거 \(hasBell ? "벨이 있음" : "벨이 없음")")
    }
}

실생활의 상황

의료 기록 애플리케이션을 개발하는 동안, 우리는 초기화 중 환자의 나이(슈퍼클래스 속성)를 기반으로 심각도 점수를 계산해야 하는 PatientRecord 슈퍼클래스와 ICUPatientRecord 서브클래스와 관련된 복잡한 시나리오에 직면했습니다. 초기 구현에서는 calculateSeverity()라는 도우미 메서드를 호출하려고 시도했으며, 이 메서드는 self.age에 접근하고 초기화하기 전에 super.init(age:)를 호출하려고 하였고, 이로 인해 서브클래스 초기화자가 상속된 메모리의 안전성을 보장하지 않았기 때문에 컴파일 오류가 발생했습니다. 이 제약 조건을 해결하기 위해 세 가지 개별 아키텍처 접근 방식을 평가했습니다.

한 가지 접근 방식은 심각도 점수를 암시적으로 언랩된 선택적(var severity: Int!)으로 선언하고 슈퍼클래스 초기화가 완료된 후 할당하도록 연기하는 것이었습니다. 비록 이것이 컴파일러를 만족시켰지만, 런타임에서 상당한 위험을 야기했습니다: 속성이 할당 전에 접근될 수 있어 크래시를 유발했고, 불변의 let 선언을 사용할 수 없게 되어 기록의 무결성 보장이 훼손되었습니다.

두 번째 전략은 임시 placeholder 객체를 생성하는 정적 팩토리 메서드를 사용하여 나이를 읽고 심각도를 오프라인에서 계산한 다음, 사전 계산된 값으로 실제 인스턴스를 구성하는 것이었습니다. 이것은 메모리 안전성을 보존했지만 상당한 보일러플레이트를 추가하고 초기화 흐름을 혼란스럽게 하여 코드베이스를 다른 팀원들이 유지보수하고 디버그하기 상당히 어렵게 만들었습니다.

선택한 솔루션은 초기화자를 나이를 매개변수로 받아들이고, 인스턴스 속성 대신 입력 매개변수에서 작동하는 순수 정적 함수로 심각도를 계산하고, 사전 계산된 값을 지정된 초기화자에 전달하도록 초기화자를 재구성하는 것이었습니다. 이 접근 방식은 severity가 let 상수가 될 수 있도록 하여 불변성을 유지하고, 두 단계 초기화 규칙을 엄격하게 준수하며, 컴파일러가 런타임이 아닌 빌드 시간에 안전성을 검증할 수 있도록 하였습니다. 결과적으로 나이와 심각도 간의 데이터 종속성을 명확하게 표현한 오류 없는 초기화 순서가 되었고, 스위프트의 정적 분석을 활용하여 회귀를 방지했습니다.

후보자들이 자주 놓치는 것

왜 컴파일러는 상속된 프로퍼티와 관계없는 것으로 보이는 서브클래스에서 정의된 메서드조차도 self에서 호출하는 것을 방지할까요?

컴파일러는 객체가 할당된 메모리로 존재하지만 슈퍼클래스 부분은 초기화되지 않은 원시 메모리로 남아있기 때문에 이 제약을 강제합니다. self에 대한 메서드 호출은 어디에서 정의되었든 상관없이 전체 객체 포인터를 받으며, 간접적인 방법으로 초기화되지 않은 슈퍼클래스 필드에 접근할 수 있어 메모리 안전성을 위반할 수 있습니다. 스위프트는 1단계 완료 전에 모든 self 사용을 안전하지 않은 것으로 취급하여 현재 클래스의 저장 속성에 대한 직접적인 할당만 허용합니다.

확정 초기화 분석은 weak 참조 속성과 unowned 참조 속성을 어떻게 처리하나요?

확정 초기화 검사기는 선택적 유형, 즉 암시적으로 Optional인 weak 변수를 포함하여 유효한 초기값으로 nil을 자동으로 주입하는 것으로 취급합니다. 따라서 weak 속성은 초기화자에서 명시적인 초기화가 필요하지 않습니다. 반대로, unowned 참조는 비 선택적이며 즉시 비-널 의미를 가정합니다; 따라서 초기화가 완료되기 전에 값을 할당해야 하며, 그렇지 않으면 강한 참조와 마찬가지로 컴파일러는 확정 초기화 오류를 발생시킵니다.

편의 초기화자와 지정 초기화자의 확정 초기화와 관련된 위임 규칙의 차이는 무엇인가요?

편의 초기화자는 지정 초기화자(self.init)를 호출하여 인스턴스 특정 작업을 수행하기 전에 위임해야 하는 보조 진입점 역할을 합니다. 그들은 지정 초기화자가 확정 초기화 요구 사항을 충족할 책임이 있기 때문에 저장 속성을 직접 초기화하는 것이 엄격히 금지됩니다. 이는 지정 초기화자가 상속된 초기화자로 위임하기 전에 자신의 클래스에 도입된 모든 속성을 초기화해야 하여 계층의 각 수준에서 객체가 유효하도록 하는 것과 대조적입니다.