Function 块内声明 C

Question

C 标准 (C99 +) 是否要求实现允许将 function 声明放置在一个块内，以便将其 scope 限制在该块内，标准中涵盖了哪些内容？ 假设 function 具有外部链接，并且在链接时包含在单独的源文件中定义。

我注意到编译以下程序时 GCC 会产生错误：

int main(void)
{
  void myFunc(void);

  myFunc();

  return 0;
}

void test2(void)
{
  myFunc();
}

错误（这是预期的）：

..\main.c: In function 'test2':
..\main.c:12:3: warning: implicit declaration of function 'myFunc' [-Wimplicit-function-declaration]
   12 |   myFunc();
      |   ^~~~~~
..\main.c:3:8: note: previous declaration of 'myFunc' was here
    3 |   void myFunc(void);
      |        ^~~~~~
..\main.c:12:3: error: incompatible implicit declaration of function 'myFunc'
   12 |   myFunc();
      |   ^~~~~~
..\main.c:3:8: note: previous implicit declaration of 'myFunc' was here
    3 |   void myFunc(void);
      |        ^~~~~~

这是意料之中的，因为myFunc()是在main()的 scope 中声明的。

如果从test2()中删除了对myFunc()的调用，并且在链接时包含的另一个源文件中定义了test2() ，则程序编译和链接时不会出现错误或警告。

基于这个结果，问题的答案是肯定的，但我想知道这种行为是否在规范中明确定义并且可以被认为是可移植的。

Answer 1

function内

void test2(void)
{
  myFunc();
}

名称myFunc未声明。

function 的声明仅在 main 中可见。

为了向后兼容，编译器认为 function 具有返回类型int 。

至于你的问题，那么你可以在块 scope 中声明一个 function 但没有存储 class 说明符，除了extern （C 标准，6.7.1 存储类说明符）：

6 具有块 scope 的 function 的标识符声明除 extern 外不应有明确的存储类说明符。

也就是说，您不能在块 scope 中声明 function，例如

int main(void)
{
  static void myFunc(void);

  myFunc();

  return 0;
}

Answer 2

C 标准 (C99 +) 是否要求实现允许将 function 声明放置在一个块内，以便将其 scope 限制在该块内？

是的。

这包含在标准中的什么地方？

遵循语法：函数定义-> compund-statement -> block-item-list -> block-item -> declaration-specifiers -> [ declaration-specifiers -> type-specifier void + init-declarator-list -> init -declarator -> declarator -> [ direct-declarator myFunc + ( + empty identifier-list + ) ]+ ; ].

用于表示语法的符号也有解释： https://port70.net/~nsz/c/c99/n1256.html#6.1p1 。

换句话说，一个 function 定义有一个代码块，它由声明和表达式组成。 function 声明是可能的声明之一，因此它可以在 function 定义的块内。