std::atomic(std::weak_ptr)

来自cppreference.com
< cpp‎ | memory‎ | weak ptr
 
 
 
动态内存管理
未初始化存储
(C++17)
垃圾收集支持
杂项
(C++20)
(C++11)
(C++11)
C 库
低层内存管理
 
 
template <class T> struct std::atomic<std::weak_ptr<T>>;
(C++20 起)

std::atomicstd::weak_ptr<T> 的部分模板特化允许用户原子地操纵 weak_ptr 。

若多个执行线程访问同一 std::weak_ptr 对象而不同步,而任何这些访问使用 weak_ptr 的非 const 成员函数,则将出现数据竞争,除非所有这种访问都通过 std::atomic<std::weak_ptr>> 的实例进行。

保证关联 use_count 的自增是原子操作的一部分。要求关联 use_count 的自减在原子操作之后,但不要求是其一部分,除非在覆写失败的 CAS 中的 expected 时 use_count 更改。任何关联删除和解分配后序于原子更新步骤,且不是原子操作的一部分。

注意 std::weak_ptrstd::shared_ptr 所用的控制块是线程安全的:多个线程能同时用可变操作,例如 operator= 或 reset ,访问不同的非原子 std::weak_ptr 对象,即使在这些实例互为副本,或因其他原因于内部共享同一控制块时。

类型 T 可为不完整类型。

目录

[编辑] 成员类型

 
成员类型 定义
value_type std::weak_ptr<T>

[编辑] 成员函数

此特化亦提供所有非特化 std::atomic 的成员函数,且不提供额外成员函数。

atomic<weak_ptr<T>>::atomic

constexpr atomic() noexcept = default;
(1)
atomic(std::weak_ptr<T> desired) noexcept;
(2)
atomic(const atomic&) = delete;
(3)
1) 初始化底层 weak_ptr<T> 为默认构造值。
2) 初始化底层 weak_ptr<T>desired 的副本。同任何 std::atomic ,初始化不是原子操作。
3) 原子类型不可复制/移动构造。

atomic<weak_ptr<T>>::operator=

void operator=(const atomic&) = delete;
(1)
void operator=(std::weak_ptr<T> desired) noexcept;
(2)
1) 原子类型不可复制/移动赋值。
2) 值赋值,等价于 store(desired)

atomic<weak_ptr<T>>::is_lock_free

bool is_lock_free() const noexcept;

若此类型所有对象上的原子操作为无锁则返回 true ,否则返回 false 。

atomic<weak_ptr<T>>::store

void store(std::weak_ptr<T> desired,
           std::memory_order order = std::memory_order_seq_cst) noexcept;

如同用 p.swap(desired) ,原子地以 desired 的值替换 *this 的值,其中 p 为底层的 std::weak_ptr<T> 。按照 order 排序内存。若 orderstd::memory_order_consumestd::memory_order_acquirestd::memory_order_acq_rel 则行为未定义。

atomic<weak_ptr<T>>::load

原子地返回底层 std::weak_ptr<T> 的副本。按照 order 排序内存。若 orderstd::memory_order_releasestd::memory_order_acq_rel 则行为未定义。

atomic<weak_ptr<T>>::operator std::weak_ptr<T>

operator std::weak_ptr<T>() const noexcept;

等价于 return load();

atomic<weak_ptr<T>>::exchange

std::weak_ptr<T> exchange(std::weak_ptr<T> desired,
                          std::memory_order order = std::memory_order_seq_cst) noexcept;

如同用 p.swap(desired) ,原子地以 desired 替换底层 std::weak_ptr<T> ,其中 p 为底层 std::weak_ptr<T> ,并返回 p 立即在交换前所拥有的值的副本。按照 order 排序内存。操作是原子读修改写操作。

atomic<weak_ptr<T>>::compare_exchange_weak, compare_exchange_strong

bool compare_exchange_strong(std::weak_ptr<T>& expected, std::weak_ptr<T> desired,
                             std::memory_order success, std::memory_order failure) noexcept;
(1)
bool compare_exchange_weak(std::weak_ptr<T>& expected, std::weak_ptr<T> desired,
                           std::memory_order success, std::memory_order failure) noexcept;
(2)
bool compare_exchange_strong(std::weak_ptr<T>& expected, std::weak_ptr<T> desired,
                             std::memory_order order = std::memory_order_seq_cst) noexcept;
(3)
bool compare_exchange_weak(std::weak_ptr<T>& expected, std::weak_ptr<T> desired,
                           std::memory_order order = std::memory_order_seq_cst) noexcept;
(4)
1) 若底层 std::weak_ptr<T> 存储值与 expected 相同的指针,并与之共享所有权,或若底层指针和 expected 均为空,则从 desired 赋值给底层 std::weak_ptr<T> 并返回 true ,按照 success 排序内存;否则从底层 std::weak_ptr<T> 赋值给 expected 并返回 false ,按照 failure 排序内存。若 failurestd::memory_order_releasestd::memory_order_acq_rel 则行为未定义。成功时,操作为 *this 上的原子读修改写操作,而在原子更新后不访问 expected 。失败时,操作是 *this 上的原子加载操作,并以读取自原子对象的既存值更新 expected 。这个对 expected 的 use_count 的更新是原子操作,尽管不要求写入自身(和任何后继的解分配/析构)是。
2)(1) ,但可能虚假地失败。
3) 等价于: return compare_exchange_strong(expected, desired, order, fail_order); ,其中 fail_orderorder 相同,除了 std:memory_order_acq_rel 被替换为 std::memory_order_acquire ,而 std::memory_order_release 被替换为 std::memory_order_relaxed
4) 等价于: return compare_exchange_weak(expected, desired, order, fail_order); ,其中 fail_orderorder 相同,除了 std::memory_order_acq_rel 被替换为 std::memory_order_acquire ,而 std::memory_order_release 被替换为 std::memory_order_relaxed

[编辑] 成员常量

此特化亦提供唯一的标准 std::atomic 成员常量 is_always_lock_free

atomic<weak_ptr<T>>::is_always_lock_free

static constexpr bool is_always_lock_free = /*implementation-defined*/;

[编辑] 示例

[编辑] 参阅

(C++11)
原子类模板及其布尔型,整型和指针类型的特化
(类模板) [编辑]