函数指针是否总是初始化为 NULL？

Question

我正在使用 MSVC，下面的代码似乎没有崩溃，并且函数指针被编译器初始化为 NULL。

int (*operate)(int a, int b);
int add(int a, int b)
{
    return a + b;
}

int subtract(int a, int b)
{
    return a - b;
}

int main()
{


    if(operate) //would crash here if not NULL
    {
        cout << operate(5,5);
    }

    operate = add;
    if(operate)
    {
        cout << operate(5,5);
    }

    operate = subtract;
    if(operate)
    {
        cout << operate(5,5);
    }
    return 0;
}

看来 MSVC 将函数指针初始化为 NULL，但如果我在 Linux 中的 gcc 上构建它，它也会为 NULL 吗？它是传统的还是特定于 MSVC 的，无论我走到哪里，我都可以依赖它为 NULL 吗？

谢谢

Answer 1

operate 被初始化为 NULL 因为它是一个全局变量，而不是因为它是一个函数指针。所有具有静态存储持续时间的对象（包括全局变量、文件级 static 变量和函数中的 static 变量）如果没有给出初始化器，则初始化为 0 或 NULL。

[针对 Jim Buck 的评论进行编辑：] 在 C++ 中，语言标准的第 3.6.2/1 条保证了这一点，它开始于：

具有静态存储持续时间的对象 (3.7.1) 应为零初始化 (8.5) 在任何其他初始化之前 发生。零初始化和 用常数初始化 表达式统称为 静态初始化;所有其他 初始化是动态的 初始化。

我希望 C 也有同样的行为，因为 C++ 旨在在大多数情况下与它兼容，尽管我没有它的标准。

[EDIT #2] 正如 Jeff M 在评论中指出的那样，重要的是要意识到自动存储持续时间的变量（即“普通”局部变量）是 not 自动零初始化：除非给定初始化器，或者它们由构造函数赋值，否则它们最初将包含随机垃圾（无论该位置已经存在于内存中的什么）。因此，初始化所有变量是一个好习惯——它不会有坏处，但会有所帮助。