stdatomic (C11), three questions about _Atomic types
我在 cppreference 上找到的
-
_Atomic ( type-name ) (自 C11 起)用作类型说明符;这指定了一个新的原子类型
-
_Atomic type-name (2)(C11 起)用作类型限定符;这指定了类型名称的原子版本。在这个角色中,它可能与 const、volatile 和 restrict 混合使用),尽管与其他限定符不同,type-name 的原子版本可能具有不同的大小、对齐方式和对象表示。
使用
保证它与
第二个问题
在
例如:
1 | _Atomic(volatile int) |
抛出一个错误,但像这样使用它:
1 | _Atomic(volatile _Atomic(int)*) |
没有;这是标准行为吗?
最后一个问题
我注意到原子函数(例如:
这是标准行为吗?它是否有缺点或导致任何错误?
第一个问题:
C11 7.17.6p3:
NOTE The representation of atomic integer types need not have the same size as their corresponding regular types. They should have the same size whenever possible, as it eases effort required to port existing code.
第二个问题:
C11 6.7.2.4p3:
[Constraints]
3 The type name in an atomic type specifier shall not refer to an array type, a function type, an atomic type, or a qualified type.
第三题:
C11 7.17.1.p5:
5 In the following synopses:
- An
A refers to one of the atomic types.
他们期望