Perché la mia classe non è costruibile per difetto?

Ho quelle classi:

#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;
}

Durante la compilazione, a_mnon è costruibile di default ma lo aè.

Quando si cambia Cin:

struct C {
      int i;
   };

va tutto bene.

Testato con Clang 9.0.0.

Ciò è vietato sia dal testo dello standard sia da diverse importanti implementazioni, come osservato nei commenti, ma per ragioni completamente indipendenti.

In primo luogo, la ragione "per libro": il punto di istanza di A<C>è, secondo lo standard, immediatamente prima della definizione diB , e il punto di istanza di std::is_default_constructible<C>è immediatamente prima di quello:

Per una specializzazione di modello di classe, [...] se la specializzazione è istanziata in modo implicito perché fa riferimento all'interno di un'altra specializzazione di modello, se il contesto da cui si fa riferimento alla specializzazione dipende da un parametro di modello e se la specializzazione non è istanziata in precedenza all'istanza del modello di inclusione, il punto di istanza è immediatamente prima del punto di istanza del modello di inclusione. In caso contrario, il punto di istanza per tale specializzazione precede immediatamente la dichiarazione o la definizione dell'ambito dello spazio dei nomi che si riferisce alla specializzazione.

Poiché Ca quel punto è chiaramente incompleto, il comportamento dell'istanza std::is_default_constructible<C>non è definito. Tuttavia, vedi il problema principale 287 , che cambierebbe questa regola.

In realtà, questo ha a che fare con NSDMI.

• Le NSDMI sono strane perché ottengono un'analisi ritardata o, in termini standard, sono un "contesto di classe completa".
• Pertanto, ciò = 0potrebbe in linea di principio riferirsi a cose Bnon ancora dichiarate, quindi l'implementazione non può davvero provare ad analizzarlo fino a quando non sarà terminato B.
• Il completamento di una classe richiede la dichiarazione implicita di funzioni membro speciali, in particolare il costruttore predefinito, poiché Cnon è stato dichiarato un costruttore.
• Parti di tale dichiarazione (competenza, noexcept-ness) dipendono dalle proprietà del NSDMI.
• Pertanto, se il compilatore non può analizzare NSDMI, non può completare la classe.
• Di conseguenza, nel momento in cui istanzia A<C>, pensa che Csia incompleto.

L'intera area relativa alle regioni ritardate analizzate è tristemente sottostimata, con una divergenza di attuazione che accompagna. Potrebbe volerci un po 'prima che venga ripulito.

Comportamento indefinito è:

Se un'istanza di un modello sopra dipende, direttamente o indirettamente, da un tipo incompleto e tale istanza potrebbe produrre un risultato diverso se quel tipo fosse ipoteticamente completato, il comportamento non è definito.