码迷,mamicode.com
首页 > 其他好文 > 详细

duang!!!为什么函数能够返回unique_ptr

时间:2018-02-10 19:27:26      阅读:192      评论:0      收藏:0      [点我收藏+]

标签:为什么   高级   blog   post   标准   csdn   释放   编译器   sdn   

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

duang!!!为什么函数能够返回unique_ptr

标签:为什么   高级   blog   post   标准   csdn   释放   编译器   sdn   

原文地址:https://www.cnblogs.com/llguanli/p/8439410.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!