面试题：C++跨模块全局变量初始化顺序优化及陷阱规避

全局变量初始化顺序保证

MSVC：在MSVC中，全局变量的初始化顺序依赖于链接顺序。将包含 GlobalInDLL2 的DLL链接在包含 GlobalInDLL1 的DLL之前，理论上可以保证 GlobalInDLL2 先初始化。但这并非绝对可靠，因为链接顺序可能因项目结构改变而变动。
GCC：GCC在ELF格式的共享库（类似DLL）中，全局变量的初始化顺序也没有严格定义。不过，可以通过使用 __attribute__((constructor)) 来指定一个函数在共享库加载时执行，从而控制相关全局变量的初始化逻辑。

为保证跨编译器的初始化顺序，可以：

封装初始化逻辑：在每个DLL中提供一个初始化函数，例如 InitDLL1() 和 InitDLL2()。在应用程序入口处，显式地按照正确顺序调用这些初始化函数，即先调用 InitDLL2()，再调用 InitDLL1()。
使用单例模式：将全局变量封装在单例类中，通过单例类的 getInstance() 方法延迟初始化，确保在首次使用时初始化。这样不同DLL中的单例类可以按需求顺序初始化。

可能遇到的陷阱

未定义初始化顺序：不同编译器对全局变量初始化顺序处理不同，如前面提到，在不同编译器环境下，链接顺序或加载顺序不一致可能导致 GlobalInDLL1 在 GlobalInDLL2 之前初始化，从而 GlobalInDLL1 引用到未初始化的 GlobalInDLL2。
跨DLL的依赖问题：如果DLL之间存在复杂的依赖关系，比如多个DLL相互引用全局变量，初始化顺序的确定会更加困难，容易陷入循环依赖的陷阱。
编译器特定行为：MSVC和GCC对全局变量存储、初始化等细节处理上存在差异，例如MSVC使用.CRT$XCU 等段来管理全局变量初始化，GCC使用.init_array 段。这种差异可能导致在不同编译器构建时行为不一致。

优化和规避问题的设计与代码实现

设计层面：

减少全局变量依赖：尽量降低DLL之间全局变量的直接引用，通过接口函数传递必要的数据，以解耦不同模块。
分层架构：对项目进行合理的分层，使依赖关系更加清晰，减少跨层的全局变量引用。

代码实现层面：

使用Pimpl模式：在DLL接口类中使用Pimpl（Pointer to implementation）模式，将全局变量隐藏在实现类中，通过接口类的方法访问，避免直接暴露全局变量。
检查初始化状态：在使用全局变量的地方，添加初始化状态检查。例如，在 GlobalInDLL1 的使用处，先检查 GlobalInDLL2 是否已初始化，如果未初始化，调用相关初始化函数。

// 在DLL2中
class GlobalInDLL2 {
public:
    static GlobalInDLL2& getInstance() {
        static GlobalInDLL2 instance;
        return instance;
    }
    // 相关数据和方法
private:
    GlobalInDLL2() = default;
    ~GlobalInDLL2() = default;
    GlobalInDLL2(const GlobalInDLL2&) = delete;
    GlobalInDLL2& operator=(const GlobalInDLL2&) = delete;
};

// 在DLL1中
class GlobalInDLL1 {
public:
    static GlobalInDLL1& getInstance() {
        static GlobalInDLL1 instance;
        // 确保GlobalInDLL2已初始化
        auto& global2 = GlobalInDLL2::getInstance(); 
        return instance;
    }
    // 相关数据和方法
private:
    GlobalInDLL1() = default;
    ~GlobalInDLL1() = default;
    GlobalInDLL1(const GlobalInDLL1&) = delete;
    GlobalInDLL1& operator=(const GlobalInDLL1&) = delete;
};

通过上述方法，可以在一定程度上优化和规避跨模块、跨编译器下全局变量初始化顺序带来的问题。

星途面试题库

面试题：C++跨模块全局变量初始化顺序优化及陷阱规避

知识考点

面试题答案

全局变量初始化顺序保证

可能遇到的陷阱

优化和规避问题的设计与代码实现