如何确定哪个翻译单元实例化了链接的函数模板以调试ODR问题？

代码场景 #

我有一个用于测试指针转换合法性的函数模板：

template <typename T, typename U> bool test() {
    return requires(T* p) { static_cast<U*>(p); };
}

在X.cpp中，我定义了完整的类并调用该模板：

struct A {};
struct B : A {};
bool foo() {
    return test<A, B>(); // 预期返回true，因为static_cast<B*>(A*)合法
}

在Y.cpp中，仅对类做前向声明就调用了同一模板特化：

struct A;
struct B;
bool bar() {
    return test<A, B>(); // 此时编译器无法识别A、B的继承关系，返回false
}

出现的问题 #

用Clang编译时，开启优化后foo()返回预期的true；但未开启优化时，foo()返回false——推测是链接器选择了Y.cpp中编译的test<A,B>实例。

疑问与需求 #

1. 这段代码是否属于格式良好的C++代码？是否违反ODR规则？
2. 实际代码中模板调用逻辑复杂，如何追踪foo()中调用的test<A,B>实例来自哪个翻译单元？

问题解答 #

1. 代码合法性与ODR违规判定

这段代码违反了C++的ODR（单一定义规则），属于格式不良的代码，会触发未定义行为。

根据C++标准，同一个模板特化（此处为test<A,B>）在所有翻译单元中的定义必须产生完全等价的行为。但在X.cpp中，编译器知晓A和B的继承关系，requires表达式判定static_cast<B*>(A*)合法，返回true；而Y.cpp中仅存在前向声明，编译器无法推导类的继承关系，requires表达式判定转换不合法，返回false。这导致同一特化在不同翻译单元中有截然不同的语义，直接违反了ODR中“所有定义必须一致”的要求。

虽然代码能通过编译，但未定义行为下编译器/链接器可以任意选择实例，这就是不同优化等级结果不同的原因：开启优化时Clang会内联X.cpp中的实例，未优化时链接器随机选用了Y.cpp的版本。

2. 追踪模板实例来源的实用方法

• 编译期日志追踪：
  用Clang编译时添加-Xclang -fdump-template-instantiations参数，会生成详细的模板实例化日志，从中可以直接看到test<A,B>是在哪个翻译单元中被实例化的。
• 目标文件符号分析：
  1. 编译生成目标文件后，用nm -C X.o Y.o查看符号（-C参数用于解码C++ mangled名称），找到test<A,B>对应的符号，确认它存在于哪个.o文件中。
  2. 针对最终可执行文件，用nm -C your_executable | grep test定位符号，再用objdump -d your_executable查看符号地址，最后通过addr2line -e your_executable <符号地址>定位到对应的翻译单元和代码行。
• 强制实例化临时方案：
  在X.cpp中显式添加template bool test<A,B>();，强制该特化在X.cpp中实例化，链接器会优先选用这个实例（这只是临时修复，本质仍需解决ODR违规问题）。

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