11 Classes [class]

A default constructor for a class X is a constructor of class X for which each parameter that is not a function parameter pack has a default argument (including the case of a constructor with no parameters).

If a class does not have a user-declared constructor or constructor template, and the class is not an anonymous union, a non-explicit constructor having no parameters is implicitly declared as defaulted ([dcl.fct.def]).

An implicitly-declared default constructor is an inline public member of its class.

A defaulted default constructor for class X is defined as deleted if

• (2.1)
  any non-static data member with no default member initializer ([class.mem]) is of reference type,
• (2.2)
  X is a non-union class and any non-variant non-static data member of const-qualified type (or possibly multidimensional array thereof) with no brace-or-equal-initializer is not const-default-constructible ([dcl.init]),
• (2.3)
  any non-variant potentially constructed subobject, except for a non-static data member with a brace-or-equal-initializer, has class type M (or possibly multidimensional array thereof) and overload resolution ([over.match]) as applied to find M's corresponding constructor does not result in a usable candidate ([over.match.general]), or
• (2.4)
  any potentially constructed subobject S has class type M (or possibly multidimensional array thereof), M has a destructor that is deleted or inaccessible from the defaulted default constructor, and either S is non-variant or S has a default member initializer.

A default constructor for a class X is trivial if it is not user-provided and if

• (3.1)
  X has no virtual functions ([class.virtual]) and no virtual base classes ([class.mi]), and
• (3.2)
  no non-static data member of X has a default member initializer ([class.mem]), and
• (3.3)
  all the direct base classes of X have trivial default constructors, and
• (3.4)
  either X is a union or for all the non-variant non-static data members of X that are of class type (or array thereof), each such class has a trivial default constructor.

Otherwise, the default constructor is non-trivial.

An implicitly-defined ([dcl.fct.def.default]) default constructor performs the set of initializations of the class that would be performed by a user-written default constructor for that class with no ctor-initializer ([class.base.init]) and an empty compound-statement.

If that user-written default constructor would be ill-formed, the program is ill-formed.

The implicitly-defined default constructor is constexpr.

Before the defaulted default constructor for a class is implicitly defined, all the non-user-provided default constructors for its base classes and its non-static data members are implicitly defined.