c/c++开发分享一文掌握 C++ 智能指针的使用方法

服务器sass管理系统

目录一、raii 与引用计数一、raii 与引用计数了解 objective-c/swift 的程序员应该知道引用计数的概念。引用计数这种计数是为了防止内存泄露而产生的。基本想法是对于动态分配的对象,

目录
  • 一、raii 与引用计数

一文掌握 C++ 智能指针的使用方法

一、raii 与引用计数

了解 objective-c/swift 的程序员应该知道引用计数的概念。引用计数这种计数是为了防止内存泄露而产生的。

基本想法是对于动态分配的对象,进行引用计数,每当增加一次对同一个对象的引用,那么引用对象的引用计数就会增加一次, 每删除一次引用,引用计数就会减一,当一个对象的引用计数减为零时,就自动删除指向的堆内存。

在传统c++中,『记得』手动释放资源,总不是最佳实践。因为我们很有可能就忘记了去释放资源而导致泄露。所以通常的做法是对于一个对象而言,我们在构造函数的时候申请空间,而在析构函数(在离开作用域时调用)的时候释放空间, 也就是我们常说的 raii 资源获取即初始化技术。

凡事都有例外,我们总会有需要将对象在自由存储上分配的需求,在传统 c++ 里我们只好使用 new delete 去 『记得』对资源进行释放。而 c++11 引入了智能指针的概念,使用了引用计数的想法,让程序员不再需要关心手动释放内存。

这些智能指针就包括 std::shared_ptr std::unique_ptr std::weak_ptr,使用它们需要包含头文件<memory>。

注意:引用计数不是圾回收,引用计数能够尽快收回不再被使用的对象,同时在回收的过程中也不会造成长时间的等待, 更能够清晰明确的表明资源的生命周期。

二、std::shared_ptr

std::shared_ptr 是一种智能指针,它能够记录多少个 shared_ptr 共同指向一个对象,从而消除显式的调用 delete,当引用计数变为零的时候就会将对象自动删除。

但还不够,因为使用 std::shared_ptr 仍然需要使用 new 来调用,这使得代码出现了某种程度上的不对称。

std::make_shared 就能够用来消除显式的使用 new,所以 std::make_shared 会分配创建传入参数中的对象, 并返回这个对象类型的 std::shared_ptr 指针。例如:

%ignore_pre_1%

std::shared_ptr 可以通过 get() 方法来获取原始指针,通过 reset() 来减少一个引用计数, 并通过 use_count() 来查看一个对象的引用计数。例如:

  auto pointer = std::make_shared<int>(10);    auto pointerpointer2 = pointer; // 引用计数+1    auto pointerpointer3 = pointer; // 引用计数+1    int *p = pointer.get(); // 这样不会增加引用计数    std::cout << "pointer.use_count() = " << pointer.use_count() << std::endl; // 3    std::cout << "pointer2.use_count() = " << pointer2.use_count() << std::endl; // 3    std::cout << "pointer3.use_count() = " << pointer3.use_count() << std::endl; // 3    pointer2.reset();    std::cout << "reset pointer2:" << std::endl;    std::cout << "pointer.use_count() = " << pointer.use_count() << std::endl; // 2    std::cout << "pointer2.use_count() = " << pointer2.use_count() << std::endl; // 0, pointer2 已 reset    std::cout << "pointer3.use_count() = " << pointer3.use_count() << std::endl; // 2    pointer3.reset();    std::cout << "reset pointer3:" << std::endl;    std::cout << "pointer.use_count() = " << pointer.use_count() << std::endl; // 1    std::cout << "pointer2.use_count() = " << pointer2.use_count() << std::endl; // 0    std::cout << "pointer3.use_count() = " << pointer3.use_count() << std::endl; // 0, pointer3 已 reset     

三、std::unique_ptr

std::unique_ptr 是一种独占的智能指针,它禁止其他智能指针与其共享同一个对象,从而保证代码的安全:

  std::unique_ptr<int> pointer = std::make_unique<int>(10); // make_unique 从 c++14 引入    std::unique_ptr<int> pointerpointer2 = pointer; // 非法       

make_unique 并不复杂,c++11 没有提供 std::make_unique可以自行实现:

  template<typename t, typename ...args>    std::unique_ptr<t> make_unique( args&& ...args ) {      return std::unique_ptr<t>( new t( std::forward<args>(args)... ) );    }       

至于为什么没有提供,c++ 标准委员会主席 herb sutter 在他的博客中提到原因是因为『被他们忘记了』。

既然是独占,换句话说就是不可复制。但是,我们可以利用 std::move 将其转移给其他的 unique_ptr,例如:

  #include <iostream>    #include <memory>    struct foo {        foo() { std::cout << "foo::foo" << std::endl; }        ~foo() { std::cout << "foo::~foo" << std::endl; }        void foo() { std::cout << "foo::foo" << std::endl; }    };    void f(const foo &) {        std::cout << "f(const foo&)" << std::endl;    }    int main() {        std::unique_ptr<foo> p1(std::make_unique<foo>());        // p1 不空, 输出        if (p1) p1->foo();        {            std::unique_ptr<foo> p2(std::move(p1));            // p2 不空, 输出            f(*p2);            // p2 不空, 输出            if(p2) p2->foo();            // p1 为空, 无输出            if(p1) p1->foo();            p1 = std::move(p2);            // p2 为空, 无输出            if(p2) p2->foo();            std::cout << "p2 被销毁" << std::endl;        }        // p1 不空, 输出        if (p1) p1->foo();        // foo 的实例会在离开作用域时被销毁    }     

四、std::weak_ptr

如果你仔细思考 std::shared_ptr 就会发现依然存在着资源无法释放的问题。看下面这个例子:

  struct a;    struct b;    struct a {        std::shared_ptr<b> pointer;        ~a() {            std::cout << "a 被销毁" << std::endl;        }    };    struct b {        std::shared_ptr<a> pointer;        ~b() {            std::cout << "b 被销毁" << std::endl;        }    };    int main() {        auto a = std::make_shared<a>();        auto b = std::make_shared<b>();        a->pointer = b;        b->pointer = a;    }       

运行结果是 a, b 都不会被销毁,这是因为 a,b 内部的 pointer 同时又引用了 a,b,这使得 a,b 的引用计数均变为了 2,而离开作用域时,a,b 智能指针被析构,却只能造成这块区域的引用计数减一。

这样就导致了 a,b 对象指向的内存区域引用计数不为零,而外部已经没有办法找到这块区域了,也就造成了内存泄露,如图 1:

一文掌握 C++ 智能指针的使用方法

解决这个问题的办法就是使用弱引用指针 std::weak_ptr,std::weak_ptr是一种弱引用(相比较而言 std::shared_ptr 就是一种强引用)。

弱引用不会引起引用计数增加,当换用弱引用时候,最终的释放流程如图 2 所示:

一文掌握 C++ 智能指针的使用方法

在上图中,最后一步只剩下 b,而 b 并没有任何智能指针引用它,因此这块内存资源也会被释放。

std::weak_ptr 没有 * 运算符和 -> 运算符,所以不能够对资源进行操作,它的唯一作用就是用于检查 std::shared_ptr 是否存在,其 expired() 方法能在资源未被释放时,会返回 false,否则返回 true

五、总结

智能指针这种技术并不新奇,在很多语言中都是一种常见的技术,现代 c++ 将这项技术引进,在一定程度上消除了 new/delete 的滥用,是一种更加成熟的编程范式。

到此这篇关于一文掌握 c++ 智能指针的使用方法的文章就介绍到这了,更多相关c++ 智能指针的使用内容请搜索<猴子技术宅>以前的文章或继续浏览下面的相关文章希望大家以后多多支持<猴子技术宅>!

需要了解更多c/c++开发分享一文掌握 C++ 智能指针的使用方法,都可以关注C/C++技术分享栏目—猴子技术宅(www.ssfiction.com)

本文来自网络收集,不代表猴子技术宅立场,如涉及侵权请点击右边联系管理员删除。

如若转载,请注明出处:https://www.ssfiction.com/c-cyuyankaifa/793011.html

发表评论

邮箱地址不会被公开。 必填项已用*标注