为何extern变量在不同源文件中值不同？C++类场景疑问

你的问题和extern变量本身无关，核心是对new表达式的执行顺序理解有误：

为什么第一个例子输出不一致？ #

g_pTest = new Test;的实际执行流程是：

1. 执行new Test：先分配内存，然后调用Test的构造函数。
2. 构造函数完全执行完毕后，才会将返回的对象指针赋值给g_pTest。

所以在Test的构造函数内部调用PrintAddr()时，g_pTest还没有被赋值，依然是初始的nullptr——这就是第一行输出地址为0的原因。等构造函数执行完成，g_pTest被赋值为新对象的地址，此时Create()里的PrintAddr()自然能拿到正确值。

为什么第二个例子能正常工作？ #

第二个例子中你调整了代码顺序：先执行g_pTest = new int;完成赋值，再调用Test()函数。此时g_pTest已经持有有效地址，所以Test()里的PrintAddr()能输出正确值，本质是执行顺序的差异，和类/普通函数的替换无关。

类场景下的修复方案 #

如果你需要在Test的构造函数中就能访问到g_pTest的正确值，有两种可行方式：

方案1：手动控制对象构造时机（placement new） #

先分配内存并赋值给g_pTest，再调用构造函数，确保构造时g_pTest已经指向当前对象：

// 修改Test.h中的Create函数
inline void Create() {
    // 仅分配内存，不调用构造函数
    g_pTest = static_cast<Test*>(operator new(sizeof(Test)));
    // 使用placement new在已分配内存上构造对象
    new(g_pTest) Test();
    std::cout << "On Test.h: " << std::endl;
    PrintAddr();
}

⚠️ 注意：这种方式需要手动管理销毁流程，销毁对象时要先调用析构函数g_pTest->~Test();，再释放内存operator delete(g_pTest);。

方案2：避免在构造函数中依赖全局变量 #

如果业务逻辑允许，尽量把需要访问g_pTest的代码放到构造完成后执行，这样不需要修改对象创建方式，代码更简洁安全。

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