Statik olmayan veri üyesinin ve iç içe sınıf oluşturucunun sınıf içi başlatması kullanılırken hata oluştu

Aşağıdaki kod oldukça önemsiz ve iyi derlenmesini bekliyordum.

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

    B b;

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

Bu kodu g ++ sürüm 4.7.2, 4.8.1, clang ++ 3.2 ve 3.3 ile test ettim. Bu koddaki g ++ 4.7.2 segfaults'un ( http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57770 ) dışında, test edilen diğer derleyiciler fazla açıklamayan hata mesajları veriyor.

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 ve 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())
                    ^

Bu kodu derlenebilir yapmak mümkündür ve hiçbir fark yaratmamalı gibi görünüyor. İki seçenek vardır:

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

veya

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

Bu kod gerçekten yanlış mı yoksa derleyiciler yanlış mı?

Bu kod gerçekten yanlış mı yoksa derleyiciler yanlış mı?

Eh, hiçbiri. Bu, her iki - diyor standart bir hata var Aiçin başlatıcı ayrıştırılırken tamamlanmış sayılır B::ive bu B::B()(için başlatıcı kullanan B::i) tanımı dahilinde kullanılabilir A. Bu açıkça döngüsel. Bunu düşün:

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

Bu bir çelişki vardır: B::B()örtük olan noexceptIFF A()atmaz ve A()IFF atmaz B::B()olduğu değil noexcept . Bu alanda bir dizi başka döngü ve çelişkiler var.

Bu, temel sorunlar 1360 ve 1397 tarafından izlenir . Özellikle 1397 numaralı ana sayıdaki bu nota dikkat edin:

Belki de bunu ele almanın en iyi yolu, statik olmayan bir veri üyesi başlatıcısının kendi sınıfının varsayılan yapıcısını kullanması için kötü biçimlendirmek olacaktır.

Bu sorunu çözmek için Clang'da uyguladığım kuralın özel bir durumu. Clang kuralı, bir sınıf için varsayılan bir varsayılan kurucunun, o sınıf için statik olmayan veri üyesi başlatıcıları ayrıştırılmadan önce kullanılamamasıdır. Bu nedenle Clang burada bir tanılama yayınlar:

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

... çünkü Clang, varsayılan başlatıcıları çözümlemeden önce varsayılan bağımsız değişkenleri ayrıştırır ve bu varsayılan bağımsız değişken, B'ın varsayılan başlatıcılarının zaten çözümlenmiş olmasını gerektirir (örtük olarak tanımlamak için B::B()).

Belkide sorun budur:

§12.1 5. Varsayılan olan ve silinmiş olarak tanımlanmayan bir varsayılan kurucu, sınıf türünde (1.8) bir nesne oluşturmak için odr- kullanıldığında (3.2) veya ilk bildiriminden sonra açıkça varsayılan olarak belirlendiğinde örtük olarak tanımlanır

Bu nedenle, varsayılan kurucu ilk bakıldığında oluşturulur, ancak arama başarısız olur çünkü A tam olarak tanımlanmamıştır ve bu nedenle A içindeki B bulunmayacaktır.