C++ SFINAE未按预期触发？带默认参数的模板重载解析异常

这一现象和“模板参数带默认值就跳过校验”没有关系，核心问题出在自定义的nullptr_vt别名模板的实现逻辑上，以及C++ SFINAE规则的“即时上下文”判定边界。

定义的nullptr_vt本质是一个接收任意数量模板实参、但最终输出结果固定为nullptr_t的可变参数别名模板：

template<typename... T>
using nullptr_vt = nullptr_t;

当在第一个重载的非类型模板参数位置写nullptr_vt<decltype(...)> TSfinae = nullptr时，SFINAE的替换校验只会覆盖直接决定模板参数合法性的即时内容：

• 编译器只需要确定TSfinae的类型是否合法，这个类型展开后就是标准的nullptr_t，完全满足非类型模板参数的要求，这一步的校验完全通过
• 传给nullptr_vt的那个decltype(...)表达式，是被当作可变参数包的实参传入的。因为nullptr_vt的定义从头到尾都没有使用这些传入的实参，既不会展开包、也不会基于包内容做任何计算，这些实参的有效性根本不属于即时校验的范围。编译器根本不会在替换阶段深入求值这个decltype里的+运算表达式——毕竟算出来的结果完全不影响最终生成的nullptr_t类型
• 最终结果就是：哪怕not_addable类型根本没有定义+运算符，这个无效的表达式也不会被检测到，第一个重载的替换过程完全成功，正常进入重载候选集

注释里提到的“单独写nullptr_vt<decltype(...)> a{};会报错”，是因为在变量定义的场景下，编译器必须完整解析整个类型的所有组成部分，必须对传入的decltype表达式求值得到类型，这时候才会触发+运算符无效的硬错误——但这个检查永远不会发生在模板重载的即时替换阶段。

因为第一个重载的函数签名是bool test_addable(int)，比第二个重载bool test_addable(...)的省略号参数匹配优先级更高，所以不管传入的是int还是not_addable类型，都会优先匹配到第一个重载，最终全部输出true，和预期产生偏差。
要实现预期的SFINAE效果，需要让那个decltype的+运算表达式直接参与模板合法性的即时判定，不能把需要校验的表达式塞到一个会丢弃实参的可变参数别名模板里。

内容的提问来源于stack exchange，提问作者Hrvoje Jurić