为什么调用外部函数指针会使程序崩溃？

Question

有两个源文件，a.c 和 b.c。 a.c:

int main(void)
{
    foo();
    return 0;
}

b.c:

#include <stdio.h>

static void bar(void)
{
    puts("Hola!");
}

extern void (*foo)(void) = bar;

一起编译（cl a.c b.c），运行程序，程序会崩溃。这是为什么呢？

但是，像extern void (*foo)(void); 这样的声明可以解决问题。

我的环境是 Windows MSVC：

Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 12.00.8804 for 80x86
Copyright (C) Microsoft Corp 1984-1998. All rights reserved.

---

我猜是因为：

1. 由于没有声明foo，编译器猜测它是一个函数。
2. 但是foo不是函数，而是变量，所以调用失败。

Answer 1

由于没有声明foo，编译器猜测它是一个函数。但是foo不是函数，而是变量，所以调用失败。

在 C99 之前（请求检查），C 不强制用户在调用函数之前声明函数，因此编译器不会发出警告或错误；更重要的是，确实定义了一个foo，无论是变量还是函数，因此链接器没有警告或错误。这些使这个问题很难找到。

但是，正如在 this SO post 中发现的那样，有时像这样的隐式函数调用会变成未定义的行为 (UB)：

J.2 未定义行为

——用于调用一个在作用域中没有函数原型的函数 该函数是用函数原型定义的，要么 原型以省略号或后面的参数类型结尾 促销与参数的类型不兼容 (6.5.2.2)。