使用std::format()链接时出现链接错误的原因排查

问题详情 #

基于《Professional C++（第五版）》第一章示例修改的C23模块化程序，适配VSCode IntelliSense后，通过Makefile构建时出现链接错误，提示undefined reference to std::__detail::__from_chars_alnum_to_val_table<false>::value。移除std::format改用直接输出可正常构建，说明问题集中在std::format与C模块的交互上。

环境信息 #

• Slackware Linux current（64位Intel）
• g++ 13.2.0
• binutils 2.41

已尝试无效操作 #

• 添加-lstdc++链接选项
• 导入<charconv>模块
• 编译所有标准库模块

相关代码与构建配置 #

employee-module.cppm #

export module employee;

export struct Employee {
  char firstInitial;
  char lastInitial;
  int employeeNumber;
  int salary;
};

employee.cpp #

#ifdef __INTELLISENSE__
#include <iostream>
#include <format>
#include "employee-module.cppm"
#else
import <iostream>;
import <format>;
import employee;
#endif

using namespace std;

int main() {
  Employee anEmployee;
  anEmployee.firstInitial = 'J';
  anEmployee.lastInitial = 'D';
  anEmployee.employeeNumber = 42;
  anEmployee.salary = 80'000;

  cout << format("Employee: {}{}", anEmployee.firstInitial,
                 anEmployee.lastInitial)
       << endl;
  cout << format("Number: {}", anEmployee.employeeNumber) << endl;
  cout << format("Salary: ${}", anEmployee.salary) << endl;
}

Makefile #

CXX_VERSION = 23

CXX = g++
CXXFLAGS = -std=c++$(CXX_VERSION) -fmodules-ts
EXE = employee hello
SYSTEM_MODULES =    fstream filesystem thread algorithm any array atomic barrier bit bitset charconv chrono compare complex concepts condition_variable coroutine deque \
                    exception expected format forward_list functional future initializer_list istream iomanip ios iosfwd iostream iterator latch limits list locale map \
                    memory memory_resource mutex new numbers numeric optional ostream queue ranges ratio regex scoped_allocator semaphore set shared_mutex \
                    source_location span sstream stack stacktrace stdexcept stdfloat stop_token streambuf string string_view syncstream system_error tuple type_traits \
                    typeindex typeinfo unordered_map unordered_set utility valarray variant vector version execution random spanstream
.PHONY = all clean system-modules

default: all

all: $(EXE)

employee: employee-module.o employee.o
    $(CXX) $(CXXFLAGS) -o $@ $^

hello: hello.o
    $(CXX) $(CXXFLAGS) -o $@ $^

%.o: %.cpp
    $(CXX) $(CXXFLAGS) -c $^

%.o: %.cppm
    $(CXX) $(CXXFLAGS) -c -x c++ $^

clean:
    rm -f $(EXE) *.o

deepclean: clean
    rm -rf gcm.cache/

$(SYSTEM_MODULES):
    $(CXX) $(CXXFLAGS) -x c++-system-header $@

system-modules: $(SYSTEM_MODULES) | gcm.cache/

构建错误输出 #

$ make
g++ -std=c++23 -fmodules-ts -c -x c++ employee-module.cppm
g++ -std=c++23 -fmodules-ts -c employee.cpp
g++ -std=c++23 -fmodules-ts -o employee employee-module.o employee.o
/usr/bin/ld: employee.o: in function `unsigned char std::__detail::__from_chars_alnum_to_val<false>(unsigned char)':
employee.cpp:(.text._ZNSt8__detail25__from_chars_alnum_to_valILb0EEEhh[_ZNSt8__detail25__from_chars_alnum_to_valILb0EEEhh]+0x12): undefined reference to `std::__detail::__from_chars_alnum_to_val_table<false>::value'
collect2: error: ld returned 1 exit status
make: *** [Makefile:18: employee] Error 1

解决方案 #

1. 调整标准库模块编译逻辑 #

g++ 13.2.0的模块实现对部分标准库组件的依赖处理存在缺陷，预编译所有标准库模块反而可能导致符号遗漏。尝试以下操作：

• 执行make deepclean删除所有编译产物与模块缓存
• 修改Makefile，注释掉system-modules相关规则，让编译器自动处理标准库导入
• 重新执行make构建

2. 强制链接完整标准库 #

临时解决方案：在链接步骤中强制链接整个libstdc++库，确保内部符号被正确包含。修改Makefile中的链接规则：

employee: employee-module.o employee.o
    $(CXX) $(CXXFLAGS) -o $@ $^ -Wl,--whole-archive -lstdc++ -Wl,--no-whole-archive

注意：此方法会增大可执行文件体积，仅作为临时测试使用。

3. 升级g++版本 #

g++ 13.x系列对C23模块与std::format的组合支持存在已知bug，升级到g 14或更高版本可彻底解决该兼容性问题。

4. 调整编译依赖顺序 #

确保标准库模块在用户模块之前编译，修改Makefile添加依赖：

employee.o: employee.cpp | system-modules

然后先执行make system-modules预编译标准库模块，再执行make构建程序。

内容的提问来源于stack exchange，提问作者An Infamous Historian