초기화 목록이 C 0x에서 const 멤버 배열을 초기화할 수 있나요?

멤버 배열용 초기화 목록: A C 0x 퍼즐

C 0x에서 초기화 목록의 도입으로 데이터 초기화에 대한 새로운 가능성이 열렸습니다. 회원. 그러나 const 멤버 배열과 함께 사용하려고 하면 일반적인 오해가 발생할 수 있습니다.

다음 코드를 고려하세요.

<code class="cpp">struct Foo {
    int const data[2];

    Foo(std::initializer_list<int const>& ini)
    : data(ini)
    {}
};

int main() {
    Foo f = {1, 3};
}</code>

예상과 달리 이 코드는 다음 코드로 컴파일되지 않습니다. 오류:

<code class="text">incompatible types in assignment of ‘std::initializer_list<const int>’ to ‘const int [2]’</code>

이 문제는 배열 멤버 데이터가 상수인 반면 초기화 목록 ini는 상수가 아닌 값을 보유한다는 사실에서 발생합니다. 이 불일치를 해결하려면 컴파일러는 이니셜라이저 목록의 각 값에 대해 const 변환을 수행해야 합니다. 그러나 이는 언어 사양에서 허용되지 않습니다.

구조용 가변 템플릿 생성자

초기화 목록 생성자를 사용하는 대신 가변 템플릿 생성자를 사용할 수 있습니다. :

<code class="cpp">struct Foo {
    int x[2];
    template <typename... T>
    Foo(T... ts) : x{ts...} {}
};

int main() {
    Foo f1(1, 2);
    Foo f2{1, 2};
}</code>

이 생성자는 가변 개수의 매개변수를 사용하므로 배열 요소를 직접 초기화할 수 있습니다. 초기화 단계 {ts...}에서 중괄호 초기화 목록의 사용에 유의하세요.

상수가 아닌 경우

불변성이 요구 사항이 아닌 경우 다른 접근 방식은 생성자에서 초기화를 건너뛰고 함수 본문에 배열을 채우는 것입니다.

<code class="cpp">struct Foo {
    int x[2];

    Foo(std::initializer_list<int> il) {
        std::copy(il.begin(), il.end(), x);
    }
};</code>

이 방법은 컴파일 시간 범위 검사 기능을 상실하지만 특정 상황에서는 여전히 실행 가능한 옵션입니다.

위 내용은 초기화 목록이 C 0x에서 const 멤버 배열을 초기화할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!