智能指针 shared_ptr 解析

时间:2024-01-06 14:19:32

近期正在进行《Effective C++》的第二遍阅读,书里面多个条款涉及到了shared_ptr智能指针,介绍的太分散,学习起来麻烦。写篇blog整理一下。

LinJM   @HQU

shared_ptr是一个智能指针。在C++ 11颁布之前,它包括在TR1(Technical Report 1)其中,如今囊括在C++11的标准库中。

智能指针

智能指针(Smart pointers)是存储“指向动态分配(在堆上)的对象的指针”的对象。也就是说。智能指针事实上是个对象。只是它的行为非常像C++的内建指针,仅仅是它们能够在适当的时候自己主动删除它们所指向的对象。智能指针在面对异常时有非常显著的作用,它们能够确保动态分配对象的全然析构。它们还能够用于跟踪多主人共享的动态分配对象。

在概念上,智能指针能够看作拥有它所指向的对象,并因此在对象不再须要时负责将它删除。

假设对智能指针的概念还不是非常清晰,再看以下的介绍:

A smart pointer is anabstract data type that simulates a pointer while providing additional features, such as automatic
memory management or bounds checking. These additional features are intended to reduce bugs caused by the misuse of pointers while retaining efficiency. Smart pointers typically keep track of the memory they point to. They may also be used to manage other
resources, such as network connections and file handles.     Misuse of pointers is a major source of bugs.Smart pointers prevent most situations of memory leaks by making the memory deallocation automatic.More generally, they make object destruction
automatic: the object controlled by a smart pointer is automatically destroyed (finalized and then deallocated) when the last (or only) owner of the object is destroyed, for example because the owner is a local variable, and execution leaves the variable's
scope. Smart pointers also eliminate dangling pointers by postponing destruction until the object is no longer in use.



shared_ptr

前面已经说了shared_ptr是个智能指针。类似于vector。智能指针也是模板。因此,当我们创建一个智能指针时,必须提供额外的信息——指针能够指向的类型。与vector一样,我们在尖括号内给出类型,之后是所定义的这样的智能指针的名字:

shared_ptr<string> p1;     // shared_ptr,能够指向string
shared_ptr<list<int>> p2; // shared_ptr,能够指向int的list

默认初始化的智能指针中保存着一个空指针。

智能指针的使用方式与普通指针类似。解引用一个智能指针返回它指向的对象。

假设在一个条件推断中使用智能指针,效果就是检測它是否为空:

//假设p1不为空,检查它是否指向一个空string
if (p1 && p1->empty())
*p1 = "hi"; // 假设p1指向一个空string,解引用p1。将一个新值赋予string

以下列出shared_ptr支持的操作:

shared_ptr<T> p 空智能指针。能够指向类型为T的对象
p 将p用作一个条件推断,若p指向一个对象,则为true
*p 解引用p,获得它所指向的对象
p->mem 等价于(*p).mem
p.get()
返回p中保存的指针。

要小心使用。若智能指针释放了其对象,返回指针所指向的对象也就消失了

swap(p,q)或p.swap(q) 交换p和q的指针
make_shared<T>(args) 返回一个shared_ptr,指向一个动态分配的类型为T的对象。使用args初始化此对象
shared_ptr<T> p(q)
p是shared_ptr q的拷贝;此操作会递增q中的计数器。

q中的指针

必须能转化为T*
p=q
p和q都是shared_ptr,所保存的指针必须能相互转换。此操作会
递减p的引用计数,递增q的引用计数
p.unique() 若p.use_count()为1。返回true,否则返回false
p.use_count() 返回与p共享对象的智能指针数量:可能非常慢。主要用于调试

样例:

//p3指向一个值为42的int的shared_ptr
shared_ptr<int> p3 = make_shared<int>(42);
//p4指向一个值为“99999999”的string
shared_ptr<string> p4 = make_shared<string>(10,'9');

以对象管理资源

上面我们对shared_ptr进行了初步的介绍。只是它的长处我们还没開始阐述。shared_ptr的一个重大长处就是它实现了“以对象管理资源”这个资源管理思想。所谓资源就是,一旦使用了它。将来必须还给系统。在C++中最常使用的资源就是动态分配内存(假设你分配内存却从未归还过,那就会导致内存泄漏),主要通过一对运算符来完毕:new,在动态内存中为对象分配空间并返回一个指向该对象的指针。我们能够选择对对象进行初始化。delete,接受一个动态对象的指针。销毁该对象,并释放与之相关联的内存。

动态内存的使用非常easy出现故障,由于确保在正确的时间释放内存是极其困难的。有时候我们会忘记释放内存。在这样的情况下就会产生内存泄漏。有时在尚有指针引用内存的情况下我们就释放了它,在这样的情况下就会产生非法引用内存的指针。

那么,为了更easy(同一时候更安全)地使用动态内存,我们须要使用智能指针类型来管理动态对象。在C++11之前,C++的标准库提供了auto_ptr来管理动态对象,而tr1中提供了shared_ptr。如今C++11新的标准库将tr1的内容包括进去,提供了两种智能指针来管理动态对象,这两种智能指针的差别在于管理底层指针的方式:shared_ptr同意多个指针指向同一个对象。unique_ptr则“独占”所指向的对象。标准库还定义了一个名为weak_ptr的伴随类。它是一种弱引用。指向shared_ptr所管理的对象。这三种类型都定义在memory头文件里。

以下用一个样例来分析资源管理。

如果我们有一个class Investment,当中包括一个函数createInvestment()供应我们某特定的Investment对象:

// 返回指针,指向Investment继承体系内的动态分配对象。调用者有责任删除它。

// 这里为了简化,刻意不写參数
Investment * createInvestment();

一如凝视所言。createInvestment的调用端使用了函数返回的对象后,有责任删除之。如今考虑有个f()函数履行这个责任:

void f()
{
Investment * pInv = createInvestment();
....
delete pInv;
}

这看起来妥当,但在若干情况下f()可能无法删除它得自createInvestment的对象——也许由于“....”区域中一个过早的return语句或者异常返回,这样程序的控制流就绝不会触及delete语句。从而造成内存泄漏。

当然啦。慎重地编敲代码能够防止这一类错误,可是你必须想想。代码可能会在时间渐渐过去后被改动。

一旦软件開始维护,可能有人加入了return语句。

因此,单纯地依赖“f()总是会运行其delete语句”是行不通的。

那我们该怎么办呢?非常easy——以对象管理资源

把资源放进对象内,当控制流离开f( )。该对象的析构函数会自己主动释放那些资源。

void f()
{
std::tr1::shared_ptr<Investment> pInv(createInvestment());
.....
}

这个简单的样例示范了“以对象管理资源”的两个关键想法:

  • 获得资源后立马放进管理对象内。

    以上代码中createInvestment返回的资源被当作其管理者shared_ptr的初值。实际上“以对象管理资源”的观念常被称为“资源取得时机便是初始化时机”,由于我们差点儿总是在获得一笔资源后于同一语句内以它初始化某个管理对象。
  • 管理对象运用析构函数确保资源被释放。不论控制流怎样离开区块。一旦对象被销毁其析构函数自然会被自己主动调用。于是资源被释放。

假设能够,我推荐你看看《C++ Primer》5th 的第12章,里面比較系统地介绍了shared_ptr的用法!

!!。假设你想深入了解shared_ptr,那么Ref[6]值得学习。

Refs:

[1] Stanley B.Lippman. C++ Primer 5th 中文版.电子工业出版社, 2013.

[2] Scott Meyers. Effective C++中文版.电子工业出版社, 2011.

[3] Boost C++ libraries:Smart Pointers 智能指针.

[4] Boost C++ libraries:shared_ptr类模板

[5] John M. Dlugosz. Smart Pointers Overview

[6] std::tr1::shared_ptr源代码赏析

[7] Yonat Sharon. Smart Pointers - What, Why, Which?

本文地址:http://blog.csdn.net/linj_m/article/details/25045403

很多其它相关资源 请关注博客:LinJM-机器视觉 微博:林建民-机器视觉