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

Question

我知道f(void) { return 0; } 的返回类型为int，尽管没有指定，但以下内容呢：

(*f())[]{}

(*g())(){}

const*h(){}

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

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

在 ANSI C 标准中，我似乎找不到这方面的规则。我检查了 [6.5.4.3 函数声明符（包括原型）] 和 [6.7.1 函数定义]，但在隐式 int 返回类型上什至找不到任何内容（某些示例代码除外）。我只是看错地方了吗？这是有效的代码吗？

Answer 1

函数定义（C89 3.7.1）的语法是：

函数定义： 声明说明符_opt 声明符声明列表_opt 复合语句

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

这些语法术语的含义是：

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

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

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