如何在静态库项目内强制链接指定文件而非整个归档？

我遇到的问题与Stack Overflow上的同类问题一致：静态库中全局静态变量的初始化与销毁无法自动触发。

目前使用链接器标志--whole-archive可实现需求，但存在两个明显缺陷：

• 会强制将静态库内所有.o文件纳入最终可执行文件，造成代码冗余
• 必须在依赖该库的项目中配置特定链接规则，示例如下：

target_link_libraries(my_exec
        PRIVATE -Wl,--whole-archive
        my_lib
        -Wl,--no-whole-archive // 确保标志仅作用于当前依赖
)

我期望达成两个目标：

1. 仅强制链接静态库中的指定文件，而非整个归档
2. 相关配置优先在静态库自身的CMake项目中完成，若能直接在对应.cpp文件通过代码装饰实现（增删文件无需修改CMake配置）则更佳

方法1：代码层面添加链接器属性（推荐） #

直接在包含全局静态变量的.cpp文件中，添加一个无实际功能的函数并标记为used，强制链接器保留该文件。此方法无需修改CMake配置，增删文件仅需调整代码。

示例代码 #

// global_init.cpp 包含全局静态变量的文件
#include <iostream>

// 需要触发初始化/销毁的全局静态对象
static class GlobalObj {
public:
    GlobalObj() { std::cout << "GlobalObj 初始化\n"; }
    ~GlobalObj() { std::cout << "GlobalObj 销毁\n"; }
} global_obj;

// 标记该函数为必须保留，无需被外部调用
__attribute__((used)) void __force_link_this_file() {}

增强稳定性的补充方案 #

若担心链接器仍可能忽略该符号，可在库的公开头文件中声明此函数（无需定义）：

// my_lib.h 库的公开头文件
void __force_link_this_file(); // 仅声明，无需调用

只要使用者包含该头文件并使用库的任意公开API，链接器就会确保包含global_init.cpp对应的.o文件。

注：MSVC环境下需将__attribute__((used))替换为__declspec(used)。

方法2：CMake中单独处理指定文件 #

若不想修改代码，可在静态库的CMake项目中，将需要强制链接的文件单独编译为对象库，再打包为小型静态库并添加--whole-archive标志，让主库依赖它。

示例CMake配置 #

# 主静态库
add_library(my_lib STATIC main.cpp other.cpp)

# 将需要强制链接的文件编译为对象库
add_library(forced_objs OBJECT global_init.cpp)

# 将对象库打包为小型静态库
add_library(forced_link_lib STATIC $<TARGET_OBJECTS:forced_objs>)

# 给小型库添加强制链接标志
set_target_properties(forced_link_lib PROPERTIES
    LINK_FLAGS "-Wl,--whole-archive"
)

# 让主库依赖这个小型库，使用者链接my_lib时自动包含指定文件
target_link_libraries(my_lib PRIVATE forced_link_lib)

使用者仅需正常链接my_lib即可，无需额外配置。

方法3：链接器--undefined标志指定符号 #

通过链接器--undefined标志强制解析指定符号，链接器会自动找到包含该符号的.o文件并链接。

示例CMake配置 #

add_library(my_lib STATIC main.cpp other.cpp global_init.cpp)

# 通过nm命令查看全局变量的修饰后符号名，例如：nm global_init.o | grep global_obj
set_target_properties(my_lib PROPERTIES
    LINK_FLAGS "-Wl,--undefined=_Z11global_obj"
)

缺点是符号名受C++名字修饰规则影响，不同编译器/版本可能变化，稳定性不如方法1。

内容的提问来源于stack exchange，提问作者Croquette the Soothsayer