Hardtrivially-copyable
Что такое trivially copyable type?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Trivially copyable type — тип, для которого копирование через memcpy корректно. Требования: тривиальные copy/move/деструктор, нет virtual.
struct Point { int x, y; }; // trivially copyable
static_assert(std::is_trivially_copyable_v<Point>);
// Можно memcpy
Point a{1, 2};
Point b;
std::memcpy(&b, &a, sizeof(a)); // OK
// Можно bit_cast
auto bits = std::bit_cast<unsigned long long>(a);
// std::string — НЕ trivially copyable (владеет ресурсом)
static_assert(!std::is_trivially_copyable_v<std::string>);Применение: memcpy, bit_cast, extern "C" interface, сетевые протоколы, бинарные файлы.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.