Why is my class non default-constructible?

Question

I have those classes:

#include 

template 
class A {
public:
    static_assert(std::is_default_constructible_v)         


        

Answer 1

This is disallowed both by the text of the standard and by several major implementations as noted in the comments, but for completely unrelated reasons.

First, the "by the book" reason: the point of instantiation of A is, according to the standard, immediately before the definition of B, and the point of instantiation of std::is_default_constructible is immediately before that:

For a class template specialization, [...] if the specialization is implicitly instantiated because it is referenced from within another template specialization, if the context from which the specialization is referenced depends on a template parameter, and if the specialization is not instantiated previous to the instantiation of the enclosing template, the point of instantiation is immediately before the point of instantiation of the enclosing template. Otherwise, the point of instantiation for such a specialization immediately precedes the namespace scope declaration or definition that refers to the specialization.

Since C is clearly incomplete at that point, the behavior of instantiating std::is_default_constructible is undefined. However, see core issue 287, which would change this rule.

---

In reality, this has to do with the NSDMI.

• NSDMIs are weird because they get delayed parsing - or in standard parlance they are a "complete-class context".
• Thus, that = 0 could in principle refer to things in B not yet declared, so the implementation can't really try to parse it until it has finished with B.
• Completing a class necessitates the implicit declaration of special member functions, in particular the default constructor, as C doesn't have a constructor declared.
• Parts of that declaration (constexpr-ness, noexcept-ness) depend on the properties of the NSDMI.
• Thus, if the compiler can't parse the NSDMI, it can't complete the class.
• As a result, at the point when it instantiates A, it thinks that C is incomplete.

This whole area dealing with delayed-parsed regions is woefully underspecified, with accompanying implementation divergence. It may take a while before it gets cleaned up.