小心处理 C++ 静态变量中的陷阱-清一色财经

非局部变量的销毁顺序与它们被初始化的顺序相反。不同源文件中的非局部变量以未定义的顺序初始化，这意味着它们的销毁顺序也是未定义的。

函数中的static变量

static变量的作用

C++ 中static关键字的最后一个用途是在函数内创建局部变量，这些变量在其作用域内退出和进入时保持其值。函数内的static变量类似于只能从该函数访问的全局变量。static变量的一个常见用途是“记住”特定函数是否已执行过某个特定的初始化。例如，使用这种技术的代码可能看起来像这样：

void performTask() {
    static bool initialized { false };
    if (!initialized) {
        cout << "initializing" << endl;
        // 执行初始化。
        initialized = true;
    }
    // 执行期望的任务。
}

然而，static变量可能会引起混淆，通常有更好的方法来构造你的代码，以避免使用它们。在这种情况下，你可能想编写一个类，其中构造函数执行所需的初始化。

注意：避免使用独立的static变量。改为在对象内维护状态。然而，有时它们可以是有用的。一个例子是用于实现 Meyer 的单例设计模式

注意：performTask()的实现不是线程安全的；它包含了竞态条件。在多线程环境中，你需要使用原子操作或其他机制来同步多个线程。

非局部变量的初始化顺序

静态数据成员和全局变量的初始化

在离开static数据成员和全局变量的主题之前，考虑这些变量的初始化顺序。程序中的所有全局变量和static类数据成员都在main()开始之前初始化。在给定源文件中的变量按照它们在源文件中出现的顺序初始化。例如，在以下文件中，保证Demo::x在y之前被初始化：

class Demo {
public:
    static int x;
};

int Demo::x { 3 };
int y { 4 };

然而，C++ 对不同源文件中非局部变量的初始化顺序没有提供规范或保证。如果在一个源文件中有全局变量x，在另一个源文件中有全局变量y，你无法知道哪个会先初始化。通常，这种缺乏规范不会引起关注。然而，如果一个全局或static变量依赖于另一个，则可能会有问题。

回想一下，对象的初始化意味着运行它们的构造函数。一个全局对象的构造函数可能会访问另一个全局对象，假设它已经构造。如果这两个全局对象在两个不同的源文件中声明，你不能指望一个在另一个之前构造，也不能控制初始化顺序。这个顺序可能因不同的编译器或同一编译器的不同版本而异，甚至当你只是在项目中添加另一个文件时，顺序也可能改变。

警告：不同源文件中非局部变量的初始化顺序是未定义的。

非局部变量的销毁顺序

非局部变量的销毁顺序与它们被初始化的顺序相反。不同源文件中的非局部变量以未定义的顺序初始化，这意味着它们的销毁顺序也是未定义的。

©本文为清一色官方代发，观点仅代表作者本人，与清一色无关。清一色对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。本文不作为投资理财建议，请读者仅作参考，并请自行承担全部责任。文中部分文字/图片/视频/音频等来源于网络，如侵犯到著作权人的权利，请与我们联系（微信/QQ:1074760229）。转载请注明出处：清一色财经