6.7.3.5 原子类型说明符

• 语法
• 约束
• 语义

语法

1. 原子类型说明符的形式为：

_Atomic(type-name)

约束

1. 如果实现不支持原子类型，就不能使用原子类型说明符。

2. _Atomic(type-name) 里的 type-name 不能指代：

   • 数组类型；
   • 函数类型；
   • 另一种原子类型；
   • 限定类型。

语义

1. 原子类型相关属性，只有在表达式是左值时才有意义。

2. 当 _Atomic 后面紧跟左括号时，它被解释为一种类型说明符，而不是类型限定符。

NOTE

也就是说：

• _Atomic int 是限定符用法；
• _Atomic(int) 是类型说明符用法。