c – 用于原子读/写值的静态断言

有没有办法检查值的读/写(加载/存储)是否是原子的？我有专门版本的并发容器,只能使用这些值,我想添加一个静态断言,以防止意外误用.

对于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>的类型.可以在没有锁的情况下实现,这意味着它们本身就是原子的.