一、不能使用一个原始地址初始化多个共享智能指针
如下代码
#include "stdafx.h" #include <iostream> #include <windows.h> #include <memory> using namespace std; struct Test { shared_ptr<Test> getSharedPtr() { return shared_ptr<Test>(this); } ~Test() { cout << "class Test is disstruct ..." << endl; } }; int _tmain(int argc, _TCHAR* argv[]) { Test* pTest = new Test; shared_ptr<Test> sp1(pTest); shared_ptr<Test> sp2(pTest); }
以上代码编译时不会出现错误,但是运行的时候会出错,运行结果:
注意,我们只在堆上申请了一块内存,但是却释放了2次,所以报错。
二、函数不能返回管理了this的共享智能指针对象
如下代码
#include <iostream> #include <memory> using namespace std; struct Test { shared_ptr<Test> getSharedPtr() { return shared_ptr<Test>(this); } ~Test() { cout << "class Test is disstruct ..." << endl; } }; int main() { shared_ptr<Test> sp1(new Test); cout << "use_count: " << sp1.use_count() << endl; shared_ptr<Test> sp2 = sp1->getSharedPtr(); cout << "use_count: " << sp1.use_count() << endl; return 0; }
这种写法其实和第一种是一样的,用new Test匿名对象初始化了sp1,然后调用了getSharedPtr()方法初始化sp2,此时sp1管理的是this,sp2也管理的是this,
相当于1中的用1块原始指针初始化了2个智能指针, 这时程序释放这块堆空间时,就会报错。此时可以使用weak_ptr来解决此问题。
通过输出的结果可以看到一个对象被析构了两次,其原因是这样的:在这个例子中使用同一个指针 this 构造了两个智能指针对象 sp1 和 sp2,这二者之间是没有任何关系的,因为 sp2 并不是通过 sp1 初始化得到的实例对象。在离开作用域之后 this 将被构造的两个智能指针各自析构,导致重复析构的错误。
这个问题可以通过 weak_ptr 来解决,通过 wek_ptr 返回管理 this 资源的共享智能指针对象 shared_ptr。C++11 中为我们提供了一个模板类叫做 std::enable_shared_from_this<T>,这个类中有一个方法叫做 shared_from_this(),通过这个方法可以返回一个共享智能指针,在函数的内部就是使用 weak_ptr 来监测 this 对象,并通过调用 weak_ptr 的 lock() 方法返回一个 shared_ptr 对象。
代码如下:
#include "stdafx.h" #include <iostream> #include <windows.h> #include <memory> using namespace std; struct Test : public enable_shared_from_this<Test> { shared_ptr<Test> getSharedPtr() { return shared_from_this(); } ~Test() { cout << "class Test is disstruct ..." << endl; } }; int _tmain(int argc, _TCHAR* argv[]) { Test* pTest = new Test; shared_ptr<Test> sp1(pTest); shared_ptr<Test> sp2 = sp1->getSharedPtr(); }
三、共享指针不能循环引用