为什么 std::atomic_{char,schar,etc.} typedef 允许 typedef 到 std::atomic 的基类,<T>而不是<T>仅原子?
Why are the std::atomic_{char,schar,etc.} typedefs allowed to be typedefs to a base class of std::atomic<T>, and not to atomic<T> only?
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的兼容性。一些以前从基类继承的成员函数和运算符必须从命名类型提升到专门化。
相关文章:
- 请解释这句话(cout<<1+int((a<b)^((b-a)&1) )<<endl
- 呼叫运营商<<临时
- 如何防止clang格式在流运算符调用之间添加换行符<<
- <<操作员在下面的行中工作
- EASTL矢量<向量<int>>连续的
- C - 创建矢量&lt; vector&lt; double&gt;&gt;矩阵具有分配而不是inizializ
- 为什么将此对向量&lt; map&lt; int,int&gt;&gt;中的地图进行更新.失败
- C :对矢量进行排序&lt; struct&gt;(结构有2个整数)基于结构的整数之一
- 明确的专业化“ CheckIntmap&lt;&gt;”实例化
- 什么是模板&lt;&gt;inline bla bla
- 编辑C Qlist&lt; object*&gt; gt;QML代码和一些QML警告中的模型
- eigen :: llt&lt;eigen :: matrixxd&gt;具有不完整的类型
- 错误,包括&lt; ctype&gt;在原子上使用C 11
- std::vector<;uint8_t>;当C++11/14启用时,手动复制而不是调用memcpy
- 如何加入向量&lt; int&gt;到C 中的单个INT
- 是std :: set&lt; std :: future&gt;不可能存在
- 是numeric_limits&lt; int&gt; :: is_modulo从逻辑上矛盾
- opencv 2.4.7在iOS错误背景_segm.hpp #include&lt; list&gt;未找到
- 在修改列表后,std :: list&lt; t&gt; :: end()的值是否会更改
- ///<评论></评论>在Visual Studio中