小心处理 C++ 静态变量中的陷阱

小心处理 C++ 静态变量中的陷阱

小心处理 C++ 静态变量中的陷阱_第1张图片

函数中的 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::xy 之前被初始化:

class Demo {
public:
    static int x;
};

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

然而,C++ 对不同源文件中非局部变量的初始化顺序没有提供规范或保证。如果在一个源文件中有全局变量 x,在另一个源文件中有全局变量 y,你无法知道哪个会先初始化。通常,这种缺乏规范不会引起关注。然而,如果一个全局或 static 变量依赖于另一个,则可能会有问题。回想一下,对象的初始化意味着运行它们的构造函数。一个全局对象的构造函数可能会访问另一个全局对象,假设它已经构造。如果这两个全局对象在两个不同的源文件中声明,你不能指望一个在另一个之前构造,也不能控制初始化顺序。这个顺序可能因不同的编译器或同一编译器的不同版本而异,甚至当你只是在项目中添加另一个文件时,顺序也可能改变。

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

非局部变量的销毁顺序

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

你可能感兴趣的:(C++,c++,java,开发语言)