为何使用enable_if时is_same编译失败，is_same_v却通过？

核心原因在于编译器对两种表达式的处理时机以及SFINAE规则的适用场景：

函数f2编译失败的原因 #

f2的模板参数中，!std::is_same<int, int>::value是一个直接可确定的编译期常量false。编译器在解析模板声明阶段就会立即展开std::enable_if_t，发现std::enable_if<false, bool>没有type成员，因此直接判定模板参数的类型无效，抛出编译错误。

函数f1编译通过的原因 #

f1中使用的std::is_same_v<int, int>是变量模板的实例。GCC在处理这类表达式时，会将其视为“潜在依赖于模板参数的表达式”（即使此处没有实际的模板参数依赖），从而延迟对std::enable_if_t有效性的检查，直到模板被实例化时才触发SFINAE规则。由于main函数中没有调用f1，模板从未被实例化，因此编译器不会检查其有效性，最终编译通过。

补充说明 #

这种差异是GCC特定的实现行为。从C++标准的角度来看，两种情况都应该在解析阶段就发现enable_if_t无效，但GCC对变量模板的特殊处理逻辑导致了这个差异。其他编译器（如Clang）可能会对f1也抛出相同的编译错误。

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