c - ANSI C 函数声明中隐式 int 返回类型的规则

Question

我知道 f(void) { return 0; 的返回类型为 int，即使未指定，但以下情况如何:

(*f())[]{}

(*g())(){}

const*h(){}

使用 -ansi -Werror -pedantic 在 gcc 上编译没有错误，并且只提示 clang 中缺少 return 语句:https://godbolt.org/z/jAYL4v

f 似乎有 int(*)[] 的返回类型，g 似乎有 的返回类型int(*)()，而 h 似乎有 const int* 的返回类型。

在 ANSI C 标准中，我似乎找不到这方面的规则。我检查了 [6.5.4.3 Function declarators (including prototypes)] 和 [6.7.1 Function definitions]，但甚至找不到有关隐式 int 返回类型的任何内容(某些示例代码除外)。我只是找错地方了吗？这是有效代码吗？

Answer 1

函数定义 (C89 3.7.1) 的语法是:

function-definition: declaration-specifiers_opt declarator declaration-list_opt compound-statement

这与 C99 相同，只是 声明说明符 在 C89 中是可选的。

这些语法术语的含义是:

• declaration-specifiers 是storage-class-specifier、type-specifier 和type-qualifier 的任意组合em>;其中的例子分别是static, float, const。
• 声明符，非正式地，是任何可能出现在这里的东西:int ______ ;。它当然有一个正式的定义，但我提到了这种方法，因此您可以将术语与您对声明语法的现有理解联系起来。
• declaration-list 是指 K&R 风格的参数声明。
• 复合语句 是语句的括号列表(可能为空)。

在您的问题中，以下是声明符:(*f())[] (*g())() *h() 。因此，在它们后面加上 {}(即复合语句)是合法的。 h 也有一个声明说明符。

在 C89 中还有一条规则 (3.5.2)，即在一组 declaration-specifiers 中不提供 type-specifier 等同于提供 int。 C99 添加了一个约束“至少一个类型说明符应在每个声明的声明说明符中给出 [...]”。