HardPOD
Что такое trivial destructor и почему он важен?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Trivial destructor — деструктор, не делающий ничего (для встроенных типов или классов только с trivially destructible членами). Проверяется через std::is_trivially_destructible_v<T>.
struct Point { int x, y; }; // trivial dtor
struct Named { std::string s; }; // нетривиальный dtor (string владеет памятью)
// vector с trivially destructible T может просто освободить память
std::vector<Point> points(1000);
points.clear(); // никаких вызовов деструкторов — просто freeВажность: vector с trivially destructible T не вызывает деструкторы при уничтожении (просто освобождает память), можно memcpy/memmove, ускоряет reallocation. Поэтому агрегаты из встроенных типов эффективны в контейнерах. Также trivially destructible — часть понятия POD/literal type.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.