답변.

질문의 역사:

초기화 목록은 C++에서 클래스 구성원의 올바른 초기화 및 최적화를 위해 도입되었습니다. 이는 C와 C++의 경험에 기인합니다: 상수 구성원 및 참조는 생성자 본체에서 초기화할 수 없고, 초기화 목록에서만 가능합니다.

문제:

초기화 목록 대신 생성자 본체에서 이러한 구성원을 초기화하려고 하면 컴파일 오류가 발생합니다. 또한 목록을 무시하면 구성원 객체에 대해 이중 초기화 호출이 발생하여 성능에 영향을 미치고, 특히 복잡한 생성자에서 문제가 발생할 수 있습니다.

해결책:

클래스의 구성원을 초기화 목록을 통해 선언하고 초기화하는 것이 최적입니다 — 특히 이것이 상수(const)나 참조(&)일 경우 더욱 그렇습니다. 초기화 목록은 생성자 본체가 실행되기 전에 구성원이 아직 구성될 때 사용됩니다.

코드 예제:

class Example {
    const int value;
    int& ref;
public:
    Example(int v, int& r) : value(v), ref(r) { /* 생성자 본체 */ }
};

주요 특징:

• 초기화 목록만이 const 구성원 및 참조에 대한 값을 설정할 수 있습니다.
• 생성자 본체에서의 초기화는 할당(구성화가 아님)이므로 const 및 참조에 대해 불가능합니다.
• 구성원 초기화의 순서는 항상 클래스에서 선언된 순서에 따르며, 초기화 목록의 순서와는 무관합니다.

허를 찌르는 질문.

클래스 구성원의 순서와 초기화 목록에서의 초기화 순서를 바꾸면 어떻게 되나요?

초기화는 항상 클래스에서 구성원이 선언된 순서로 진행되며, 초기화 목록에서 작성된 순서와는 무관합니다. 의존성이 있는 구성원이 "잘못된 순서"로 초기화되면 아직 초기화되지 않은 메모리에 접근할 수 있습니다.

코드 예제:

class Foo {
    int x;
    int y;
    Foo() : y(2), x(y) {}
    // x는 초기화되지 않은 y의 값으로 FIRST로 초기화됩니다.
}

생성자 본체에서 const 구성원을 초기화할 수 있나요?

아니요. 이것은 컴파일 오류를 발생시킵니다. 초기화 목록을 통해서만 가능합니다.

참조 구성원을 초기화하지 않으면 어떻게 되나요?

참조 구성원을 초기화하지 않으면 컴파일 오류가 발생합니다. 참조는 생성 시 객체에 "바인딩"되어야 하며, 나중에 변경될 수 없습니다.

일반적인 오류 및 안티패턴

• const/symlink 구성원에 대해 초기화 목록 대신 생성자 본체에서 구성원을 초기화하는 것.
• 구성원을 선언하거나 초기화하는 순서를 무심코 바꾸어 버그나 정의되지 않은 동작이 발생하는 것.
• 상수를 다룰 때 할당을 통해 초기화하려는 시도.

실제 사례

부정적인 케이스

설정을 저장하는 클래스에서 const std::string 및 참조를 사용하는 경우, 이러한 구성원을 생성자 본체에서 초기화하려고 하면 컴파일러가 경고를 하거나 데이터가 초기화되지 않습니다.

장점: 초보자는 오류를 학습하고, 구성화와 할당을 구분할 수 있게 됩니다.

단점: 컴파일 오류, 클래스를 사용할 수 없음, 객체 초기화 단계에서 예기치 않은 오류 발생 가능성.

긍정적인 케이스

상수와 참조가 초기화 목록을 통해 올바르게 초기화됩니다. 복잡한 초기화 코드는 목록에 집중되어 있어 가독성이 향상되고 오류를 방지합니다.

장점: 안전하고 올바른 클래스 구성원 초기화, 높은 가독성, 메모리 누수 또는 UB 없음.

단점: 초기화논리가 복잡해질 수 있으며, 추가 코드 없이 쉽게 테스트하기 어려운 부분이 있을 수 있습니다.