std::atomic_...<std::shared_ptr>
在头文件 <memory> 中定义 |
||
template< class T > bool atomic_is_lock_free( const std::shared_ptr<T>* p ); |
(1) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > std::shared_ptr<T> atomic_load( const std::shared_ptr<T>* p ); |
(2) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > std::shared_ptr<T> atomic_load_explicit |
(3) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > void atomic_store( std::shared_ptr<T>* p, std::shared_ptr<T> r ); |
(4) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > void atomic_store_explicit |
(5) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > std::shared_ptr<T> atomic_exchange |
(6) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > std::shared_ptr<T> atomic_exchange_explicit |
(7) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > bool atomic_compare_exchange_weak |
(8) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > bool atomic_compare_exchange_strong |
(9) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > bool atomic_compare_exchange_strong_explicit |
(10) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
template< class T > bool atomic_compare_exchange_weak_explicit |
(11) | (自 C++11 起) (C++20 中已弃用) (C++26 中已删除) |
如果多个执行线程在没有同步的情况下访问同一个 std::shared_ptr 对象,并且其中任何一个访问使用 shared_ptr
的非 const 成员函数,则会导致数据竞争,除非所有此类访问都是通过这些函数执行的,这些函数是相应原子访问函数的重载 (std::atomic_load, std::atomic_store 等)。
请注意,shared_ptr
的控制块是线程安全的:不同的 std::shared_ptr 对象可以使用可变操作(例如 operator= 或 reset
)被多个线程同时访问,即使这些实例是副本,并且在内部共享同一个控制块。
(p, expected, desired, std::memory_order_seq_cst,
std::memory_order_seq_cst).
(p, expected, desired, std::memory_order_seq_cst,
std::memory_order_seq_cst).
- 如果它们等效(存储相同的指针值,并且要么共享同一个对象的拥有权,要么都是空的),则使用 success 指定的内存排序约束将 desired 赋值给 *p,并返回 true。
- 如果它们不等效,则使用 failure 指定的内存排序约束将 *p 赋值给 *expected,并返回 false。
atomic_compare_exchange_weak_explicit
可能会虚假地失败。如果 p 是一个空指针,则这些函数的行为都是未定义的。
内容 |
[edit] 参数
p, expected | - | 一个指向 std::shared_ptr 的指针 |
r, desired | - | 一个 std::shared_ptr |
mo, success, failure | - | 类型为 std::memory_order 的内存排序选择器 |
[edit] 异常
这些函数不抛出异常。
[edit] 返回值
[edit] 注释
这些函数通常使用互斥量实现,存储在一个全局哈希表中,其中指针值用作键。
并发 TS 提供原子智能指针类 atomic_shared_ptr
和 atomic_weak_ptr
来替代使用这些函数。
这些函数已被 std::atomic 模板的特化取代:std::atomic<std::shared_ptr> 和 std::atomic<std::weak_ptr>。 |
(自 C++20 起) (直到 C++26) |
这些函数已被 std::atomic 模板的特化取代:std::atomic<std::shared_ptr> 和 std::atomic<std::weak_ptr>。 |
(自 C++26 起) |
[edit] 示例
本节不完整 原因:没有示例 |
[edit] 缺陷报告
以下行为更改缺陷报告已追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确的行为 |
---|---|---|---|
LWG 2172 | C++11 | expected 可以是空指针 | 在这种情况下,行为未定义 |
LWG 2980 | C++11 | 空的 shared_ptr 从未等效 |
如果它们存储相同的指针值,则等效 |
[edit] 参见
(C++11) |
检查原子类型的操作是否为无锁的 (函数模板) |
(C++11)(C++11) |
原子地将原子对象的数值替换为非原子参数 (函数模板) |
(C++11)(C++11) |
原子地获取存储在原子对象中的值 (函数模板) |
(C++11)(C++11) |
原子地将原子对象的数值替换为非原子参数,并返回原子对象的旧值 (函数模板) |
原子地比较原子对象的数值与非原子参数,如果相等则进行原子交换,否则进行原子加载 (函数模板) |