c++ - 为什么使用enable_if时is_same编译失败，但is_same_v通过

Question

环境

x86-64 gcc 12.2，您可以在https://godbolt.org/z/eTvTf7n3n处尝试和 https://godbolt.org/z/4W7hM3Pzs

代码

#include <type_traits>

// pass
template<std::enable_if_t<!std::is_same_v<int, int>, bool> = 0>
void f1(){
}

// Compilation failed
template<std::enable_if_t<!std::is_same<int, int>::value, bool> = 0>
void f2(){
}


int main()
{
}

问题

为什么函数 f1 和 f2 的行为不同？ is_same_v 只是 is_same::value 的常量时间包装器，我不明白是什么造成了差异。

Answer 1

该代码的 NDR 格式不正确¹。这两个重载都被 Clang 和 MSVC 拒绝。

<强> [temp.res.general]/6.1

The validity of a template may be checked prior to any instantiation. ... The program is ill-formed, no diagnostic required, if:

— no valid specialization can be generated for a template ... and the template is not instantiated, ...

---

¹ NDR =“不需要诊断”，意味着程序无效，但编译器不需要捕获它(不需要发出错误/警告消息，又名“诊断” )。