命名空间
变体
操作

std::experimental::atomic_weak_ptr<T>::compare_exchange_strong, std::experimental::atomic_weak_ptr<T>::compare_exchange_weak

来自 cppreference.com
 
 
实验性
技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性 非 TS
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
 
bool compare_exchange_weak( std::weak_ptr<T>& expected, const 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_weak( std::weak_ptr<T>& expected, const 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)
bool compare_exchange_strong( std::weak_ptr<T>& expected, const std::weak_ptr<T>& desired,
                              std::memory_order success, std::memory_order failure ) noexcept;
(5)
bool compare_exchange_strong( std::weak_ptr<T>& expected, std::weak_ptr<T>&& desired,
                              std::memory_order success, std::memory_order failure ) noexcept;
(6)
bool compare_exchange_strong( std::weak_ptr<T>& expected, const std::weak_ptr<T>& desired,
                              std::memory_order order = std::memory_order_seq_cst ) noexcept;
(7)
bool compare_exchange_strong( std::weak_ptr<T>& expected, std::weak_ptr<T>&& desired,
                              std::memory_order order = std::memory_order_seq_cst ) noexcept;
(8)

原子地比较 *this 中的底层 weak_ptrexpected,如果它们等效,则用 desired 替换前者(执行读-修改-写操作)。否则,将 *this 中存储的实际值加载到 expected 中(执行加载操作)。替换操作如同使用 weak_ptr 的复制或移动赋值运算符执行一样,具体取决于情况。

两个 weak_ptr 等效当且仅当它们存储相同的指针值并共享所有权。

读-修改-写操作和加载操作的内存模型分别为 successfailure。对于重载 (3,4,7,8)order 用于读-修改-写操作和加载操作,但如果 order == std::memory_order_acq_rel,则 std::memory_order_acquirestd::memory_order_relaxed 用于加载操作,或者如果 order == std::memory_order_release,则分别用于加载操作。

弱版本 (1-4) 可能发生虚假失败。

内容

[编辑] 参数

expected - 对预计在原子对象中找到的值的引用
desired - 如果原子对象按预期存在,则要存储在原子对象中的值
success - 如果比较成功,则读-修改-写操作的内存同步排序。所有值都允许
failure - 如果比较失败,则加载操作的内存同步排序。不能为 std::memory_order_releasestd::memory_order_acq_rel,并且不能指定比 success 更强的排序
order - 两种操作的内存同步排序

[编辑] 返回值

如果底层原子值已更改,则为 true,否则为 false

[编辑] 备注

atomic_weak_ptr 对象本身的所有更改以及所有关联的 use_count 增量都保证原子地执行。关联的 use_count 减量在原子操作后执行,但不需要是原子操作的一部分。任何关联的销毁或释放操作都在原子操作之后执行,并且不是原子操作的一部分。

如果比较交换操作返回 true,则在原子更新步骤之后不会访问 expected。如果它返回 false,则 expected 将使用在尝试的原子更新中从 atomic_weak_ptr 对象读取的现有值更新。与写入 expected 相对应的 use_count 更新是原子操作的一部分,但写入 expected 本身不需要是原子操作的一部分。

对于重载 (1,3,5,7),在原子更新步骤之后不会访问 desired

对于重载 (2,4,6,8),仅当比较交换操作返回 true 时,才会从 desired 中移动;移动发生在原子更新步骤之后。

[编辑] 注意

弱形式 (1-4) 的函数允许出现虚假失败,也就是说,即使 *thisexpected 相等,它们也会表现得像不相等一样。当比较并交换操作在循环中执行时,弱版本在某些平台上会提供更好的性能。

[edit] 参见

std::shared_ptr 特化原子操作
(函数模板) [edit]