模板外false constexpr分支中被调用模板函数的实例化问题

不少C开发者都有个固有印象：if constexpr好像只有在模板语境里，或者判断条件依赖模板参数的时候，才会有那些“特殊待遇”。但其实深入挖C标准的话，这说法并不准确。

首先，标准里的[basic.def.odr]/12条款明确说了——哪怕是在模板之外的代码里，if constexpr的false分支中用到的实体，根本不需要有完整定义。这就意味着，要是你在这个false分支里调用了某个模板函数，只要这个分支确定不会被执行，编译器完全不会去实例化这个模板函数的具体实现，也不会纠结它有没有定义。

给你举个直观的例子就能明白：

template <typename T>
void foo(); // 只有函数声明，没有实现

int main() {
    if constexpr (false) {
        foo<int>(); // 这个调用完全能过编译，因为分支是false
    }
    return 0;
}

这段代码可以正常编译通过，核心原因就是if constexpr的false分支不会触发foo<int>()的实例化，哪怕foo只有声明也没关系。这可完全打破了“只有模板里用if constexpr才有用”的误区。

简单总结下：模板外的if constexprfalse分支，和模板里的情况类似，分支内的模板函数调用不会被实例化，也不需要实体有完整定义——这是标准明确规定的，可不是什么编译器的“额外福利”哦。

内容来源于stack exchange