Mengapa kelas saya tidak dapat dibangun-standar?

Saya memiliki kelas-kelas itu:

#include <type_traits>

template <typename T>
class A {
public:
    static_assert(std::is_default_constructible_v<T>);

};

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

    A<C> a_m;
};

int main() {
    A<B::C> a;
}

Saat kompilasi, a_mtidak bisa dibangun tetapi default a.

Saat mengubah Cke:

struct C {
      int i;
   };

semuanya baik-baik saja.

Diuji dengan Dentang 9.0.0.

Ini dilarang baik oleh teks standar dan oleh beberapa implementasi utama seperti yang disebutkan dalam komentar, tetapi untuk alasan yang sama sekali tidak terkait.

Pertama, alasan "menurut buku": titik instantiasi A<C>adalah, menurut standar, tepat sebelum definisiB , dan titik instantiasi std::is_default_constructible<C>adalah tepat sebelum itu:

Untuk spesialisasi templat kelas, [...] jika spesialisasi secara implisit instantiated karena dirujuk dari dalam spesialisasi templat lain, jika konteks dari mana spesialisasi dirujuk tergantung pada parameter templat, dan jika spesialisasi tidak instantiated sebelumnya ke instantiation dari template yang dilampirkan, titik instantiation adalah tepat sebelum titik instantiation dari template yang melampirkan. Kalau tidak, titik instantiasi untuk spesialisasi seperti itu segera mendahului deklarasi ruang lingkup atau definisi namespace yang mengacu pada spesialisasi.

Karena Cjelas tidak lengkap pada saat itu, perilaku instantiating std::is_default_constructible<C>tidak terdefinisi. Namun, lihat masalah inti 287 , yang akan mengubah aturan ini.

Pada kenyataannya, ini ada hubungannya dengan NSDMI.

• NSDMI aneh karena tertunda parsing - atau dalam bahasa standar mereka adalah "konteks kelas lengkap".
• Dengan demikian, yang = 0pada prinsipnya dapat merujuk pada hal-hal yang Bbelum dinyatakan, sehingga implementasi tidak dapat benar-benar mencoba menguraikannya sampai selesai B.
• Menyelesaikan kelas mengharuskan deklarasi implisit fungsi anggota khusus, khususnya konstruktor default, karena Ctidak ada konstruktor yang dideklarasikan.
• Bagian dari deklarasi itu (keteguhan, ketidak-kecurangan) tergantung pada sifat-sifat NSDMI.
• Jadi, jika kompiler tidak dapat mengurai NSDMI, ia tidak dapat menyelesaikan kelas.
• Akibatnya, pada saat instantiate A<C>, ia berpikir bahwa Citu tidak lengkap.

Seluruh area yang berurusan dengan wilayah yang diurai-tertunda ini sangat tidak ditentukan, disertai dengan divergensi implementasi. Mungkin perlu beberapa saat sebelum dibersihkan.

Perilaku yang tidak terdefinisi adalah:

Jika instantiasi templat di atas tergantung, secara langsung atau tidak langsung, pada tipe yang tidak lengkap, dan instantiasi itu dapat menghasilkan hasil yang berbeda jika tipe tersebut diselesaikan secara hipotetis, perilaku tidak terdefinisi.