c++ 之 shared_ptr

/*
 * shared_ptr
 */
    shared_ptr 是一种智能指针(smart pointer),作用有如同指针,但会记录有多少个 shared_ptrs 共同指向一个对象。
    这便是所谓的引用计数(reference counting)。

    一旦最后一个这样的指针被销毁,也就是一旦某个对象的引用计数变为0,这个对象会被自动删除。
    这在非环形数据结构中防止资源泄露很有帮助。


    类似 vector 智能指针也是模板。

        shared_ptr p1;        // shared_ptr,可以指向string
        shared_ptr> p2;   // shared_ptr,可以指向int的list

    智能指针的使用方法和普通指针类似,解引用返回它指向的对象,如果在一个条件判断中使用智能指针,效果就是检测它是否为空,

        // 如果 p1 不为空,检查它是否指向一个空 string
        if (p1 && p1->empty()) // p->mem -- (*p).mem
            *p1 = "ds"

/*
 * share_ptr 的拷贝和赋值
 */
    当进行拷贝或赋值操作时,每个 shared_ptr 都会记录有多少个其他 shared_ptr 指向相同的对象:

        auto p = make_shared(42);        // p指向的对象只有p一个引用者
        auto q(p);                            // p和q指向相同对象,此对象有两个引用者

    可以认为每个shared_ptr都有一个关联的计数器,通常称其为引用计数(reference count)。
        
        无论何时拷贝一个shared_ptr,计数器都会递增;
        当给shared_ptr赋予一个新值或是shared_ptr被销毁时,计算器就会递减。
        
        一旦一个shared_ptr的计数器变为0,它就会自动释放自己所管理的对象:

            auto r = make_shared(42);    // r指向的int只有一个引用者
            r = q;    // 给r赋值,令它指向另一个地址
                      // 递增q指向的对象的引用计数
                      // 递减r原来指向对象的引用计数
                      // r原来指向的对象已没有引用者,会自动释放

 /*
  * share_ptr 自动销毁所管理的对象
  */
    当指向一个对象最后一个 share_ptr 被销毁时,share_ptr 类会自动销毁此对象。
    它是通过另一个特殊的成员函数——析构函数完成销毁工作的。

/*
 * shared_ptr 和 new 结合使用
 */
    可以使用 new 返回的指针来初始化智能指针,智能指针是一个类,分装了一个原始的 C++ 指针,用以管理所指对象的生命期。

    shared_ptr p1;                // shared_ptr可以指向一个double
    shared_ptr p2(new int (42));   // p2指向一个值为42的int

    接受指针参数的智能指针构造函数是 explicit 的。
    因此,我们不能将一个内置指针隐式转换为一个智能指针,必须使用直接初始化形式来初始化一个智能指针:

    shared_ptr p1 = new int(1024);    //错误:必须使用直接初始化形式
    shared_ptr p2(new int (1024));    //正确:使用了直接初始化

    出于相同的原因,一个返回shared_ptr的函数不能在其返回语句中隐式转换一个普通指针:

        shared_ptr clone(int p) {
            return new int(p);                    //错误:隐式转换为shared_ptr
        }

        shared_ptr clone(int p) {
            return shared_ptr(new int(p)); //正确:显式地用int*创建shared_ptr
        }

    默认情况下,一个用来初始化智能指针的普通指针必须指向动态内存,因为智能指针默认使用delete释放它所关联的对象。
    可以将智能指针绑定到一个指向其他类型的资源的指针上,但是为了这样做,必须提供操作来代替  delete 。

/*
 * weak_ptr
 */
    weak_ptr是为配合shared_ptr而引入的一种智能指针。

    weak_ptr可以从一个shared_ptr或另一个weak_ptr对象构造,
    它的构造和析构不会引起shared_ptr引用记数的增加或减少(但会导致引用计数区域内负责weak_ptr计数变量_M_weak_count的增加或减少,
    当其计数为0时,调用_M_destroy()释放对象内存)。没有重载*和->但可以使用lock获得一个可用的shared_ptr对象。

    weak_ptr的一个重要用途是通过lock获得this指针的shared_ptr,使对象自己能够生产shared_ptr来管理自己,
    但助手类enable_shared_from_this的shared_from_this会返回this的shared_ptr,只需要让想被shared_ptr管理的类从它继承即可。


/*
 * example
 */
#include
#include
#include
#include
#include
 
struct Base
{
    Base() { std::cout << "  Base::Base()\n"; }
    // 注意:此处非虚析构函数 OK
    ~Base() { std::cout << "  Base::~Base()\n"; }
};
 
struct Derived: public Base
{
    Derived() { std::cout << "  Derived::Derived()\n"; }
    ~Derived() { std::cout << "  Derived::~Derived()\n"; }
};
 
void thr(std::shared_ptr p)
{
    std::this_thread::sleep_for(std::chrono::seconds(1));
    std::shared_ptr lp = p; // 线程安全,虽然自增共享的 use_count
    {
        static std::mutex io_mutex;
        std::lock_guard lk(io_mutex);
        std::cout << "local pointer in a thread:\n"
                  << "  lp.get() = " << lp.get()
                  << ", lp.use_count() = " << lp.use_count() << '\n';
    }
}
 
int main()
{
    std::shared_ptr p = std::make_shared();
 
    std::cout << "Created a shared Derived (as a pointer to Base)\n"
              << "  p.get() = " << p.get()
              << ", p.use_count() = " << p.use_count() << '\n';
    std::thread t1(thr, p), t2(thr, p), t3(thr, p);
    p.reset(); // 从 main 释放所有权
    std::cout << "Shared ownership between 3 threads and released\n"
              << "ownership from main:\n"
              << "  p.get() = " << p.get()
              << ", p.use_count() = " << p.use_count() << '\n';
    t1.join(); t2.join(); t3.join();
    std::cout << "All threads completed, the last one deleted Derived\n";
}

#if 0
  Base::Base()
  Derived::Derived()
Created a shared Derived (as a pointer to Base)
  p.get() = 0x56072b522260, p.use_count() = 1
Shared ownership between 3 threads and released
ownership from main:
  p.get() = 0, p.use_count() = 0
local pointer in a thread:
  lp.get() = 0x56072b522260, lp.use_count() = 6
local pointer in a thread:
  lp.get() = 0x56072b522260, lp.use_count() = 4
local pointer in a thread:
  lp.get() = 0x56072b522260, lp.use_count() = 2
  Derived::~Derived()
  Base::~Base()
All threads completed, the last one deleted Derived
#endif

你可能感兴趣的:(C/C++,c++)