为什么要引入“弱引用”指针呢? 弱引用指针就是没有“所有权”的指针。有时候我只是想找个指向这块内存的指针,但我不想把这块内存的生命周期与这个指针关联。这种情况下,弱引用指针就代表“我指向这东西,但这东西什么时候释放不关我事儿……”
有些地方为了方便,直接用原始指针(raw pointer)来表示弱引用。然后用这种原始指针,其弱引用的含义不够明确,万一别人写个delete xxxx,你就被坑了……而且弱引用指针还有其它一些方便你正确使用它的好处。
作者:张景旺
链接:https://www.zhihu.com/question/26851369/answer/34271911
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
weak_ptr 只能由shared_ptr或者其它的weak_ptr构造。参见 std::weak_ptr::weak_ptr
关于shared_ptr的实现,可以参见 make a shared_ptr from scratch . weak_ptr和shared_ptr共享一个引用计数对象,在引用计数对象上增加一个weak_count, 但不增加ref_count.引用计数对象当ref_count减至zero时会销毁其管理的资源,weak_ptr可以通过ref_count是否为0来判断指向的资源是否可用。当ref_count和weak_count都为0时引用计数对象会销毁其自身。
作者:QAMichaelPeng
链接:https://www.zhihu.com/question/26851369/answer/34392105
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
链接:https://www.zhihu.com/question/26851369/answer/34428725
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
首先,不要把智能指针和祼指针的区别看得那么大,它们都是指针。因此,我们可以把智能指针和祼指针都统称为指针,它们共同的目标是通过地址去代表资源。既然指针能代表资源,那么不可避免地会涉及资源的所有权问题。在选择具体指针类型的时候,通过问以下几个问题就能知道使用哪种指针了。
- 指针是否需要拥有资源的所有权?
如果指针变量需要绑定资源的所有权,那么会选择unique_ptr或shared_ptr。它们可以通过RAII完成对资源生命期的自动管理。如果不需要拥有资源的所有权,那么会选择weak_ptr和raw pointer,这两种指针变量在离开作用域时不会对其所指向的资源产生任何影响。
- 如果指针拥有资源的所有权(owning pointer),那么该指针是否需要独占所有权?
独占则使用unique_ptr(人无我有,人有我丢),否则使用shared_ptr(你有我有全都有)。这一点很好理解。
- 如果不拥有资源的所有权(non-owning pointer),那么指针变量是否需要在适当的时候感知到资源的有效性?
-
auto
p
=
make_shared
<
int
>
(
1
);
-
auto
result
=
f
(
p
.
get
());
这样会衍生出另外一个问题,为何unique_ptr不能和weak_ptr配合?
这是因为unique_ptr是独占所有权,也就是说资源的生命期等于指针变量的生命期,那么程序员可以很容易通过指针变量的生命期来判断资源是否有效,这样weak_ptr就不再有必要了。而相对来说,shared_ptr则不好判断,特别是多线程环境下。
原来,我认为“为什么会有引用计数这样的技术”是为了内存自动回收和节省内存,但是读完下面的几节后,内存自动回收是一个原因,但是节省内存并不是真正的原因,真正的原因是有些对象如果被复制在现实中是不合事实的。
为什么有引用计数
C++中存在两种语义:值语义(value sematics)和对象语义(object sematic),对象语义也可以叫做引用语义(reference sematics)。
值语义,指的是对象的拷贝与原对象无关,就像拷贝int一样,C++的常用类型数据等都是值语义。
对象语义,指的是面向对象意义下的对象,是禁止拷贝的。
在设计一个类的时候该类是否可以被拷贝(即具备拷贝构造函数),取决于拷贝后的语义是否成立,比如一个Thread类,拷贝后系统中并不会启动另外一个线程,所以拷贝是禁止的。同样类似于Employee雇员类也是。
这么设计起码有两个好处:
1. 语义合理,有些对象复制是不符合常理的
2. 节省内存
强引用
- #include
- #include
- #include
- #include
- class parent;
- class children;
- typedef boost::shared_ptr parent_ptr;
- typedef boost::shared_ptr children_ptr;
- class parent
- {
- public:
- ~parent() { std::cout <<"destroying parent\n"; }
- public:
- children_ptr children;
- };
- class children
- {
- public:
- ~children() { std::cout <<"destroying children\n"; }
- public:
- parent_ptr parent;
- };
- void test()
- {
- parent_ptr father(new parent());
- children_ptr son(new children);
- father->children = son;
- son->parent = father;
- }
- void main()
- {
- std::cout<<"begin test...\n";
- test();
- std::cout<<"end test.\n";
- }
运行该程序可以看到,即使退出了test函数后,由于parent和children对象互相引用,它们的引用计数都是1,不能自动释放,并且此时这两个对象再无法访问到。这就引起了c++中那臭名昭著的内存泄漏。
2. 当parent的生存期超过children的生存期的时候,children改为使用一个普通指针指向parent。
3. 使用弱引用的智能指针打破这种循环引用。
虽然这三种方法都可行,但方法1和方法2都需要程序员手动控制,麻烦且容易出错。下面就介绍弱引用
弱引用
- namespace boost {
- template<</span>typename T> class weak_ptr {
- public:
- template <</span>typename Y>
- weak_ptr(const shared_ptr& r);
- weak_ptr(const weak_ptr& r);
- ~weak_ptr();
- T* get() const;
- bool expired() const;
- shared_ptr lock() const;
- };
- }
则当t被销毁时,ptr 被自动置为无效。使用方法如下:
if ( shard_ptr<T> safePtr = ptr.lock() ) safePtr->Fun();
- class children
- {
- public:
- ~children() { std::cout <<"destroying children\n"; }
- public:
- boost::weak_ptr parent;
- };