为何显式提供C++默认构造函数会初始化成员指针变量？

现象回顾 #

场景1：使用显式空默认构造函数 #

代码：

#include <iostream>
using namespace std;

class person {
public:
    person() {

    }

    int* age;

    void show() {
        if (age == NULL) {
            cout << "null" << endl;         
        }
        else {
            cout << *age << endl;
        }
        cout << age << endl;
    }
};

int main() {
    person p1;
    p1.show();
    return 0;
}

运行结果：

null
0000000000000000

场景2：使用编译器合成的默认构造函数（不写任何构造函数） #

代码：

#include <iostream>
using namespace std;

class person {
public:
    int* age;

    void show() {
        if (age == NULL) {
            cout << "null" << endl;
        }
        else {
            cout << *age << endl;
        }
        cout << age << endl;
    }
};

int main() {
    person p1;
    p1.show();
    return 0;
}

运行结果：

Exception thrown: Access violation reading location.
this->age is 0xFFFFFFFFFFFFFFFF.

差异原因 #

1. 显式空构造函数的行为
   你手动编写的空默认构造函数person(){}不会触发编译器的合成构造逻辑，但在Visual Studio的Debug编译模式下，编译器会自动为未初始化的内置类型成员（比如指针age）填充零值（NULL）。这是VS的Debug模式调试优化，目的是帮助开发者快速识别未初始化变量，但不属于C++标准规定的行为——按照标准，空用户构造函数不会初始化内置类型成员，其值应为未定义。

2. 合成默认构造函数的行为
   当你不编写任何构造函数时，编译器会生成一个合成默认构造函数。对于内置类型成员，合成构造函数不会做任何初始化，成员值属于未定义行为。VS在Debug模式下，会给栈上未初始化的指针成员填充0xFFFFFFFFFFFFFFFF（64位环境下的特殊标记值，用于标识未初始化的指针），此时尝试解引用该无效指针，就会触发访问冲突异常。

是否由Visual Studio导致？ #

是的，这种差异完全是Visual Studio Debug模式的调试特性导致的，并非C++标准的要求。在其他编译器（如GCC、Clang）的Debug模式下，未初始化指针可能会被填充其他标记值；而在Release模式下，无论使用显式还是隐式构造函数，未初始化的成员都会是随机垃圾值，行为不可预测。

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