面试题：C++函数内局部静态变量存储位置及线程安全分析

存储位置：
- 函数内部定义的局部静态变量存储在静态存储区。静态存储区在程序的生命周期内一直存在，在程序启动时分配内存，程序结束时释放内存。与普通局部变量存储在栈上不同，局部静态变量的生命周期不局限于函数调用期间。
多线程环境下的问题：
- 初始化问题：如果多个线程同时调用包含局部静态变量的函数，可能会导致该局部静态变量被多次初始化。因为每个线程都可能在不知道其他线程已经初始化该变量的情况下尝试进行初始化，这会导致非预期的结果。
- 数据竞争问题：对局部静态变量的读写操作可能引发数据竞争。例如，如果一个线程正在读取该变量的值，同时另一个线程正在修改它的值，可能会导致读取到不一致的数据。
解决方法：
- 使用互斥锁（std::mutex）：
  - 在C++ 11及以后的标准中，可以使用std::mutex来保护局部静态变量的初始化和读写操作。以下是一个示例代码：

#include <iostream>
#include <mutex>

std::mutex mtx;

class MyClass {
public:
    MyClass() {
        std::cout << "MyClass constructor called" << std::endl;
    }
};

MyClass& getInstance() {
    static MyClass instance;
    static std::once_flag flag;
    std::call_once(flag, []() {
        // 初始化操作，例如
        std::lock_guard<std::mutex> lock(mtx);
        // 这里可以进行复杂的初始化逻辑
    });
    return instance;
}

使用std::call_once和std::once_flag：
- std::call_once函数与std::once_flag对象配合使用，能够确保给定的函数（初始化函数）只被调用一次，无论有多少个线程尝试调用std::call_once。这可以有效解决局部静态变量的多次初始化问题。例如上面代码中std::call_once(flag, []() { /*初始化操作*/ });，flag是std::once_flag类型的变量，在getInstance函数中，无论多少个线程同时调用该函数，[]() { /*初始化操作*/ }这个Lambda表达式只会被调用一次，从而保证instance只被初始化一次。对于读写操作，如果需要保护，还是可以结合std::mutex等同步机制。

星途面试题库

面试题：C++函数内局部静态变量存储位置及线程安全分析

知识考点

面试题答案