对智能指针的思考
shared_ptr
设计意图是为了更方便,更安全的管理堆上分配的对象。
原理是利用了raii
的特性在对象出作用域后会自动调用析构函数,从而在判定自己是最后一个持有管理对象的情况下,调用其析构函数,释放内存。
特性 { 构造,copy构造,赋值,移动构造,移动赋值}
-
std::shared_ptr<int> a(new int(1)); //a:use 1 std::shared_ptr<int> b(a); //b:use 2 ; a:use 2 std::shared_ptr<int> c(std::move(b)); //c:use 2 ; a:use 2 ; b:empty
enable_shared_from_this
weak_ptr
设计意图: 这里我想从它的特性来反看为啥设计这个东西。
它的特性是: 不参与控制所指对象的生命周期, 在shared_ptr
发现自己是最后一个管理对象的时候,在其析构的时候会直接释放掉所管理的对象,即使这个时候还有weak_ptr
指向这个对象,所以在用它的时候要先 lock()
一下看看返回的是不是空的shared_ptr
。
它与直接用裸指针的区别是 它可以检测所指的对象是否被析构
所以这里可以看出来
weak_ptr
是为了配合shared_ptr
来控制所接管对象的,并且从它的源码可以看出它不能直接接管所指对象,如下。
weak_ptr<classType> type(new ClassType) //这样不行
疑问 :如下nn1 == nn3 == 8
编译器分配了8个字节 其中4个字节的指针来指向接管的对象,另外4字节指针指向一个控制块,我的问题是这个控制块里为啥要分 强引用计数 和 弱引用计数 ,弱引用计数有啥用我感觉可以去掉!
//接上面的 win32 debug平台
std::weak_ptr<IBase> d(c);
int nn1 = sizeof(d);
int nn3 = sizeof(c);
场景 循环引用打破
class IBaseA
{
shared_ptr<IBaseB> m_iB;
};
class IBaseB
{
shared_ptr<IBaseA> m_iA;
}
{
std::shared_ptr<IBaseA> IA(new IBaseA);
std::shared_ptr<IBaseB> IB(new IBaseB)
IA->m_iB = IB;
IB->m_iA = IA;
assert(IA.use_count() == 2);
assert(IB.use_count() == 2);
}
//出作用域后 明明没有shared_ptr指向 IBaseA 或 IBaseB, 但由于它们引用计数都是二所以即使出作用域也是改为1 造成内存泄漏。
参考连接 :SharedAnalyse
Unique_ptr
特性 与shared_ptr
不同它没有 copy构造函数与赋值运算符。vs中源码如下:
class unique_ptr
{ // non-copyable pointer to an object
public:
//....
unique_ptr(const unique_ptr&) = delete;
unique_ptr& operator=(const unique_ptr&) = delete;
unique_ptr(unique_ptr<_Ty2, _Dx2>&& _Right) noexcept;
unique_ptr& operator=(unique_ptr<_Ty2, _Dx2>&& _Right) noexcept
{ // assign by moving _Right
reset(_Right.release());
this->get_deleter() = _STD forward<_Dx2>(_Right.get_deleter());
return (*this);
}
};
同一时刻只能有一个unique_ptr
接管所指的对象, 它与auto_ptr
不同之处在与它可以放在容器中,这就是利用了它虽然不能copy但能移动构造的特点。
设计意图 这方面我觉得它是为了用更小的代价来管理所接管对象,因为比之shared_ptr
来说它不用维护一个引用计数器。