升级VS2022后SFINAE模板编译错误：仅uint32_t为0时触发

问题本质 #

你的代码在VS2022中编译报错，核心原因是VS错误地允许将值为0的uint32_t常量表达式作为void*类型的非类型模板参数实参，导致两个foo模板都能匹配调用，触发重载歧义；而GCC/Clang严格遵循C++标准，拒绝这种非法的模板实参转换，因此仅匹配第二个foo模板，编译通过。

C++标准相关规定 #

空指针常量的转换规则 #

值为0的整数常量表达式（包括uint32_t类型的constexpr 0）属于空指针常量，可以隐式转换为任意指针类型，这也是void* x = 0;合法但void* y = 1;非法的原因——非0整数不属于空指针常量，无法隐式转换为指针类型。

指针类型非类型模板参数的限制 #

根据C++标准[temp.arg.nontype]条款：

对于指针、指向成员的指针或引用类型的非类型模板参数，模板实参不能是空指针值、空成员指针值或空引用值，除非模板参数的类型是std::nullptr_t（或其cv限定版本）。

也就是说，尽管0可以转换成void*作为变量值，但不能用它来初始化void*类型的非类型模板参数。VS2022违反了这一限制，错误地接受了该实参，导致两个模板都被实例化出签名完全相同的void foo()函数，引发重载歧义。

结论 #

这是VS2022的编译器Bug。GCC/Clang的行为符合标准，而VS错误地放宽了指针类型非类型模板参数的实参限制，导致代码在不同编译器上表现不一致。

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