引用计数智能指针如何避免或处理引用计数器溢出？

Question

在朴素的引用计数智能指针实现中，引用计数器可能会溢出。如何在C++标准库实现中避免或处理这种溢出？

Answer 1

来自 stdlibc++ 标头的代码片段：

typedef int _Atomic_word;
class _Sp_counted_base
    /*snip*/
    _Atomic_word  _M_use_count;
    /*snip*/
    _M_weak_add_ref()
    { __gnu_cxx::__atomic_add_dispatch(&_M_weak_count, 1); }
/*snip*/
__atomic_add_dispatch(/*snip*/)
{
    /*snip*/
    __atomic_add_single(/*snip*/);
    /*snip*/
}
__atomic_add_single(/*snip*/)
{ *__mem += __val; }

结论：此特定实现通过忽略可能性来"处理"引用计数器溢出。