C++11多翻译单元中静态变量重复构造析构问题求解

问题场景 #

在C++11代码中定义了带有非平凡构造/析构函数（涉及内存分配释放）的静态成员变量，代码如下：

logger.h #

class logger {
public:
    class log_data
    {
        // 构造函数分配内存，析构函数释放内存
    };

    static log_data l;
};

logger.cpp #

logger::log_data logger::l;

当logger.cpp同时被编译进共享库和链接该共享库的可执行文件时，出现以下运行异常：

• 可执行文件在main()启动前初始化logger::l，执行构造函数；
• 共享库在同一内存地址重复初始化，覆盖首次构造的结果；
• main()执行完成后，共享库先销毁该对象，随后可执行文件再次尝试销毁同一地址的对象，导致重复析构。

不同平台的表现：

• x86平台：Valgrind检测到构造时分配的内存块丢失（因首次初始化被覆盖），但未报告重复析构；
• armv7平台：程序在main()退出后崩溃，提示double free or corruption (fasttop)，GDB显示栈损坏。

临时缓解方案：仅让一个共享库编译logger.cpp，可执行文件不包含该文件时程序能正常运行，但无法解决logger.cpp被多个共享库同时包含的场景。

需求：如何确保该静态变量无论被编译进多少个库或可执行文件，都仅执行一次构造和析构？

可行解决方案 #

1. 使用C++17 inline静态成员变量 #

C++17新增的inline静态成员变量特性，允许直接在类内部完成声明与定义，编译器会自动保证全局唯一实例，无需在.cpp文件中单独定义。修改头文件即可：

class logger {
public:
    class log_data
    {
        // 原有构造/析构逻辑保持不变
    };

    inline static log_data l; // 直接用inline标记静态成员
};

无论多少个编译单元包含该头文件，最终只会生成一个logger::l实例，从语法层面避免重复构造/析构问题。

2. 基于C++11的单例模式（懒汉式） #

若需兼容C11标准，可改用函数静态变量实现单例，C11标准保证静态局部变量的初始化是线程安全的，且全局仅构造一次：

// logger.h
class logger {
public:
    class log_data
    {
        // 可将构造函数设为private，限制外部直接实例化
        log_data() { /* 内存分配逻辑 */ }
        ~log_data() { /* 内存释放逻辑 */ }
        friend class logger;
    };

    static log_data& get_log_data() {
        static log_data instance; // 全局唯一实例，首次调用时构造
        return instance;
    }
};

使用时通过logger::get_log_data()获取实例，替代直接访问logger::l，程序退出时该实例会自动执行一次析构。

3. 链接器符号控制（平台相关） #

针对GCC/Clang等编译器，可通过属性标记控制符号的可见性与唯一性：

• 将logger::l定义为弱符号：在logger.cpp的变量定义前添加__attribute__((weak))，链接器会在多个实例中选择一个保留，但这种方式依赖链接顺序，可靠性较低；
• 控制符号可见性：编译共享库时添加-fvisibility=hidden选项，同时将logger::l标记为__attribute__((visibility("default")))，确保仅导出一个实例，其他模块使用该导出符号而非本地实例。

这种方式属于平台特定方案，跨平台兼容性较差，仅建议在无法修改代码结构时使用。

4. 重构代码结构（根源解决） #

最可靠的方案是将logger.cpp编译为独立的共享库或静态库，所有需要使用logger功能的模块（可执行文件、其他共享库）都链接这个独立库，而不是各自编译logger.cpp。这样整个程序生命周期内只会存在一个logger::l实例，从根本上避免重复构造与析构的问题。

内容的提问来源于stack exchange，提问作者David Di Lorenzo