C++ 是否提供线程安全的引用计数器？

Question

标准 C++ 库中是否有线程安全的引用计数器类（或作为 Visual Studio 中的扩展），还是我需要从头开始编写这种对象？

我希望有一个像shared_ptr 那样纯粹执行引用计数的对象，但它可以跨多个线程准确地执行此操作，并且无需管理任何东西。 shared_ptr 它的表亲结构很好，因为它们定义了您需要的所有复制构造函数和赋值运算符，这对我来说是 C++ 中最容易出错的部分； C++ 构造函数之于 C++ 就像开球之于美式足球一样。

struct Fun {

    // this member behaves in a way I appreciate, save for 2 short-comings:
    // - needless allocation event (minor)
    // - ref counting is only estimate if shared across threads (major)
    std::shared_ptr<int> smartPtr {new int};  

    // this is the hypothetical object that I'm searching for
    // + allocates only a control block for the ref count
    // + refCount.unique() respects reality when refs exist across many threads
    //   I can always count on this being the last reference
    std::object_of_desire refCount;

    // no explicit copy constructors or assignment operators necessary
    // + both members of this class provide this paperwork for me, 
    //   so I can careless toss this Fun object around and it'll move
    //   as one would expect, making only shallow copies/moves and ref counting
    Fun(); 

    ~Fun(){
        if(refCount.unique()){
             smart_assert("I swear refCount truly is unique, on pain of death");
        }
    }
}

Answer 1

关于线程安全的警告 w.r.t. std::shared_ptr是

• 如果您有多个线程可以访问同一个指针 对象，那么如果其中一个线程修改了指针，则可能会发生数据竞争。如果每个线程都有自己的实例，指向相同的共享状态，则共享状态上没有数据竞争。
• 线程上指向对象的最终修改不会inter-thread happens before另一个线程观察use_count为1。如果没有修改指向对象，则指向对象上没有数据竞争对象。

这是你想要的类型

class ref_count {
public:
    bool unique() const { return ptr.use_count() == 1; }
private:
    struct empty {};
    std::shared_ptr<empty> ptr = std::make_shared<empty>();
};