C++11[atomics.types.generic]p7:
如表145所示,应存在与
atomic
的积分专门化相对应的命名类型,以及与指定的atomic<bool>
相对应的名称类型atomic_bool
。每个命名类型要么是对应专门化的typedef,要么是对应专业化的基类。如果它是基类,则应支持与相应专业化相同的成员功能。
(增加重点(
对于所有其他类型,让std::atomic_char
与std::atomic<char>
不相同的理由是什么?这带来了什么样的灵活性,为什么它有用?乍一看,我不明白为什么不需要直接将这些类型定义为std::atomic<T>
专业化。
注意,提出<atomic>
的N2427说typedef是专门化的,而不可能是基类。
它之所以存在,可能是因为有人已经实现了使用std::atomic_*
类型作为基类的原子论,并对这种方法提出了足够的抱怨/提供了很好的论据。
在MSVC中建议这样一种实现方式。
其中指出
删除atomic_…之间的定义基类关系。。。。命名类型和原子模板类的相应专业化。基类关系现在依赖于实现。这一更改确保了与C的兼容性。一些以前从基类继承的成员函数和运算符必须从命名类型提升到专门化。