C2018标准中指针声明符的描述是否存在表述错误？

核心结论 #

这不是C标准的表述错误，是你对条款最后一句话中 ident 的指代范围存在误解。

误解澄清 #

C 2018 6.7.6.1第1节的声明解析规则是递归逐层生效的：每一次匹配到* type-qualifier-list D的结构时，规则描述的是当前这一层*生成的指针的属性，而不是直接作用于整个声明最内层的最终标识符。

你提到的示例int * const * foo，严格套规则的递归解析步骤如下：

1. 先处理内层的* foo结构：对应规则中的* 空限定符列表 D，D就是foo，T是int
   • 解析int foo得到ident（此时ident就是foo）的基础类型是int
   • 代入规则得到这一层的类型是「指向int的指针」，因为限定符列表为空，所以没有额外修饰
2. 再处理外层的* const * foo结构：对应规则中的* const限定符列表 D，D就是上一步的* foo，T是int
   • 上一步已经得到int * foo给ident（此处的ident是上一步生成的「指向int的指针」这个类型实体，不是最终的foo）的类型是「指向int的指针」
   • 代入规则第一句得到最终类型：「指向const修饰的指向int的指针的指针」，和你推导的结果一致
   • 对应最后一句话的描述：这个const限定符修饰的是当前层生成的指针（也就是foo指向的那个指针对象），不是修饰最终的标识符foo

如果要让foo本身成为const指针，声明应该写为int ** const foo：此时最外层的const位于最后一个*的后面，对应递归到最外层规则时，ident就是最终的foo，所以const修饰的就是foo本身，符合常规认知。

内容的提问来源于stack exchange，提问作者Eric Postpischil