Что такое пропуск копирования (copy elision) и оптимизация возвращаемого значения (RVO) в C++?

Краткий ответ

Copy elision (пропуск копирования) — это оптимизация компилятора, которая позволяет избежать создания временных объектов и вызовов конструкторов копирования/перемещения. RVO (Return Value Optimization) — частный случай copy elision, применяемый при возврате объекта из функции. В C++17 эта оптимизация стала гарантированной в некоторых случаях.

Подробное объяснение

Давайте разберем ваш пример. Когда вы пишете:

MyClass createObject() {
    MyClass obj;
    return obj;
}

MyClass result = createObject();

Без оптимизации компилятор сделал бы следующее:

1. Вызвал конструктор для obj внутри функции.
2. При return obj; создал временный объект, скопировав в него obj (вызов копирующего конструктора).
3. Уничтожил obj (деструктор).
4. При присваивании result скопировал временный объект в result (еще один копирующий конструктор).
5. Уничтожил временный объект (деструктор).
6. В конце программы уничтожил result (деструктор).

Итого: 1 конструктор, 2 копирующих конструктора, 3 деструктора.

Однако современные компиляторы применяют RVO. Они конструируют obj прямо в памяти, предназначенной для result. Таким образом:

• Конструктор вызывается 1 раз (для result, который физически является тем же obj).
• Копирующие конструкторы не вызываются.
• Деструктор вызывается 1 раз (для result).

Результат: "Constructor" и "Destructor" — именно то, что вы видите.

Виды copy elision

Существует несколько ситуаций, когда компилятор может применить эту оптимизацию:

• RVO (Return Value Optimization) — при возврате локальной переменной из функции.
• NRVO (Named Return Value Optimization) — то же самое, но для именованных объектов (как в вашем примере).
• При инициализации из временного объекта: MyClass obj = MyClass(); — компилятор может создать объект напрямую, без временного.
• При передаче временного объекта в функцию по значению.

Гарантированный пропуск копирования в C++17

Начиная с C++17, в некоторых случаях copy elision является обязательным. Например:

MyClass createObject() {
    return MyClass();  // Возврат временного объекта (prvalue)
}

MyClass result = createObject();  // Гарантированно без копирования

В этом случае компилятор обязан создать объект прямо в конечной переменной. Это называется "guaranteed copy elision". В вашем примере с именованной переменной (MyClass obj; return obj;) оптимизация все еще не гарантирована, но большинство компиляторов ее применяют.

Как проверить, сработала ли оптимизация?

Чтобы увидеть разницу, можно запретить оптимизацию флагом -fno-elide-constructors в GCC/Clang:

g++ -fno-elide-constructors main.cpp -o main && ./main
// Вывод:
// Constructor
// Copy constructor
// Destructor  (уничтожение obj)
// Copy constructor
// Destructor  (уничтожение временного объекта)
// Destructor  (уничтожение result)

Без флага (с оптимизацией по умолчанию) вы увидите только один конструктор и один деструктор.

Практические последствия

Copy elision — это не просто микрооптимизация. Она критически важна для классов, которые управляют ресурсами (файлы, память, сокеты). Без нее возврат таких объектов из функций мог бы быть очень дорогим. Кроме того, она позволяет использовать классы, запрещающие копирование (например, std::unique_ptr), в качестве возвращаемых значений:

std::unique_ptr<int> createPtr() {
    return std::unique_ptr<int>(new int(42));
}  // Работает благодаря copy elision + move semantics

Важно: Не полагайтесь на побочные эффекты конструкторов копирования/деструкторов (например, логирование) при проектировании, так как они могут не вызываться. Copy elision меняет семантику программы только в плане оптимизации — с точки зрения "as-if" правила, программа ведет себя так же, как если бы копирование произошло (если у копирующего конструктора нет побочных эффектов, влияющих на наблюдаемое поведение).

MyClass createObject(bool flag) {
    MyClass a, b;
    if (flag) return a;
    else return b;
}  // Компилятору сложно определить, какой объект будет возвращен

MyClass createObject(bool flag) {
    if (flag) return MyClass();  // prvalue — гарантировано
    else return MyClass();       // prvalue — гарантировано
}