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

Does C++ offer a thread-safe reference counter?

标准 C++ 库中是否有线程安全的引用计数器 class(或作为 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");
        }
    }
}

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

  • 如果您有多个线程可以访问同一个 pointer 对象,那么如果其中一个线程修改 pointer。如果每个线程都有自己的实例,指向相同的共享状态,则共享状态上没有数据竞争。
  • 线程上指向对象的最终修改不会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>();
};