Clang编译时未使用的类/方法为何不被纳入目标文件？

我在开发C++代码时遇到以下问题：

场景1：未调用静态方法 #

test.cpp内容：

// test.cpp
class Base64
{
public:
    static const char *to_string()
    {
        return "Base64";
    }
};

执行编译命令：

clang++ -c test.cpp -o test.o && nm test.o

目标文件中完全没有符号，推测静态方法Base64::to_string()被优化移除。

场景2：调用静态方法 #

修改后的test.cpp：

// test.cpp
#include <iostream>

class Base64
{
public:
    static const char *to_string()
    {
        return "Base64";
    }
};

int main() {
    std::cout << Base64::to_string();
}

用相同命令编译后，解析符号可见Base64::to_string()符号存在，推测是因为main()调用了该方法。

我的疑问：

• 这是C++标准的设计如此吗？
• 这是Clang独有的特性吗？（尚未用GNU g++测试）
• 编写库代码时，这种优化导致某文件中定义的符号被移除，进而链接失败，该如何解决？（注：因特殊原因需单文件编译，调整编译方式无法解决）

1. 这是符合C++标准的行为，并非Clang独有 #

C++标准允许编译器执行**死代码消除（Dead Code Elimination）**优化：如果一个函数（包括静态成员函数）在当前编译单元中没有被直接或间接调用，编译器可以选择将其从目标文件中移除——因为它不会影响程序的运行结果。GCC也会执行完全相同的优化，你可以自行测试验证。

2. 库开发的解决方法 #

要确保库中的符号即使未被当前编译单元调用也能保留，推荐以下可靠方案：

方案1：使用编译器属性标记符号

在Clang和GCC中，都支持__attribute__((used))属性，它会告诉编译器：该符号必须保留在目标文件中，即使看起来没有被使用。修改你的静态方法定义：

class Base64
{
public:
    static const char *to_string() __attribute__((used))
    {
        return "Base64";
    }
};

重新编译后，nm test.o就能看到对应的符号了。

方案2：显式引用符号（不推荐）

你可以在编译单元中添加一个对该静态方法的“伪调用”，比如在文件末尾添加：

// 仅用于强制保留符号，实际不会执行
static void force_keep_symbols() {
    (void)Base64::to_string();
}

但这种方式不够优雅，且维护成本高，优先推荐方案1。

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