我正在尝试创建一个专门用于某些给定类型的全局函数模板。它看起来像这样：
啊（主模板，模板特化，extern）
template <typename T> void foo() { std::cout << "default stuff" << std::endl; }
template<> void foo<int>() { std::cout << "int stuff" << std::endl; }
extern template void foo<int>();
A.cpp（显式实例化）
template void foo<int>();
乙
void bar();
B.cpp（包括啊）
void bar() { foo<int>(); }
主程序
foo<int>();
bar();
编译器让我崩溃：“'void foo()' 的多个定义。我认为 extern 应该处理这个问题。B 编译单元不应该实例化 foo，而是在链接时使用 A 实例化，没有? 我哪里错了？
请注意，如果我不专门化 foo，则代码编译得很好。函数特化和实例化之间是否存在某种冲突？