多文件编译中extern模板实例化选择哪个类模板定义？

我测试了多文件编译下编译器对模板的处理行为：在NOT_main.cpp和main.cpp中分别定义了同名但实现不同的类模板cls，并通过extern进行显式实例化声明。当main函数在NOT_main.cpp时结果符合预期，但main函数在main.cpp时，编译器未按extern声明选择对应模板定义，想了解我的理解误区。

测试代码 #

test.h #

#include <iostream>
//#define FROM_MAIN_CPP     //for choosing main() from which .cpp file

NOT_main.cpp #

#include "test.h"
//template definition
template <typename T> class cls {
public:
    T prop;
    cls(T _val) : prop(_val) {
        std::cout << "from NOT_main.cpp\n";
    }
};
//template instantiation
template class cls<int>;    
extern template class cls<float>;   //expect definition in main
//testing...
#ifndef FROM_MAIN_CPP
int main(void) {
    cls<int> int_obj(19);
    cls<float> float_obj(1.9f);     //expect definition in main
}
#endif

main.cpp #

#include "test.h"
//template definition
template <typename T> class cls {
public:
    T prop;
    cls(T _val) : prop(_val) {
        std::cout << "from main.cpp\n";
    }
};
//template instantiation
extern template class cls<int>;     //expect definition in NOT_main
template class cls<float>;
//testing...
#ifdef FROM_MAIN_CPP
int main(void) {
    cls<int> int_obj(19);     //expect definition in NOT_main
    cls<float> float_obj(1.9f);
}
#endif

核心误区分析 #

1. 违反模板的单定义规则（ODR）
   C++标准要求，同一个类模板在整个程序中必须有唯一且一致的定义。你在两个独立的编译单元（NOT_main.cpp和main.cpp）中分别定义了同名同参数的cls模板，且实现不同，这直接违反了ODR，属于未定义行为——程序的运行结果没有标准可依，完全由编译器和链接器的具体实现决定。

2. extern显式实例化的作用被误解
   extern template class cls<int>;的作用是告诉当前编译单元：“这个模板的int实例已经在其他地方完成了显式实例化，不要在这里生成实例代码”。但它的前提是整个程序中该模板的定义是统一的。你两个文件中的cls定义不同，链接器在合并符号时，只会选择其中一个版本的模板定义（通常是链接顺序中先遇到的那个），不会按照你期望的“不同实例对应不同定义”来匹配。

3. main函数位置的影响是巧合
   当main在NOT_main.cpp时，链接器可能优先处理该文件中的cls定义，导致你误以为结果符合预期；当main在main.cpp时，链接器优先使用后者的定义，出现不符合预期的结果。这不是extern声明起作用，而是未定义行为下的随机表现，本质上都是错误的。

正确的模板多文件使用方式 #

要实现模板的多文件分离编译，应该遵循以下规则：

• 把模板的声明放在头文件中，确保所有编译单元看到的是同一个声明。
• 把模板的定义放在单独的cpp文件中，然后在该文件中完成显式实例化。
• 在需要使用模板的编译单元中，用extern声明已经存在的显式实例化。

修正后的代码示例：

test.h #

#include <iostream>
//#define FROM_MAIN_CPP

// 模板声明
template <typename T> class cls;

// 显式实例化声明，告知编译器这些实例已在其他地方定义
extern template class cls<int>;
extern template class cls<float>;

cls_impl.cpp #

#include "test.h"

// 模板唯一定义
template <typename T> class cls {
public:
    T prop;
    cls(T _val) : prop(_val) {
        std::cout << "from cls_impl.cpp\n";
    }
};

// 显式实例化定义
template class cls<int>;
template class cls<float>;

NOT_main.cpp #

#include "test.h"

#ifndef FROM_MAIN_CPP
int main(void) {
    cls<int> int_obj(19);
    cls<float> float_obj(1.9f);
}
#endif

main.cpp #

#include "test.h"

#ifdef FROM_MAIN_CPP
int main(void) {
    cls<int> int_obj(19);
    cls<float> float_obj(1.9f);
}
#endif

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