std::atomic_is_lock_free, ATOMIC_xxx_LOCK_FREE
来自cppreference.com
| 在标头 <atomic> 定义
|
||
| template< class T > bool atomic_is_lock_free( const volatile std::atomic<T>* obj ) noexcept; |
(1) | (C++11 起) |
| template< class T > bool atomic_is_lock_free( const std::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 指令。也允许原子类型有时 免锁，例如在给定架构上只有对齐的内存访问是天然原子的操作的情况下，同类型的错误对齐对象必须用锁。
C++ 标准推荐（但不要求）免锁操作同时免地址，即适用于使用共享内存的进程间交流。
示例
运行此代码
#include <atomic> #include <iostream> #include <utility> struct A { int a[100]; }; 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> 的公开成员函数) | |
| 对 std::shared_ptr 特化的原子操作 (函数模板) | |
| (C++11) |
免锁的布尔原子类型 (类) |
| [静态] (C++17) |
指示该类型是否始终免锁 ( std::atomic<T> 的公开静态成员常量) |