小心处理 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 变量依赖于另一个,则可能会有问题。

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

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

非局部变量的销毁顺序

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

责任编辑:赵宁宁 来源: coding日记
相关推荐

2023-10-07 15:53:05

C/C++静态变量内存

2011-06-02 14:25:45

静态变量

2011-05-24 16:58:52

CC++

2023-12-29 08:27:36

C语言静态变量开发

2009-08-27 10:44:21

C#静态变量

2011-05-26 15:10:15

静态变量

2011-08-10 17:16:01

Objective-C静态变量

2011-07-11 16:13:01

Java静态变量实例变量

2009-08-31 10:00:07

C#静态变量

2018-07-12 13:47:04

数据科学变量虚拟变量

2009-08-31 10:18:00

C#静态变量定义C#静态变量

2009-08-31 09:47:22

C#静态变量初始化

2010-01-25 10:25:19

C++变量

2024-04-29 14:39:20

2011-03-07 10:10:35

MySQL处理空值

2010-01-28 11:08:09

C++变量

2010-01-18 17:57:02

静态数据

2009-11-27 15:13:00

PHP静态变量stat

2010-01-20 17:58:54

C++静态成员

2024-02-22 18:07:17

C++静态成员代码
点赞
收藏

51CTO技术栈公众号