if constexpr在模板中的用法：该写法是否具备实用价值？

针对你给出的模板函数：

template<bool B>
int fun()
{
    if constexpr (B)
        return 1;
    return 0;
}

性能层面：普通if与if constexpr无差异 #

你说得没错——在这个场景下，用普通if替代if constexpr，最终生成的机器码不会有性能区别。因为模板参数B是编译期常量，普通if的分支会被编译器完全优化（死分支消除），最终生成的代码就是直接返回1或0，和if constexpr的编译结果完全一致。

核心效用：解决普通if无法处理的编译期分支合法性问题 #

这个例子其实没体现出if constexpr的核心价值，它真正的用处是让分支代码只在条件成立时才参与编译检查。如果用普通if，所有分支的代码都会被编译器语法检查，哪怕分支在运行时永远不会执行；而if constexpr会在编译期直接丢弃不满足条件的分支，只保留合法的分支。

举个典型场景：

#include <type_traits>

template<typename T>
auto get_value(T t) {
    if constexpr (std::is_pointer_v<T>) {
        return *t; // 仅当T是指针时，这段代码才会被编译检查
    } else {
        return t; // T非指针时，仅这段代码生效
    }
}

如果这里用普通if，当传入非指针类型（比如int）时，*t的写法会触发编译错误——哪怕这个分支永远不会被执行。但if constexpr会跳过不满足条件的分支的编译检查，让代码合法通过编译。

额外价值：代码可读性 #

用if constexpr可以更清晰地向阅读代码的人传递信息：这个分支的判断是编译期确定的，不是运行时条件分支，能减少后续维护时的误解。

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