modern c++(5)-智能指针

auto_ptr与unique_ptr

auto_ptr与unique_ptr都是独占所有权的智能指针类型,前者由C++98引入,而后者则是由C++11新引入并且指明要用unique_ptr代替auto_ptr。理由主要是以下两点:

  1. auto_ptr的复制语义直接将所有权移交给新的auto_ptr对象不符合直觉,而这也使得在STL容器中是没法安全存放auto_ptr对象的,因为STL中的实现都是假定元素是可以安全复制的,比如«effective STL»中举的一个例子就是STL中的sort算法的实现可能是快速排序(quicksort),快排中每一次分区都会选出一个主元素(pivot)复制给临时变量,再对所有元素进行分区,这样就会造成每次选出的主元素被意外析构。
    而unique_ptr却得益于C++11引入的移动语义,并且实现了无异常的移动语义(STL中容器在编译阶段会判断元素的移动构造或移动赋值函数是否是无异常的,因为只有无异常的移动语义才能保证STL的强异常安全),于是可以安全地作为STL元素使用。
  2. auto_ptr只支持单对象的指针,不支持指针数组,因为auto_ptr的析构函数调用的是delete。而unique_ptr可以传入自己的删除器(deleter)来控制析构过程。

优化unique_ptr的内存空间

默认情况下unique_ptr的大小就等于原始指针的大小,比如在64位系统上就是8个字节。

#include <iostream>
#include <memory>

using namespace std;

int main() {
    unique_ptr<int> pi(new int);

    cout << sizeof(pi) << endl;

    return 0;
}

这里会输出8(字节)


图1

但是如果自己传入自定义的删除器(deleter)函数,则会增加一个指针大小,因为unique_ptr对象还要保存删除器函数指针。

#include <iostream>
#include <memory>

using namespace std;

void deleter(int *pi) noexcept {
    delete pi;
}

int main() {
    unique_ptr<int, decltype(deleter) *> pi(new int, deleter);

    cout << sizeof(pi) << endl;

    return 0;
}

这里会输出16(字节)

图2

但是也有另外的方法来优化自定义删除器(deleter)占用的空间,比如使用lambda函数,不过需要lambda函数的捕捉列表为空,这是因为lambda的底层实现是仿函数,当捕捉列表为空也就意味着该仿函数对应的类成员变量为空,于是当不包含成员变量的lambda对象作为unique_ptr的成员变量时编译器就会优化掉其占用的空间

#include <iostream>
#include <memory>

using namespace std;

int main() {
    auto deleter = [](int *pi) { delete pi; };

    unique_ptr<int, decltype(deleter)> pi(new int, deleter);

    cout << sizeof(pi) << endl;

    return 0;
}

这里会输出8(字节)


图3

shared_ptr

shared_ptr通过引用计数实现了更强大的资源管理能力,每当新增一个shared_ptr指向资源时,计数加一;每当销毁一个指向资源的shared_ptr时计数减一,当计数归零时自动释放资源。
一般引用计数的实现是通过引入额外的数据结构来保存相关信息(强引用计数,弱引用计数,删除器等),再让shared_ptr保存指向资源和额外数据结构的指针即可:

shared_ptr

这里强引用计数(reference count)就是资源的引用计数;而弱引用计数(weak count)和下面的weak_ptr相关,暂时不用管。

使用make_shared创建shared_ptr

在«effective modern c++»中提到,使用make_shared创建shared_ptr比直接通过shared_ptr的构造函数或者reset函数要更高效

#include <iostream>
#include <memory>

using namespace std;

int main() {
    shared_ptr<int> spi1(new int);

    auto spi2 = make_shared<int>();

    int hold;
    cin >> hold;
    return 0;
}

这里spi1是要调用两次内存分配的,而make_shared却可以只进行一次内存分配:

make_shared

就是直接一次性申请出控制块和资源对象内存空间之和,然后再调用就地构造(placement new)构造出资源对象。
其次make_shared在一定程度更支持异常安全,比如在«effective c++»和«effective modern c++»中都提到的,当在传入函数参数的时候构造智能指针时,是可能会造成资源泄漏的:

#include <iostream>
#include <memory>
#include <exception>

using namespace std;

bool priority() {
    throw exception();

    return true;
}

void func(shared_ptr<int> spi, bool flag) {
    cout << *spi << endl;
    cout << flag << endl;
}

int main() {
    func(shared_ptr<int>(new int), priority());

    int hold;
    cin >> hold;
    return 0;
}

其实还是那个问题,就是C和C++都没有规定函数参数的执行顺序,这里参数传递主要涉及三个步骤:

  1. new int
  2. shared_ptr<int>()
  3. priority

这里能确定的是1发生在2之前,但3却不确定,所以当3出现在1和2的中间,抛出异常就会造成内存泄漏。
而make_shared则没有这个问题。

weak_ptr

weak_ptr算是shared_ptr的一个补丁,可以用于解决shared_ptr的一些缺陷。weak_ptr和shared_ptr不同,并不拥有资源的所有权,只是资源的一个观察者,可以通过shared_ptr和weak_ptr创建新的weak_ptr,同时将控制块中的弱引用计数(weak count)加一
强引用计数和弱引用计数的却别就是,当强引用计数归零时,将自动释放资源,而当之后弱引用计数也归零时才会释放控制块占用的内存资源。

  1. 可以用weak_ptr作为资源的智能缓存
shared_ptr<int> factory() {
    static weak_ptr<int> wpi;

    return wpi.lock();
}

这样可以实现当没有shared_ptr占用资源的时候可以自动释放资源,并且可以通过weak_ptr检测出来资源是否已被释放(expire)。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,053评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,527评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,779评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,685评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,699评论 5 366
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,609评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,989评论 3 396
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,654评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,890评论 1 298
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,634评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,716评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,394评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,976评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,950评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,191评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,849评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,458评论 2 342

推荐阅读更多精彩内容

  • 原作者:Babu_Abdulsalam 本文翻译自CodeProject,转载请注明出处。 引入### Ooops...
    卡巴拉的树阅读 30,066评论 13 74
  • C++裸指针的内存问题有:1、空悬指针/野指针2、重复释放3、内存泄漏4、不配对的申请与释放 使用智能指针可以有效...
    WalkeR_ZG阅读 3,086评论 0 5
  • 导语: C++指针的内存管理相信是大部分C++入门程序员的梦魇,受到Boost的启发,C++11标准推出了智能指针...
    7ee72f98ad17阅读 866评论 0 1
  • 导读## 最近在补看《C++ Primer Plus》第六版,这的确是本好书,其中关于智能指针的章节解析的非常清晰...
    小敏纸阅读 1,989评论 1 12
  • 姓名:王成 公司:浙江中兴精密集团 六项精进277期学员(组长) 六项精进426期志工(感谢一组) 宁波盛和塾成立...
    王成_19ae阅读 140评论 0 0