HardPODtraits
Что такое trivially copyable типы и почему это важно?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Trivially copyable тип — можно безопасно копировать через memcpy (нет нетривиальных копирующих/move операций и деструктора). Это POD-подобные типы: встроенные типы, структуры из них без пользовательской логики.
struct Point { int x, y; }; // trivially copyable
static_assert(std::is_trivially_copyable_v<Point>);
// Безопасно: memcpy для trivially copyable
Point a{1, 2};
Point b;
std::memcpy(&b, &a, sizeof(Point));
// std::string — НЕ trivially copyable: memcpy даст dangling/утечку- Важно для сериализации, передачи через границы ABI/C API, производительности (векторизация);
- Проверяется через
std::is_trivially_copyable_v<T>.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.