Класс is_trivially_default_constructible
Проверяет, есть ли у типа тривиальный конструктор по умолчанию.
C++
template <class Ty>
struct is_trivially_default_constructible;
Ty
Запрашиваемый тип.
Экземпляр предиката типа имеет значение true, если тип Ty является классом с тривиальным конструктором, в противном случае он содержит значение false.
Конструктор по умолчанию для класса Ty является тривиальным, если:
он является конструктором по умолчанию, объявленным неявно;
Класс Ty не имеет виртуальных функций
Класс Ty не имеет виртуальных баз
Все прямые основы класса Ty имеют тривиальные конструкторы
классы всех нестатических элементов данных типа класса имеют тривиальные конструкторы;
классы всех нестатических элементов данных массива типов класса имеют тривиальные конструкторы.
Заголовок:<type_traits>
Пространство имен: std