HardNRVOоптимизация
Что такое NRVO и когда оно не работает?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
NRVO (Named Return Value Optimization) — когда функция возвращает именованную локальную переменную, компилятор может конструировать её сразу в стеке вызывающего, без copy/move. В отличие от RVO (guaranteed в C++17), NRVO остаётся optional.
Widget make(bool cond) {
Widget a, b;
if (cond) return a; // разные переменные в ветках —
return b; // NRVO может НЕ сработать
}
Widget makeGood() {
Widget result; // одна переменная во всех return —
// ...
return result; // NRVO сработает
}Когда NRVO может не сработать:
- разные return возвращают разные переменные;
- переменная используется по неконстантной ссылке до возврата;
- сложный control flow с throw.
Если NRVO не сработало — сработает move (если noexcept move есть). Проверка: флаги -fno-elide-constructors или -Rpass=elision.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.