Hardcopyоптимизация
Что такое copy elision и NRVO/RVO?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Copy elision — оптимизация, при которой компилятор не создаёт временные копии, а конструирует объект «на месте». RVO (Return Value Optimization) — для возврата по значению; NRVO (Named RVO) — для именованной локальной переменной. В C++17 guaranteed copy elision для prvalue.
struct Big { int data[1000]; };
Big make() {
return Big{}; // C++17: guaranteed copy elision (prvalue)
}
Big makeNamed() {
Big result{}; // NRVO: optional, компилятор обычно применяет
return result;
}
Big b = make(); // 0 копий — объект сразу в стеке вызывающегоБез copy elision возврат больших объектов был бы дорогим. В C++17 prvalue «материализуется» только при необходимости. Если NRVO не сработал — сработает move-конструктор (O(1) для vector/string).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.