如何在使用模板默认实例而非特化时触发编译警告？

需求背景 #

我正在编写一个供公司内部众多工程师长期使用的内部库，希望实现：当某个模板函数未被开发者特化时，触发编译警告——不中断构建（软件可正常运行），但要让缺失特化的情况在构建过程中清晰可见。

我选择用deprecated关键字，因为它是我找到的唯一能显示模板实例类型的上下文感知警告，便于定位问题。

初始可行实现 #

bar()是核心关注的模板函数，以下代码能实现预期行为：

#include <iostream>
template<typename foo> [[deprecated("using default implementation")]] void warning() {};

template<typename foo> void bar();
template<typename foo> void bar() { warning<foo>(); std::cout << "default" << std::endl;};
template<> void bar<double>() { std::cout << "double" << std::endl;};

template<> void bar<int>() { std::cout << "int" << std::endl; };

int main(int, char**)
{
        bar<int>();
        bar<float>();
        bar<double>();
}

GCC 12下的编译与运行结果 #

编译时会正确触发警告：

minimal.cpp:5:49: warning: ‘void warning() [with foo = float]’ is deprecated: using default impementation [-Wdeprecated-declarations]
    5 | template<typename foo> void bar() { warning<foo>(); std::cout << "default" << std::endl;};

程序输出：

int
default
double

跨编译单元的问题 #

如果把bar<int>的定义移到另一个编译单元，即使运行时会调用正确的特化版本，编译器仍会误发警告。

复现代码 #

unit.cpp：

template<typename foo> void bar();
template<> void bar<int>() { std::cout << "int" << std::endl; };

minimal.cpp：

#include <iostream>
template<typename foo> [[deprecated("using default implementation")]] void warning() {};

template<typename foo> void bar();
template<typename foo> void bar() { warning<foo>(); std::cout << "default" << std::endl;};
template<> void bar<double>() { std::cout << "double" << std::endl;};

int main(int, char**)
{
        bar<int>();
        bar<float>();
        bar<double>();
}

编译命令与结果 #

编译命令：g++ minimal.cpp unit.cpp -o test

编译警告：

minimal.cpp:5:49: warning: ‘void warning() [with foo = int]’ is deprecated: using default implementation [-Wdeprecated-declarations]
    5 | template<typename foo> void bar() { warning<foo>(); std::cout << "default" << std::endl;};
minimal.cpp:5:49: warning: ‘void warning() [with foo = float]’ is deprecated: using default implementation [-Wdeprecated-declarations]
    5 | template<typename foo> void bar() { warning<foo>(); std::cout << "default" << std::endl;};

运行输出：

$./test
int
default
double

问题原因 #

编译器处理模板时，会优先使用非特化模板，跨编译单元的特化是由链接器后续处理的，因此编译阶段编译器无法检测到跨单元的特化，导致误发警告。同时我不能把通用模板定义放在编译单元中——除非在头文件显式声明所有可能的实例，这违背了模板的设计初衷。

最终结论 #

按C++标准无法实现跨编译单元的精准警告：同一翻译单元内的缺失特化警告正常工作，但跨单元时效果不佳。

针对我的场景，最佳方案是将模板特化放在.hpp头文件中（代价是编译时间变长）。

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