C++文件作用域使用new关键字相关合法性、实践及原理问题

a. 合法性与编程实践判断 #

• 合法性：完全合法，C++标准允许文件作用域的静态存储期变量使用new表达式完成初始化，语法层面没有任何问题。
• 编程实践：不属于良好实践，存在多个不可忽视的潜在风险：
  • 全局初始化阶段的异常无法被常规捕获逻辑处理，如果ClassA构造函数抛出异常，会直接导致程序崩溃，没有兜底处理的空间
  • new申请的堆内存没有对应的delete调用，会产生名义上的内存泄漏，更严重的是如果ClassA析构函数包含刷盘、释放外部资源等必要逻辑，析构函数永远不会执行，会引发业务逻辑错误
  • 跨编译单元的全局变量初始化顺序未定义，如果其他编译单元的全局构造逻辑依赖这个指针，可能会访问到未初始化的野指针

b. 构造函数调用时机 #

ClassA的构造函数会在**main函数执行之前**被调用，和当前编译单元内其他文件作用域的全局变量按定义顺序完成初始化，不同编译单元之间的全局初始化顺序没有标准保证。

c. 两种写法的三个维度差异 #

首先明确两种写法的本质区别：前者是在静态存储区存一个指向堆上ClassA实例的指针，后者是直接在静态存储区存储完整的ClassA实例。

构造函数调用时机 #

• 相同点：二者的构造函数都在main函数执行前的全局初始化阶段被调用，同一编译单元内按定义顺序执行，跨编译单元初始化顺序均无明确保证。
• 不同点：前者构造的堆实例不会在main退出后自动调用析构函数，后者的静态存储区实例会在main退出、全局销毁阶段自动执行析构函数。

内存效率 #

• 指针+堆分配的写法内存开销更大：除了ClassA本身的内存占用，还需要额外在静态存储区存储指针本身的空间（32位平台4字节、64位平台8字节），同时堆分配会产生额外的元数据开销、内存对齐损耗，分配速度也远低于静态存储预分配。
• 全局实例的写法内存效率更高：对象直接占用编译时预分配的静态存储区空间，无额外开销。

编程实践合理性 #

• 指针+堆分配的写法问题更多：除了全局变量共有的初始化顺序问题，还额外存在内存泄漏、析构不执行的风险，仅在极端需要延迟初始化、或者对象生命周期需要手动控制的场景下有使用价值，绝大多数场景都不推荐。
• 全局实例的写法相对更合理：没有内存泄漏风险，析构函数可以自动执行，但是依然存在跨编译单元初始化顺序不确定的问题，仅适合无外部依赖的简单全局对象使用。

补充说明：两种全局对象的写法都存在天生的设计缺陷，更推荐用函数内局部静态变量、或者受控的单例模式替代全局对象，手动控制初始化时机，规避顺序不确定问题。

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