c++学习笔记(7)-复制省略

1、概念

Copy elision（复制省略）是一种编译器优化技术，用于减少不必要的对象拷贝和构造操作，从而提高程序的效率和性能。在C++11标准中，Copy elision被纳入了语言规范中，并成为了一项正式的优化技术。它适用于一些特定的语法和语义场景，如下：

• 函数返回匿名对象：当一个函数返回匿名对象时，编译器可以通过Copy elision避免临时对象的拷贝构造和析构操作。
• 函数返回具名对象：当一个函数具名对象时，编译器也可以通过Copy elision避免不必要的对象构造和拷贝操作。
• 传递函数参数：当函数参数通过值传递方式传递时，编译器可以通过Copy elision避免对象的拷贝构造和析构操作。
• 对象的初始化：当对象被初始化时，编译器可以通过Copy elision避免不必要的对象构造和拷贝操作。

2、实现方式

Copy elision的实现技术主要包括以下几种：

• URVO (Unnamed Return Value Optimization，匿名返回值优化)：也称为RVO，当函数返回一个匿名临时对象时，编译器会直接将该临时对象构造在调用该函数的地方，而不是创建一个新的对象再拷贝到调用点。
• NRVO (Named Return Value Optimization，具名返回值优化)：与URVO类似，但只适用于返回已命名对象的情况。如果函数返回一个已命名对象，则编译器会尝试将该对象的构造放在调用该函数的地方，而不是在函数内部创建一个新的对象再拷贝出来。
• 函数参数复制：当函数参数通过值传递方式传递时，编译器可以通过Copy elision技术避免在函数调用时不必要的对象构造和拷贝操作。

后序的讲解都会用到这个自定义类，这里给出定义，另外不同编译器的编译输出结果可能不同，本文代码编译采用的是C++11编译器：

#include<iostream>
#include<string>
using namespace std;
class Person 
{
public:
    Person() { cout << "默认构造函数" << endl; }
    Person(string name) : m_name(name){ 
        cout << "有参构造函数" << endl; 
    }
    Person(const Person& p) : m_name(p.m_name) {
        cout << "拷贝构造函数" << endl;
    }
    ~Person() { cout << "析构函数" << endl; }
private:
    string m_name;
};

2.1、URVO

当函数返回一个匿名临时对象时，编译器会直接将该临时对象构造在调用该函数的地方，而不是创建一个新的对象再拷贝到调用点。

Person foo() {
    return Person("mike"); // RVO
}

int main()
{
    Person mike = foo();
    return 0;
}

默认启用编译器优化输出结果：

有参构造函数
析构函数

通过-fno-elide-constructors禁用编译器优化，输出结果：

有参构造函数
拷贝构造函数
析构函数
拷贝构造函数
析构函数
析构函数

这是因为foo()函数内返回Person对象时，创建了一个Person对象，这个对象会被赋值给一个临时对象，临时对象最后赋值给mike对象，总共创建了3个对象。采用URVO优化，节省了两次拷贝开销。

2.2、NRVO

如果函数返回一个已命名对象，则编译器会尝试将该对象的构造放在调用该函数的地方，而不是在函数内部创建一个新的对象再拷贝出来。

Person foo(){
   Person localObj("mike");
   return localObj; // NRVO
}

int main()
{
    Person mike = foo();
    return 0;
}

默认输出结果、禁用优化的输出结果和URVO一样，采用NRVO节省了两次拷贝开销，不多作解释。这里提一下最常见的一种滥用右值引用的例子：有的人觉得通过std::move返回右值，可以节省一次拷贝，实际是这样的吗？看例子：

Person foo() {
    Person localObj("mike");
    return std::move(localObj);
}

int main()
{
    Person mike = foo();
    return 0;
}

不关闭优化，输出结果为：

有参构造函数
拷贝构造函数
析构函数
析构函数

很明显，相比于直接返回变量，返回std::move处理后的变量，反而多了一次拷贝。

2.3、函数参数

Copy elision也可以用于优化传递函数参数拷贝。在C++中，函数参数的传递机制默认为值传递，函数在调用之前会先将参数拷贝一份，然后将这份拷贝传递给函数，在支持函数参数Copy elision的编译器中，如果函数内部只对参数执行了读操作，编译器会自动省略掉参数的拷贝操作，直接在函数内部使用原始对象的值。

3、总结

Copy elision是一种强大的优化技术，可以减少构造和复制的操作，提高程序效率，但还是存在一些局限和开发风险的：Copy elision的实现方式可能因编译器版本和编译器选项而变化，比如上述代码的输出结果在C++20编译器中则有些许不同，因此开发人员需要了解特定编译器版本和选项，以便制定最优的代码优化策略。