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对象能够被函数返回。