C++虐我千百遍,我待C++如初恋
从智能指针说起
对高手而言,指针是上天入地的神器;对新手而言,那简直是灾难的源泉。高级语言如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对象可以被函数返回。