有没有办法检查值的读/写(加载/存储)是否是原子的？我有专门版本的并发容器,只能使用这些值,我想添加一个静态断言,以防止意外误用.
对于x86_64上的所有基本类型都是如此,但对于所有平台或所有长数据类型可能都不是这样.此外,小型结构和联合也可能被赋予原子操作(因为它们只是被编译为使用相同大小的基本复制操作).
解决方法
C 0x草案在< atomic>中有一个带有宏的部分.标题,表示没有简单易用的方法来检查这一点.
29.4 Lock-free property [atomics.lockfree]
#define ATOMIC_CHAR_LOCK_FREE implementation-defined #define ATOMIC_CHAR16_T_LOCK_FREE implementation-defined #define ATOMIC_CHAR32_T_LOCK_FREE implementation-defined #define ATOMIC_WCHAR_T_LOCK_FREE implementation-defined #define ATOMIC_SHORT_LOCK_FREE implementation-defined #define ATOMIC_INT_LOCK_FREE implementation-defined #define ATOMIC_LONG_LOCK_FREE implementation-defined #define ATOMIC_LLONG_LOCK_FREE implementation-defined
宏指示std :: atomic< type>的类型.可以在没有锁的情况下实现,这意味着它们本身就是原子的.
