为何if constexpr的false分支中static_assert未被丢弃，GCC 7.2编译失败？

哥们，你碰到的这个问题其实是GCC 7.x系列对C++17 if constexpr实现的一个已知bug，完全不是你的代码逻辑有问题！

标准预期与实际行为的差异 #

根据C++17标准，当if constexpr出现在模板上下文（比如模板函数内部）时，false分支的代码会被实例化丢弃——简单说就是这部分代码根本不会被编译器实例化，里面的static_assert自然也不会被求值触发。比如你写的代码如果是类似这样：

#include <type_traits>

template<typename T>
void f(T) {
    if constexpr (std::is_same_v<T, float>) {
        // 当T是float时执行的逻辑
    } else {
        static_assert(false, "Only float is allowed!");
    }
}

int main() {
    f(123); // 实例化f<int>，预期false分支被丢弃
}

按照标准，实例化f<int>时，else分支属于false分支，应该被直接忽略，static_assert不会触发。但GCC 7.2偏偏会错误地去求值这个static_assert，导致编译报错。

问题根源 #

GCC 7.x是第一批支持C++17的版本，对if constexpr的实现还不够完善。它没有正确区分“模板依赖的丢弃分支”和“非依赖的常量表达式”——哪怕static_assert在false分支里，只要它的条件是一个不依赖模板参数的常量false，GCC7.2就会直接求值，而忽略了if constexpr的丢弃规则。

解决办法 #

1. 升级GCC版本：最彻底的方案是升级到GCC 8及以上版本，这个bug在GCC8里已经被完全修复，符合C++17标准的预期行为。
2. 临时 workaround：如果暂时没法升级，可以让static_assert的条件依赖于模板参数，比如把断言改成：

   static_assert(!std::is_same_v<T, T>, "Only float is allowed!");
   

   这样条件变成了依赖模板参数的表达式，GCC7.2就会正确判断：在if constexpr的false分支里，这部分代码不会被实例化，也就不会触发断言了。

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