비 정적 데이터 멤버 및 중첩 클래스 생성자의 클래스 내 초기화를 사용할 때 오류 발생

다음 코드는 매우 사소하며 잘 컴파일되어야한다고 예상했습니다.

struct A
{
    struct B
    {
        int i = 0;
    };

    B b;

    A(const B& _b = B())
        : b(_b)
    {}
};

이 코드는 g ++ 버전 4.7.2, 4.8.1, clang ++ 3.2 및 3.3으로 테스트했습니다. 이 코드 ( http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57770 ) 에 g ++ 4.7.2 segfault가 있다는 사실을 제외 하고 다른 테스트 된 컴파일러는 많이 설명하지 않는 오류 메시지를 제공합니다.

g ++ 4.8.1 :

test.cpp: In constructor ‘constexpr A::B::B()’:
test.cpp:3:12: error: constructor required before non-static data member for ‘A::B::i’ has been parsed
     struct B
            ^
test.cpp: At global scope:
test.cpp:11:23: note: synthesized method ‘constexpr A::B::B()’ first required here 
     A(const B& _b = B())
                       ^

clang ++ 3.2 및 3.3 :

test.cpp:11:21: error: defaulted default constructor of 'B' cannot be used by non-static data member initializer which appears before end of class definition
    A(const B& _b = B())
                    ^

이 코드를 컴파일 가능하게 만드는 것이 가능하며 아무런 차이가 없어야합니다. 두 가지 옵션이 있습니다.

struct B
{
    int i = 0;
    B(){} // using B()=default; works only for clang++
};

또는

struct B
{
    int i;
    B() : i(0) {} // classic c++98 initialization
};

이 코드가 정말 잘못되었거나 컴파일러가 잘못 되었습니까?

이 코드가 정말 잘못되었거나 컴파일러가 잘못 되었습니까?

글쎄, 둘 다. 이 표준에는 결함이 있습니다. 즉 ,에 A대한 이니셜 라이저를 구문 분석하는 동안 완료된 것으로 간주 되는 B::i것과 B::B()(이니셜 라이저를 사용하는 B::i)에 대한 정의 내에서 사용할 수 있다고 A합니다. 그것은 분명히 순환 적입니다. 이걸 고려하세요:

struct A {
  struct B {
    int i = (A(), 0);
  };
  A() noexcept(!noexcept(B()));
};

이것은 모순이 있습니다 : B::B()is implicitly noexceptiff A()does not throw, and A()does not throw iff B::B()is not noexcept . 이 영역에는 많은 다른주기와 모순이 있습니다.

이것은 핵심 문제 1360 및 1397에 의해 추적됩니다 . 특히 핵심 문제 1397에서 다음 참고 사항을 참고하십시오.

아마도이 문제를 해결하는 가장 좋은 방법은 비 정적 데이터 멤버 이니셜 라이저가 해당 클래스의 기본 생성자를 사용하도록 형식을 잘못 지정하는 것입니다.

이 문제를 해결하기 위해 Clang에서 구현 한 규칙의 특별한 경우입니다. Clang의 규칙은 해당 클래스의 비 정적 데이터 멤버 이니셜 라이저가 구문 분석되기 전에는 클래스의 기본 생성자를 사용할 수 없다는 것입니다. 따라서 Clang은 여기에서 진단을 발행합니다.

    A(const B& _b = B())
                    ^

... Clang은 기본 이니셜 라이저를 구문 분석하기 전에 기본 인수를 구문 분석하고이 기본 인수에는 B의 기본 이니셜 라이저가 이미 구문 분석되어 있어야합니다 (암시 적으로 정의하기 위해 B::B()).

아마도 이것이 문제 일 수 있습니다.

§12.1 5. 기본값으로 설정되고 삭제됨으로 정의되지 않은 기본 생성자는 클래스 유형 (1.8)의 객체를 생성하기 위해 odr- 사용 (3.2)되거나 첫 번째 선언 이후 명시 적으로 기본값이 설정 될 때 암시 적으로 정의됩니다.

따라서 기본 생성자는 처음 조회 할 때 생성되지만 A가 완전히 정의되지 않았으므로 A 내부의 B를 찾을 수 없기 때문에 조회가 실패합니다.