C++不同编译单元内定义的非局部静态对象的初始化顺序

最新推荐文章于 2023-11-27 15:29:19 发布

原创

最新推荐文章于 2023-11-27 15:29:19 发布 · 1.6k 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #静态非局部成员变量 #执行顺序

C++中的静态非局部对象在不同编译单元的初始化顺序是未定义的，可能导致不确定性。为确保初始化顺序，可以将这些对象转换为局部静态对象，利用函数内部初始化并返回引用。在多线程环境中，可通过在单线程启动阶段手动调用初始化函数以控制顺序。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

静态对象是指具有静态存储期限的对象，即从定义式开始，分配的内存空间一直保留到程序结束的对象，包括全局变量、定义于命名空间的对象以及使用static修饰符声明的对象。静态对象分为两类，具有程序块作用域的static对象称为局部静态对象，其余的成为非局部静态对象。

对于在同一个编译单元（产生单一目标文件的源码，由单一源文件和其包含的头文件构成）定义的非静态局部对象，它们的初始化顺序是由其定义顺序决定的，而对于在不同编译单元定义的非静态局部变化，它们的初始化顺序却是未定义的，因此是不确定的。

//-*-C++-*-

/********************************************
 * FileSystem.h                           *
 *                                          *
 * C++静态非局部变量初始化顺序,案例参考     *
 * Effective C++                            *
 ********************************************/

#include <cstddef>

class FileSystem
{
private:
  int diskNums;

public:
  FileSystem()
  {
    diskNums = 4;
  }
public:
  std::size_t numDisks() const;
};

extern FileSystem tfs;

/****************************************