C++ 匿名对象

在webRTC的源码中有如下函数：

template <typename T>
std::unique_ptr<T> WrapUnique(T* ptr) {
  return std::unique_ptr<T>(ptr);
}

该函数不复杂，但重点在于它直接返回了一个std::unique_ptr。我们知道std::unique_ptr是不能够直接拷贝构造的，如：

std::unique_ptr<std::string> s1(new std::string("123"));
std::unique_ptr<std::string> s2 = s1;   // ERROR

而且WrapUnique经过单步调试，整个函数的执行过程只有执行了一次std::unique_ptr构造。按照我们的理解，至少要执行1次构造，2次拷贝构造的。那么WrapUnique为什么可以做到了？

结论是：C++编译器对匿名变量做了优化，编译器发现有变量来接收匿名变量，则直接将匿名变量的初始化过程放到接收该匿名变量的对象身上去，免去了后面的拷贝构造的过程。

如下测试代码：

#include <iostream>
using namespace std;


class Apple {
public:
    Apple() {
        id_ = 0;
        cout << "Apple()" << endl;
    }

    Apple(int id) {
        id_ = id;
        cout << "Apple(" << id_ << ")" << endl;
    }

    Apple(const Apple &a) {
        id_ = a.id_;
        cout << "Apple(const Apple &a)" << endl;
    }

    Apple& operator=(const Apple &that) {
        id_ = that.id_;
        cout << "Apple& operator=(const Apple &that)" << endl;
    }

    ~Apple() {
        cout << "~Apple()" << endl;
    }
private:
    int id_;
};

Apple WrapApple(int id) {
    return Apple(id);
}


int main() {
    Apple apple = WrapApple(666);

    return 0;
}

不考虑匿名变量的优化，我们猜测执行过程的输出是：

Apple(666)
Apple(const Apple &a)
Apple(const Apple &a)

但实际执行结果是：

Apple(666)

编译器直接对apple对象进行初始化，省去了2次拷贝构造的过程。

webRTC中的WrapUnique函数就是利用这个原理。