为何无法为未实现且未使用的模板函数使用static_assert？

示例代码 #

#include <stdexcept>
#include <iostream>

template<typename T>
T test() {
    static_assert(false, "test not implemented for type T");
    // throw std::runtime_error("test not implemented for type T");
}

template<>
int test<int>() {
    return 5;
}

int main() {
    std::cout << test<int>() << std::endl;
    return 0;
}

编译报错信息 #

main.cpp: In function ‘T test()’:
main.cpp:14:19: error: static assertion failed: test not implemented for type T
   14 |     static_assert(false, "test not implemented for type T");

问题描述 #

尽管程序仅调用了特化后的test<int>()，从未用到通用模板函数，但编译器仍触发上述报错。请问这种情况存在合理原因吗？如何实现编译期的未实现检查（改用运行时错误可正常运行，但不符合需求）？

报错原因 #

通用模板中的static_assert(false)是不依赖模板参数的常量表达式，根据C++标准，编译器在解析模板定义阶段（而非实例化阶段）就会检查这类static_assert的条件是否为真。哪怕你从未实例化这个通用模板，编译器也会直接判定该断言失败，抛出错误。

解决方案 #

要让static_assert仅在通用模板被实例化时触发，需要让断言的条件依赖于模板参数，这样编译器会延迟到模板实例化阶段才检查条件。常用的写法是利用sizeof(T)构造一个永远为假但依赖参数的表达式：

template<typename T>
T test() {
    static_assert(sizeof(T) == 0, "test not implemented for type T");
}

原理是：sizeof(T)的值取决于模板参数T，只有当模板被实例化时，编译器才会计算这个值并检查断言。而对于任何实际存在的类型T，sizeof(T)都不可能为0，因此当用户实例化未特化的模板时，会触发编译错误，完全符合编译期检查的需求。

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