Clang 16编译共享库函数符号含额外模块名致链接错误求助

问题背景 #

在Arch Linux上使用源码编译的clang-git 16.0.0，创建提供整数求和功能的共享库libsum，代码采用C++20模块TS编写：

库代码 #

liba.cc：

export module liba;
namespace space {
    export int sum(int a, int b) { return a + b; }
}

liba.h：

namespace space {
    int sum(int,int);
}

编译命令 #

执行以下命令编译库无报错：

clang++ -std=c++20 -fmodules-ts -fprebuilt-module-path=. --precompile -x c++-module -fimplicit-modules -fimplicit-module-maps -fPIC liba.cc
clang++ -c liba.pcm -o liba.o
clang++ -shared -Wl,-soname,libsum.so -o libsum.so liba.o

错误现象 #

链接测试程序时，链接器返回undefined reference to 'space::sum(int, int)'错误。查看库符号发现函数带有额外模块名：

$ nm -D libsum.so | grep sum
00000000000010f0 T _ZN5spaceW4liba3sumEii

而在clang 14.0.6环境下编译的库符号正常，无额外模块名：

$ nm -D libsum.so | grep sum
00000000000010f0 T _ZN5space3sumEii

尝试过clang 15、16多个版本及-fuse-ld=lld链接器，均未解决问题。

解决方法 #

1. 用模块接口替代头文件，保持符号一致性 #

测试程序不要使用传统头文件liba.h，而是通过导入模块来调用sum函数，这样符号会和库中的模块修饰符号匹配：

测试程序test.cc：

import liba;
#include <iostream>

int main() {
    std::cout << space::sum(1,2) << std::endl;
    return 0;
}

编译测试程序的命令：

clang++ -std=c++20 -fmodules-ts -fprebuilt-module-path=. test.cc -o test -L. -lsum

2. 强制导出无模块修饰的符号（兼容传统头文件调用） #

如果必须兼容传统头文件的调用方式，需要在模块中给sum函数添加extern "C++"显式声明，阻止Clang为符号添加模块命名空间修饰：

修改liba.cc：

export module liba;
namespace space {
    export extern "C++" int sum(int a, int b) { return a + b; }
}

重新编译库后，符号会和Clang 14版本一致，传统头文件调用的测试程序可正常链接。

3. 简化模块编译选项 #

移除不必要的隐式模块相关选项，避免触发Clang的特殊符号修饰逻辑：

编译模块的简化命令：

clang++ -std=c++20 -fmodules-ts --precompile -x c++-module -fPIC liba.cc -o liba.pcm
clang++ -c liba.pcm -o liba.o
clang++ -shared -Wl,-soname,libsum.so -o libsum.so liba.o

排查Clang编译安装的潜在问题 #

• 确认编译Clang时的C++标准支持：检查CMake编译参数，确保CMAKE_CXX_STANDARD=20、LLVM_ENABLE_CXX20等选项已开启，保证模块TS功能正常编译。
• 检查多版本Clang冲突：执行which clang++和clang++ --version确认当前使用的是源码编译的16.0.0版本，避免系统自带旧版本干扰。
• 验证模块功能完整性：编译一个不涉及共享库的简单模块程序，确认模块导入、导出功能正常，排除Clang编译时模块功能被禁用的可能。
• 检查Clang编译时的链接器配置：确认编译Clang时使用了正确的链接器（如lld），避免链接器相关bug导致符号处理异常。

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