为什么函数可以返回unique_ptr

从智能指针说起

对高手而言，指针是上天入地的神器；对新手而言，那简直是灾难的源泉。高级语言如Java，C#都自动管理内存，你只管new，不必操心内存释放问题。 Bjarne StroustrupC认为++加入垃圾回收机制将做不适合系统底层的开发，为此C++提倡使用RAII来管理资源。auto_ptr就是根据这种理念而诞生的智能指针，本意是想编写个效率接近原生指针，但具有资源所有权安全的智能指针。当发生赋值，拷贝构造时，所有权就发生转移。这就显的很鸡肋，不能放入STL容器中，因为它的拷贝构造和传统的拷贝构造不一样。

unique_ptr取代auto_ptr

C++11的右值引用和move语义解决了这个问题，于是乎unique_ptr取代auto_ptr。为什么unique_ptr可以放入容器呢？如：

vector<unique_ptr<Song>> v;

v.push_back(unique_ptr<Song>(new Song("B'z","Juice")));

答案是unique_ptr可以move，不能copy。它没有拷贝构造，拷贝赋值，但是有move构造，move赋值。尽管可以放入容器内，但不是所有函数都是可以用的，当然了，必要的时候可以使用std::move来将左值转化为右值。

现在，有这么一个问题，unique_ptr没有copy函数，那么，函数是如何返回unique_ptr的呢？比如C++14就有个make_unique的模板函数返回了unique_ptr。我们来看看他的实现：

template<class T,     class... Types>

unique_ptr<T> make_unique(Types&&... Args)

{

    return (unique_ptr<T>(new T(forward<Types>(Args)...)));   

}

这个函数会调用拷贝构造吗，一开始我也很迷惑，经过一番查找之后，基本可以确认不会调用拷贝构造。

RVO和NRVO

当函数返回一个对象时，理论上会产生临时变量，那必然是会导致新对象的构造和旧对象的析构，这对效率是有影响的。C++编译针对这种情况允许进行优化，哪怕是构造函数有副作用，这叫做返回值优化（RVO),返回有名字的对象叫做具名返回值优化(NRVO)，就那RVO来说吧，本来是在返回时要生成临时对象的，现在构造返回对象时直接在接受返回对象的空间中构造了。假设不进行返回值优化，那么上面返回unique_ptr会不会有问题呢？也不会。因为标准允许编译器这么做：

1.如果支持move构造，那么调用move构造。

2.如果不支持move，那就调用copy构造。

3.如果不支持copy，那就报错吧。

显然的，unique_ptr是支持move构造的，unique_ptr对象可以被函数返回。