未定义指针变量是否等于NULL？同一代码为何输出不同？

我运行同一段代码时在不同环境下得到了两种不同的输出，代码如下：

#include <iostream>
using namespace std;
struct test {
    int val;
};
int main() {
    test* a;
    cout << (a == NULL) << endl;
}

输出结果有时为1，有时为0。想请教：未定义的指针变量是否等于NULL？出现这种输出差异的原因是什么？

问题解答 #

• 未初始化的指针变量既不能说等于NULL，也不能说不等于NULL——因为这属于C++中的未定义行为。未初始化的局部指针变量会占用栈上的一块内存，它的初始值就是这块内存里的残留旧数据，完全随机。
• 输出差异的核心原因：不同环境（编译器版本、编译选项、操作系统、甚至程序运行时的栈状态）下，栈上的残留数据各不相同。如果残留数据恰好是NULL对应的内存地址（通常是0），输出就是1；如果是其他值，输出就是0。
• 补充：C++标准明确规定，使用未初始化的自动变量（包括局部指针）的行为是未定义的，编译器可以产生任何结果，没有一致性保证。这类代码的输出完全不可预测，写代码时必须避免使用未初始化的变量。

内容的提问来源于stack exchange，提问作者Jonas