Класс, соответствующий концепции DefaultConstrutible
, допускает следующие выражения (параграф 17.6.3.1 N3242):
T u; // object is default initialized
T u{}: // object is value intialized
T(); T{}; // value initialized temporary
Так много для концепции.Параграф 12.1 / 5 фактически говорит нам, что такое конструктор по умолчанию
Конструктор по умолчанию для класса X - это конструктор класса X, который может быть вызван без аргумента.Если для класса X нет объявленного пользователем конструктора, конструктор без параметров неявно объявляется как дефолтный (8.4).Неявно объявленный конструктор по умолчанию является встроенным открытым членом своего класса....
С введением удаленных специальных функций-членов стандарт также определяет список случаев, когда неявный конструктор по умолчанию недоступен, и различие тривиальных и нетривиальных конструкторов по умолчанию.