std::atomic_is_lock_free, ATOMIC_xxx_LOCK_FREE
来自cppreference.com
在标头 <atomic> 定义 | ||
template<class T > bool atomic_is_lock_free(constvolatilestd::atomic<T>* obj )noexcept; | (1) | (C++11 起) |
template<class T > bool atomic_is_lock_free(conststd::atomic<T>* obj )noexcept; | (2) | (C++11 起) |
#define ATOMIC_BOOL_LOCK_FREE /* 未指定 */ #define ATOMIC_CHAR_LOCK_FREE /* 未指定 */ | (3) | (C++11 起) |
#define ATOMIC_CHAR8_T_LOCK_FREE /* 未指定 */ | (4) | (C++20 起) |
1,2) 如同通过调用 obj->is_lock_free(),确定 obj 指向的原对象是否以免锁方式实现。任何给定的程序执行中,免锁查询的结果对于所有同类型的原子对象均相同。
3,4) 展开成整数常量表达式,它的值
- 对于绝不免锁的内建原子类型是 0;
- 对于有时 免锁的内建原子类型是 1;
- 对于始终免锁的内建原子类型是 2。
目录 |
[编辑]参数
obj | - | 指向要检验的原子对象的指针 |
[编辑]返回值
在 *obj 是免锁原子对象时返回 true,否则返回 false。
[编辑]注解
std::atomic_flag 以外的所有原子类型可用互斥体或其他锁定操作实现,而不一定用免锁的原子 CPU 指令。也允许原子类型有时 免锁:例如,如果只有某些子架构上才支持给定类型的免锁原子访问(比如 x86-64 上的 CMPXCHG16B 指令),那么只有到运行时才知道原子操作是否是免锁的。
C++ 标准推荐(但不要求)免锁操作同时免地址,即适用于使用共享内存的进程间通信。
[编辑]示例
运行此代码
#include <atomic>#include <iostream>#include <utility> struct A {int a[4];};struct B {int x, y;}; int main(){std::atomic<A> a;std::atomic<B> b;std::cout<<std::boolalpha<<"std::atomic<A> 是否免锁?"<< std::atomic_is_lock_free(&a)<<'\n'<<"std::atomic<B> 是否免锁?"<< std::atomic_is_lock_free(&b)<<'\n';}
可能的输出:
std::atomic<A> 是否免锁?false std::atomic<B> 是否免锁?true
[编辑]缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3249 | C++11 | atomic_is_lock_free 通过指针说明,这有歧义并可能接受非法指针值 | 通过原子对象说明 |
[编辑]参阅
检查原子对象是否免锁 ( std::atomic<T> 的公开成员函数) | |
(C++11) | 免锁的布尔原子类型 (类) |
[静态](C++17) | 指示该类型是否始终免锁 ( std::atomic<T> 的公开静态成员常量) |
(C++20 弃用)(C++26 移除) | 对 std::shared_ptr 特化的原子操作 (函数模板) |
atomic_is_lock_free 的 C 文档 | |
ATOMIC_*_LOCK_FREE 的 C 文档 |