В §13 стандарта C++17 говорится:
"Тривиальный класс — это класс, который можно тривиально копировать и который имеет один или несколько конструкторов по умолчанию (15.1), все из которых либо тривиальны, либо удалены и по крайней мере один из них не удален".
Мне не удалось придумать хороший пример тривиального класса, для которого такое формулировка имеет смысл. Для чего нужна часть «хотя бы один, который не удален»? Может ли набор конструкторов тривиального класса содержать более одного «не удаленного» конструктора по умолчанию? Если да, то такие "неудаляемые" конструкторы должны быть тривиальными (согласно приведенной выше формулировке), но это кажется невозможным.
Подробнее здесь: https://stackoverflow.com/questions/632 ... onstructor
