面试题：C++全局变量引用安全性与内存模型的关系

问题原因

初始化顺序问题：
- 在C++中，不同编译单元（通常是不同的源文件）中的全局变量初始化顺序是未定义的。当一个编译单元中的全局变量A依赖于另一个编译单元中的全局变量B进行初始化时，如果B的初始化在A之后，那么A可能会使用到未初始化的B，从而导致未定义行为。例如，假设在file1.cpp中有GlobalA a;，在file2.cpp中有GlobalB b;，并且GlobalA的构造函数需要使用GlobalB的某些成员。如果a先于b初始化，就会出错。
- 这是因为C++内存模型没有严格规定不同编译单元全局变量初始化的先后顺序，链接器在链接时无法确保正确的初始化顺序。
多线程环境下的问题：
- 在多线程环境中，如果多个线程同时访问和修改全局变量，可能会导致数据竞争。由于C++内存模型在多线程情况下对全局变量的访问没有自动的同步机制，一个线程可能在另一个线程修改全局变量的过程中读取该变量，从而得到不一致的数据。例如，一个线程对全局变量int globalVar进行写操作，另一个线程同时进行读操作，可能会读到部分修改的值。

规避方法

使用局部静态变量：
- 可以将全局变量封装在一个函数内，并使用局部静态变量来代替。局部静态变量的初始化是线程安全的（自C++11起），并且在首次使用时才进行初始化。例如：
```
MyClass& getGlobalObject() {
    static MyClass obj;
    return obj;
}
```
- 这样，在不同编译单元中通过调用getGlobalObject()来获取全局对象，避免了初始化顺序问题。因为局部静态变量在首次调用函数时初始化，并且在多线程环境下保证正确的初始化。

单例模式：

实现一个单例类来管理全局资源。经典的懒汉式单例（自C++11起线程安全）如下：

class Singleton {
private:
    Singleton() = default;
    ~Singleton() = default;
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
    static Singleton* instance;
public:
    static Singleton& getInstance() {
        if (instance == nullptr) {
            static Singleton inst;
            instance = &inst;
        }
        return *instance;
    }
};
Singleton* Singleton::instance = nullptr;

这种方式同样保证了全局资源只有一个实例，并且可以控制初始化时机，避免了不同编译单元全局变量初始化顺序问题。

显式初始化顺序：
- 在main函数中手动控制全局变量的初始化顺序。可以先定义全局变量的指针，然后在main函数中按照正确的顺序进行初始化。例如：
```
// file1.cpp
extern GlobalB* b;
GlobalA* a;
// file2.cpp
GlobalB* b;
int main() {
    b = new GlobalB();
    a = new GlobalA(*b);
    // 程序逻辑
    delete a;
    delete b;
    return 0;
}
```
- 虽然这种方式比较繁琐，但能精确控制初始化顺序，避免因初始化顺序不当导致的问题。
使用线程同步机制（针对多线程情况）：
- 如果在多线程环境下使用全局变量，可以使用互斥锁（std::mutex）来保护对全局变量的访问。例如：
```
std::mutex globalMutex;
int globalVar;
void threadFunction() {
    std::lock_guard<std::mutex> lock(globalMutex);
    // 访问和修改globalVar
    globalVar++;
}
```
- 这样可以防止多个线程同时访问和修改全局变量，避免数据竞争。

星途面试题库

面试题：C++全局变量引用安全性与内存模型的关系

知识考点

面试题答案

问题原因

规避方法