如何强制C++链接器保留未使用的concrete_registered变量？

针对你用全局变量构造副作用实现工厂注册的场景，不想用--whole-archive链接整个库的话，有以下几种精准保留目标变量的方法：

1. 给变量加volatile修饰 #

volatile会告诉编译器和链接器，这个变量可能被外部或意外修改，不能随意优化掉。

// Concrete.cc里的变量定义
volatile const bool concrete_registered = Factory::Register("Concrete", []() -> Abstract* {
    return new Concrete();
});

2. 在主代码中添加无意义的变量引用 #

在main函数所在的文件里，对这个全局变量做一个空引用，让链接器认为它被使用了：

// main.cc
extern const bool concrete_registered;

int main() {
    // 仅用于阻止优化，无实际逻辑意义
    (void)concrete_registered;
    
    // 后续工厂实例化逻辑
    auto obj = Factory::Create("Concrete");
    // ...
}

3. 使用编译器属性强制保留 #

GCC/Clang环境 #

用__attribute__((used))属性标记变量，直接告诉编译器必须保留该符号：

// Concrete.cc
const bool concrete_registered __attribute__((used)) = Factory::Register("Concrete", []() -> Abstract* {
    return new Concrete();
});

MSVC环境 #

替换为__declspec(used)属性：

const bool concrete_registered __declspec(used) = Factory::Register("Concrete", []() -> Abstract* {
    return new Concrete();
});

4. 改用构造函数属性执行注册逻辑 #

如果不想依赖全局变量初始化，可以把注册逻辑放到函数里，用编译器的构造函数属性让它在main之前自动执行，从根源上避免优化问题：

// Concrete.cc
__attribute__((constructor))
void register_concrete() {
    Factory::Register("Concrete", []() -> Abstract* {
        return new Concrete();
    });
}

MSVC 2015及以上版本也支持__attribute__((constructor))，旧版本可以用__declspec(allocate(".CRT$XCU"))实现类似效果。

内容的提问来源于stack exchange，提问作者Hans