有没有办法检查值的读/写（加载/存储）是否是原子的？我有专门版本的并发容器，只能使用这些值，我想添加一个静态断言，以防止意外误用。
对于x86_64上的所有基本类型都是如此，但对于所有平台或所有长数据类型可能都不是这样。此外，小结构和联合也可能被赋予原子操作（因为它们只是被编译为使用相同大小的基本复制操作）。
答案 0 :(得分：2)
C ++ 0x草案在＆lt; atomic＆gt;中有一个带有宏的部分。标题，表示没有简单易用的方法来检查这一点。
29.4无锁属性 [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＆lt; type＆gt;的类型。可以在没有锁的情况下实现，这意味着它们本身就是原子的。
答案 1 :(得分：0)
你唯一的方法是转储每个函数的生成程序集，并参考处理器供应商的说明，了解原子性保证的说明。