Обоснования признаков типа проверке тривиальности класса специальных функций

Question

В дополнении к std::is_trivial и std::is_trivially_copyable, C++ 11 предоставляет целый ряд признаков типа для проверки того типа имеет тривиальные конструктор, деструкторы и копирование/операторы присваивания перемещения, то есть:

• std::is_trivially_constructible
• std::is_trivially_default_constructible
• std::is_trivially_copy_constructible
• std::is_trivially_move_constructible
• std::is_trivially_assignable
• std::is_trivially_copy_assignable
• std::is_trivially_move_assignable
• std::is_trivially_destructible

Что является их оригинальная намеченная цель? Разумеется, некоторые документы (документы) комитета C++ должны объяснить обоснование их включения в стандартную библиотеку C++.

Answer 1

Почему они находятся в стандартной библиотеке? Потому что они полезны, но невозможно реализовать на языке.

---

Два конкретных примера полезности.

• std::is_trivially_copy_constructible - Если у меня есть vector типа, который является тривиальным скопировать конструктивны, не нужно индивидуально скопировать каждый элемент, когда я делаю перераспределению. Я могу memcpy() весь блок за один раз. Нам нужна черта этого типа, чтобы проверить, безопасна ли эта оптимизация.
• std::is_trivially_destructible - Trivial destruction - важное качество. Это один из критериев, чтобы он был буквальным типом и, следовательно, использовался в постоянном выражении. Бывают ситуации, когда я хочу, чтобы мой тип мог использоваться как литерал, где это возможно (например, std::optional). Нам нужен этот тип, чтобы сделать optional<T> условно тривиально разрушаемым.