在C中调用空函数是UB吗？

Question

#include <stdio.h>

static int foo(){}

int main(){
  if (foo()) {
    printf("OK\n");
  }
  return 0;
}

我不太确定是否中止该操作，而且我在

ISO/IEC 9899:1999 (E)

中还没有找到任何解释。也许我想念那个。 那么，在这种情况下，

if(foo())

就是 UB 吗？

我使用gcc7.3 aarch64-linux进行测试。 O0：打印正常 O1~O3：什么也不打印

Answer 1

C17 6.9.1 §12

如果到达终止函数的

}

，并且函数调用的值被调用者使用，则行为未定义。

调用者正在使用函数的值作为

if

评估的一部分，因此您的代码会调用未定义的行为。自第一个 C 标准以来，情况一直如此。

Answer 2

编译 C 程序时，应始终启用警告。使用 GCC，您可以通过添加选项

-Wall

:

来做到这一点

$ gcc -Wall test.c
test.c: In function ‘foo’:
test.c:3:1: warning: no return statement in function returning non-void [-Wreturn-type]
    3 | static int foo(){}
      | ^~~~~~