집계 초기화 멤버가 누락되지 않도록 할 수 있습니까?

같은 유형의 많은 멤버가있는 구조체가 있습니다.

struct VariablePointers {
   VariablePtr active;
   VariablePtr wasactive;
   VariablePtr filename;
};

문제는 구조체 멤버 중 하나 (예 :)를 초기화하는 것을 잊어 버린 경우 wasactive다음과 같습니다.

VariablePointers{activePtr, filename}

컴파일러는 그것에 대해 불평하지 않지만 부분적으로 초기화 된 하나의 객체를 갖게됩니다. 이런 종류의 오류를 어떻게 방지 할 수 있습니까? 생성자를 추가 할 수는 있지만 변수 목록을 두 번 복제 하므로이 세 가지를 모두 입력해야합니다!

C ++ 11에 대한 솔루션이있는 경우 C ++ 11 답변을 추가하십시오 (현재 해당 버전으로 제한되어 있음). 최신 언어 표준도 환영합니다!

필요한 이니셜 라이저가없는 경우 링커 오류를 트리거하는 트릭이 있습니다.

struct init_required_t {
    template <class T>
    operator T() const; // Left undefined
} static const init_required;

용법:

struct Foo {
    int bar = init_required;
};

int main() {
    Foo f;
}

결과:

/tmp/ccxwN7Pn.o: In function `Foo::Foo()':
prog.cc:(.text._ZN3FooC2Ev[_ZN3FooC5Ev]+0x12): undefined reference to `init_required_t::operator int<int>() const'
collect2: error: ld returned 1 exit status

주의 사항 :

• C ++ 14 이전에는 Foo집계가 전혀되지 않습니다.
• 이것은 기술적으로 정의되지 않은 동작 (ODR 위반)에 의존하지만 모든 플랫폼에서 작동합니다.

clang 및 gcc의 경우 -Werror=missing-field-initializers누락 된 필드 이니셜 라이저에 대한 경고를 오류로 설정하여 컴파일 할 수 있습니다 .갓 볼트

편집 : MSVC의 경우 level에서도 경고가 발생 /Wall하지 않는 것 같습니다. 따라서이 컴파일러로 누락 된 이니셜 라이저에 대해 경고 할 수는 없다고 생각합니다. 갓 볼트

우아하고 편리한 솔루션은 아니지만 C ++ 11에서도 작동하며 컴파일 타임 (링크 타임이 아님) 오류가 발생한다고 가정합니다.

아이디어는 기본 초기화없이 유형의 마지막 멤버에서 추가 멤버를 구조체에 추가하는 것입니다 (type 값으로 초기화 할 수 없음) VariablePtr (또는 이전 값의 유형은 무엇이든))

예를 들어

struct bar
 {
   bar () = delete;

   template <typename T> 
   bar (T const &) = delete;

   bar (int) 
    { }
 };

struct foo
 {
   char a;
   char b;
   char c;

   bar sentinel;
 };

이렇게하면 집계 초기화 목록에 모든 요소를 ​​추가하거나 마지막 값을 명시 적으로 초기화하는 값 ( sentinel예 :에 대한 정수 )을 포함 시키거나 "삭제 된 생성자 'bar'에 대한 호출"오류가 발생합니다.

그래서

foo f1 {'a', 'b', 'c', 1};

컴파일하고

foo f2 {'a', 'b'};  // ERROR

하지 않습니다.

불행히도

foo f3 {'a', 'b', 'c'};  // ERROR

컴파일하지 않습니다.

-- 편집하다 --

MSalters (감사)가 지적한 것처럼 원래 예제에는 결함 (또 다른 결함) bar이 있습니다 . 값은 값으로 초기화 될 수 있으므로 char(다음으로 변환 가능 int) 다음 초기화가 작동합니다

foo f4 {'a', 'b', 'c', 'd'};

이것은 매우 혼란 스러울 수 있습니다.

이 문제를 피하기 위해 다음 삭제 된 템플릿 생성자를 추가했습니다.

 template <typename T> 
 bar (T const &) = delete;

따라서 위의 f4선언 d은 삭제 된 템플릿 생성자가 값을 가로 채기 때문에 컴파일 오류를 발생시킵니다.

들어 CppCoreCheck 정확히 확인하기위한 규칙이있다, 모든 멤버가 초기화되고 그 오류에 경고에서 설정 될 수 있다면 - 물론 일반적으로 프로그램 전체이다.

최신 정보:

확인하려는 규칙은 typesafety의 일부입니다 Type.6.

유형 6 : 항상 멤버 변수 초기화 : 기본 생성자 또는 기본 멤버 이니셜 라이저를 사용하여 항상 초기화하십시오.

가장 간단한 방법은 멤버 유형에 인수 없음 생성자를 제공하지 않는 것입니다.

struct B
{
    B(int x) {}
};
struct A
{
    B a;
    B b;
    B c;
};

int main() {

        // A a1{ 1, 2 }; // will not compile 
        A a1{ 1, 2, 3 }; // will compile 

다른 옵션 : 멤버가 const & 인 경우 모든 멤버를 초기화해야합니다.

struct A {    const int& x;    const int& y;    const int& z; };

int main() {

//A a1{ 1,2 };  // will not compile 
A a2{ 1,2, 3 }; // compiles OK

하나의 더미 const & member와 함께 살 수 있다면 @ max66의 센티넬 아이디어와 결합 할 수 있습니다.

struct end_of_init_list {};

struct A {
    int x;
    int y;
    int z;
    const end_of_init_list& dummy;
};

    int main() {

    //A a1{ 1,2 };  // will not compile
    //A a2{ 1,2, 3 }; // will not compile
    A a3{ 1,2, 3,end_of_init_list() }; // will compile

cppreference https://en.cppreference.com/w/cpp/language/aggregate_initialization에서

이니셜 라이저 절 수가 멤버 수보다 적거나 이니셜 라이저 목록이 완전히 비어있는 경우 나머지 멤버는 값으로 초기화됩니다. 참조 유형의 구성원이 나머지 구성원 중 하나 인 경우 프로그램이 잘못 구성됩니다.

또 다른 옵션은 max66의 센티넬 아이디어를 취하고 가독성을 위해 구문 설탕을 추가하는 것입니다.

struct init_list_guard
{
    struct ender {

    } static const end;
    init_list_guard() = delete;

    init_list_guard(ender e){ }
};

struct A
{
    char a;
    char b;
    char c;

    init_list_guard guard;
};

int main() {
   // A a1{ 1, 2 }; // will not compile 
   // A a2{ 1, init_list_guard::end }; // will not compile 
   A a3{ 1,2,3,init_list_guard::end }; // compiles OK