这篇文章主要来源于:codeguru网站的一篇文章:A TR1 tutorial:smart pointer (详细介绍了C++的智能指针,尤其是shared_ptr)。
众所周知,在 TR1 之前,C++标准库中的智能指针只有auto_ptr,但由于它的【排他所有权模式】(exclusive ownership model)导致了许多问题,为解决,C++TR1中引入了 boost 开源库中的智能指针:shared_ptr 和 weak_ptr 并使之成为了标准库的一部分(C++11标准)。
注1:C++ TR1 即 C++ Technical Report 1 是 ISO/IEC TR 19768, C++ Library Extensions(函数库扩充)的一般名称,它是针对 C++ 标准库的第一次扩展。
注2:C++最新标准:C++11已将智能指针:shared_ptr、weak_ptr收录为标准库中,即对应为:std::shared_ptr, std::weak_ptr,相应的头文件:
注3:若读者编译器不支持C++11标准,则编译时:1.将头文件由
由于 auto_ptr 基于【排他所有权模式】,这意味着:两个指针(同类型)不能指向同一个资源,复制或赋值都会改变资源的所有权。
一个简单的例子1:
#include
#include
class A
{
public:
void print(){std::cout<<"A::print"<pa1(new A);
pa1->print();
std::cout<<"pa1 pointer:"<pa2(pa1); //copy constructor
pa2->print();
std::cout<<"pa1 pointer:"<
即即经过复制构造之后,pa1所指向资源的所有权转向了pa2,而pa1变成空,二者不能同时共享该资源。
auto_ptr 主要有两大问题:
新加入标准模板库(STL)的智能指针有两个:
shared_ptr:基于引用计数模型。每次有 shared_ptr 对象指向资源,引用计数器就加1;当有 shared_ptr 对象析构时,计数器减1;当计数器值为0时,被指向的资源将会被释放掉。且该类型的指针可复制和可赋值,即其可用于STL容器中。此外,shared_ptr 指针可与多态类型和不完全类型一起使用。主要缺点:无法检测出循环引用(后面会细说),如一颗树,其中既有指向孩子结点的指针又有指向父亲结点的指针,即孩子父亲相互引用。这会造成资源无法释放,从而导致内存泄露。为了 fix 这个问题,引入了另一个智能指针:weak_ptr.
weak_ptr:指向有shared_ptr 指向的资源(即其需要shared_ptr的参与,其辅助 shared_ptr 之用),但是不会导致计数。一旦计数器为0,不管此时指向资源的 weak_ptr 指针有多少,资源都会被释放,而所有的这些 weak_ptr 指针会被标记为无效状态(即 weak_ptr作为观察shared_ptr 的角色存在着,shared_ptr 不会感受到 weak_ptr 的存在)。
上一例子的shared_ptr 实现-例子2:
#include
#include
class A
{
public:
void print(){std::cout<<"A::print"<sp1(new A); //namespace: std::
sp1->print();
std::cout<<"sp1 pointer:"<sp2(sp1); //copy constructor
sp2->print();
std::cout<<"sp1 pointer:"<
可知:sp2创建后,sp1对资源的所有权并没有被剥夺,而是sp1 和 sp2 均指向了资源,且此时资源的引用计数为2。当两个shard_ptr 指针sp1、sp2 超过其作用域时,最后一个析构的指针将会致使资源的释放(因为引用计数为0了)。
std::shared_ptr 智能指针共享所指向的资源(所有权),即几个 shared_ptr 可同时拥有一个对象,且共享一个控制块(constrol block),包含指向资源的 shared_ptr对象个数、指向资源的 weak_ptr 对象个数以及删除器(deleter:用户自定义的用于释放资源的函数,可以默认没有)。
一个空的 shared_ptr 对象不拥有任何资源和控制块。另一方面,一个 shared_ptr 初始化为一个NULL 指针和一个控制块,这有别有空的 shared_ptr。当共享的引用计数器为0时,资源释放(delete 操作符释放,或由用户提供的 删除器 释放它)。
常见,一个 shared_ptr 对象可由以下四种对象来构造:
它们对应的构造函数如下:
//1
template
explicit shared_ptr(T*);
template
shared_ptr(T*, D);
//2
template
shared_ptr(const shared_ptr&);
//3
template
shared_ptr(const weak_ptr&);
//4
shared_ptr(const auto_ptr&);
get_deleter函数返回一个指针,指向shared_ptr 的删除器,如果没有提供删除器则返回0。
例子3:
#include
#include
class A
{
public:
static A* alloc()
{
A* pa = new A;
std::cout<<"a new object was created"< spa(A::alloc(), &A::free);//deleter: &A::free()
deleter* del = std::get_deleter(spa);
std::cout<<"get_deleter(spa)!=0 == "<
shared_ptr 类重载了-> 操作符和 * 操作符,前者返回指向资源的指针;后者指向资源的引用。故无需内部指针。其原型如下:
template
class shared_ptr
{
public:
T* get() const;
T& operator*()const;
T* operator->()const;
};
例子4:
#include
#include
class A
{
public:
void print(){std::cout<<"A::print"< sp(new A);
A* pa = sp.get();
if(pa)pa->print();
std::cout<<"-> operator: ";
sp->print();
std::cout<<"* operator: ";
(*sp).print();
return 0;
}
shared_ptr 类提供了布尔操作符,允许 shared_ptr 对象用于布尔表达式去检查是否该shared_ptr对象里的指针为NULL。
例子5:
#include
#include
#include
int main()
{
std::shared_ptr sp1;
if(sp1)
{
std::cout<<"pointer in sp1 is not NULL"< sp2(new std::string("hello world"));
if(sp2)
{
std::cout<<"pointer in sp2 is not NULL"<
I、函数原型:void swap(shared_ptr& r); //交换*this 与 r 的内容
II、赋值操作符:operator= ,重载后可将shared_ptr 或 auto_ptr 对象赋值给 shared_ptr 对象。
原型如下:
template
shared_ptr& operatork=(const shared_ptr&r);
template
shared_ptr& operator=(const std::auto_ptr& r);
};
#include
#include
#include
void isEmpty(std::shared_ptr& r)
{
if(r)
{
std::cout<<"pointer in shared_ptr is not NULL"< sp1;
std::cout<<"sp1: ";
isEmpty(sp1);
std::shared_ptr sp2(new std::string("hello world"));
std::cout<<"sp2: ";
isEmpty(sp2);
sp1.swap(sp2); //swap
std::cout<<"after swap:"<
函数原型:
//use_count
long use_count() const; //返回所有指向共享资源的shared_ptr 指针对象的个数
//unique()
bool unique() const; //检查是否当前只有一个share_ptr 指针指向共享的资源。等价于:use_count() == 1
#include
#include
#include
int main()
{
std::shared_ptr sp1(new std::string("hello world"));
std::cout<<"unique:"< sp2(sp1);
std::cout<<"unique:"<
函数原型:
//std::shared_ptr::reset
void reset();
template
void reset(Y* ptr);
template
void reset(Y* ptr, Deleter d);
例子8:
#include
#include
class A
{
private:
int m_x;
public:
explicit A(int x =0):m_x(x){}
int getX(){return m_x;}
int setX(int x){m_x = x;}
void print(){std::cout<<"A::print"<getX();
delete pa;
std::cout<<",A object was destroyed"< sp1(new A(10),&A::free);
std::shared_ptr sp2(sp1);
std::shared_ptr sp3(sp1);
std::cout<<"sp1 x :"<getX()<getX()<getX()<getX()<getX()<getX()<
由前面提到,shared_ptr 相比于 auto_ptr,可复制和赋值,故可用于 STL 容器中。
下面的例子9:将shared_ptr
#include
#include
#include
#include
std::shared_ptr double_it(const std::shared_ptr& sp)
{
*sp *= 2;
return sp;
}
int main()
{
std::vector> numbers;
numbers.push_back(std::shared_ptr(new int(1)));
numbers.push_back(std::shared_ptr(new int(2)));
numbers.push_back(std::shared_ptr(new int(3)));
std::cout<<"initially"<>::const_iterator it = numbers.begin(); it != numbers.end(); it++)
{
std::cout<<*(*it)<<"(count = "<<(*it).use_count()<<")"<>::const_iterator it = numbers.begin(); it != numbers.end(); it++)
{
std::cout<<*(*it)<<"(count = "<<(*it).use_count()<<")"<
如 D 是 B 的子类,则可用shared_ptr类型的对象(基类指针)接收shared_ptr
例子10:
#include
#include
#include
#include
class Item
{
private:
std::string title_;
public:
explicit Item(const std::string& title):title_(title){}
virtual ~Item(){}
virtual std::string Description() const = 0;
std::string getTitle()const {return title_;}
};
class Book: public Item
{
private:
int pages_;
public:
Book(const std::string& title, int pages):Item(title),pages_(pages){}
virtual std::string Description()const {return "Book: " + getTitle();}
int getPages()const {return pages_;}
};
class DVD: public Item
{
private:
int tracks_;
public:
DVD(const std::string& title, int tracks):Item(title),tracks_(tracks){}
virtual std::string Description() const {return "DVD: " + getTitle();}
int getTracks()const {return tracks_;}
};
int main()
{
std::vector> items;
items.push_back(std::shared_ptr(new Book("C++ Primer",745)));
items.push_back(std::shared_ptr(new DVD("MrVanGogh",9)));
for(std::vector>::const_iterator it = items.begin(); it != items.end(); it++)
{
std::cout<<(*it)->Description()<
输出:
C++ 中提供了四种强制类型转换操作符:static_cast, dynamic_cast, const_cast, reinterpret_cast。而关于shared_ptr 无法利用这些原始的操作符进行转换,其定义了自己的类型转换操作符:static_pointer_cast, dynamic_pointer_cast, const_pointer_cast 。
如【9】中提到的 “若 D 是 B的子类 ”,其为向上转换,但能否向下转换呢?即从 shared_ptr 到 shared_ptr
I、使用 std::dynamic_pointer_cast,可以达到目的:
template
shared_ptr dynamic_pointer_cast(const shared_ptr& r);
例子11:
#include
#include
#include
class Item
{
private:
std::string title_;
public:
explicit Item(const std::string& title):title_(title){}
virtual ~Item(){}
virtual std::string Description() const = 0;
std::string getTitle()const {return title_;}
};
class Book: public Item
{
private:
int pages_;
public:
Book(const std::string& title, int pages):Item(title),pages_(pages){}
virtual std::string Description()const {return "Book: " + getTitle();}
int getPages()const {return pages_;}
};
class DVD: public Item
{
private:
int tracks_;
public:
DVD(const std::string& title, int tracks):Item(title),tracks_(tracks){}
virtual std::string Description() const {return "DVD: " + getTitle();}
int getTracks()const {return tracks_;}
};
int main()
{
std::shared_ptr- spi(new DVD("MrVanGogh", 9));
std::cout<<"spi counter: "<
spb = std::dynamic_pointer_cast(spi);
if(spb)
{
std::cout<getTitle()<<", "<getPages()< spd = std::dynamic_pointer_cast(spi);
if(spd)
{
std::cout<getTitle()<<", "<getTracks()<
II、static_pointer_cast
根据 static_cast 的知识:编译器隐式执行的任何类型转换都可以由static_cast 显示完成(如 int -> char;); 如果编译器不提供自动转换,使用 static_cast 来执行类型转换也是很有用的(如,找回存放在 void* 指针中的值)。
注意:static_cast 转换的一个特点就是:它只会生成原变量的副本,不会对原变量有任何修改。
而static_pointer_cast 工作的前提是:static_cast
例子12:
#include
#include
#include
int main()
{
std::vector> items;
std::shared_ptr sp1(new char('A'));
std::shared_ptr sp2(new int(66)); //66 ASCII : 'B'
std::cout<<"after creating the shared_ptr"< spc1 = std::static_pointer_cast(*(items.begin()));
if(spc1)
{
std::cout<<"&spc1: "<<&spc1< spc2 = std::static_pointer_cast(*(items.begin()+1));
if(spc2)
{
std::cout<<"&spc2: "<<&spc2< spd2 = std::static_pointer_cast(*(items.begin()+1));
if(spd2)
{
std::cout<<"&spd2: "<<&spd2<
III、const_pointer_cast
若 const_cast
原型:
template
shared_ptrcosnt_pointer_cast(const shared_ptr& r);
引入:由于 shared_ptr 智能指针的缺陷:无法检测循环引用(关于 share_ptr 的循环引用详细内容,可参见我的另一篇文章:Effective shared_ptr)---这是所有引用型智能指针的硬伤。为了解决这个问题又引入了 weak_ptr 指针。
概念:该类型智能指针也是指向由 shared_ptr 所指向的资源,但是不增加引用计数,故称为”弱引用(weak reference)“ 。当最后拥有资源的最后一个 shared_ptr 对象离开其作用域时,资源被释放,weak_ptr 被标记为无效状态。并且可以通过函数 expired() 来检查是是否 weak_ptr 处于无效状态。weak_ptr 在访问所引用的对象前必须先转换为 shared_ptr, 即其【来于 shared_ptr 也去于 shared_ptr】。
作用(观察者的角度):weak_ptr 是用来表达临时所有权的概念:当某个对象只有存在时才需要被访问,而且随时可以被他人删除时,可以使用 weak_ptr 来跟踪该对象。需要获得临时所有权时,则将其转换为 shared_ptr ,此时若原来的 shared_ptr 被销毁,则该对象的生命周期将延长至这个临时生成的 shared_ptr 同样被销毁为止。
线程安全:考虑到多线程环境下,可通过std::weak_ptr::lock函数创建一个新的shared_ptr 管理对象的共享所有权-----作为临时访问的shared_ptr(此时引用计数是会增1 的,即此临时的 shared_ptr 若没有离开其作用域,共享的资源是不会被释放的)。如果没有管理的对象,即*this 为空,则返回的 shared_ptr 也是空;否则返回:shared_ptr
例子13:
#include
#include
void show(const std::weak_ptr& wp)
{
std::shared_ptr sp = wp.lock();
std::cout<<*sp< wp;
{ //create a namesapce deliberately
std::shared_ptr sp(new int(10));
wp = sp;
show(wp);
}
std::cout<<"expire: "<
由于shared_ptr智能指针存在缺陷,故用好它也是很关键的问题,具体内容,见续集:Effective shared_ptr.