C11:固定长度数组声明如何符合C11标准的规范？

Question

C11标准(N1548)第6.7.6节规定了声明器的规范。

根据我的理解(请参阅这个关于剖析C声明的answer )，数组声明int * arr[5];有两个部分：(a)声明说明符int和(b)声明器* arr[5]。我的问题是如何根据C11标准解释声明器部分。

标准上说：

好的，所以*显然对应于“指针”部分。因此，arr[5]必须对应于“直接声明器”部分。然而，在此标准中“直接声明器”的扩展中，似乎没有与arr[5]匹配的条目--因为括号中的常量表达式5似乎与“类型限定符-列表”或“赋值-表达式”不匹配。

那么，这个声明如何符合C11标准的规范呢？

Answer 1

5是赋值表达式.

如果您查看赋值表达式的定义，其中之一是条件表达式。其中一个定义是逻辑-或-表达式。通过跟踪这个定义链，您最终将到达主表达式，对一个定义来说，主表达式是常量。