c - 在 C 中，仅在函数定义中而不是声明中添加 `const` 是否合法？

Question

是否向标准允许的函数参数添加额外的 const 说明符，如下所示？

foo.h:

int foo(int x, char * data);

foo.c:

// does this match the prototype?
int foo(const int x, char * const data) {
    // this implementation promises not to change x or move data inside the function
}

GCC 通过 -std=c99 -Wpedantic -Wall -Werror 接受它，但这不一定与标准兼容。

This answer显示 C++ 标准允许这样做 - C (99) 标准是否也允许这样做？

---

<支持> 还有一个问题here和一个很好的答案here对于 C++

Answer 1

这是函数参数列表规则中的一种特殊情况明确允许的。 N1570 §6.7.6.3p13 ¹ 说:

In the determination of type compatibility and of a composite type, each parameter declared with function or array type is taken as having the adjusted type and each parameter declared with qualified type is taken as having the unqualified version of its declared type.

但是你也必须明白，像const char *这样的类型的“不合格版本”仍然是const char *，因为类型const char * 派生 const char 类型，并且 §6.2.5p26说

A derived type is not qualified by the qualifiers (if any) of the type from which it is derived.

也就是说声明

void foo (const int x);

符合定义

void foo (int x) { ... }

但是声明

void bar (const char *x)

不符合定义

void foo (char *x) { ... }

您可能想知道为什么这些规则是这样的。简短的版本是，在 C 中，所有参数总是通过复制值来传递(但不是值指向的任何数据，如果涉及到指针)，所以是否一个重要实参是 const T；无论如何，被调用者都会将其作为常规的旧 T 接收。但是，如果您复制一个指向常量数据的指针，副本仍指向常量数据，所以它确实很重要，应该保留该限定符。

---

¹ N1570 文档最接近 2011 ISO C 标准，可免费公开获取。

据我所知，自 1989 年的原始标准以来，这些规则没有发生重大变化。 C89 之前的“K&R”C 没有原型(prototype)，也没有const，所以整个问题都没有实际意义。