带std::enable_if_t否定条件的模板函数重载未被匹配问题

编译器未考虑带!std::is_same_v<T, Property>条件的detail::f()重载，核心原因分为两种典型场景：

1. 模板参数种类不匹配 #

你调用detail::f<int, 3, float, ...>()时，第二个模板参数3是非类型模板参数（值类型参数），而目标重载的对应位置声明的是类型参数（typename T）。模板重载决议的优先级规则中，编译器会首先匹配参数的种类（类型/非类型/模板模板参数），类型参数无法兼容非类型参数的实例化，因此该重载会直接被排除，不会进入SFINAE条件的检查环节。

2. SFINAE条件依赖的参数无法正确实例化 #

如果目标重载的SFINAE条件依赖的模板参数，与调用时传入的参数不匹配（比如条件中用类型参数T做比较，但实际传入的是非类型参数的类型），或者条件中的参数在当前调用的模板参数列表中无对应绑定，编译器会因无法解析条件逻辑，将该重载从候选集中移除。

示例佐证 #

假设你的detail::f重载定义如下：

namespace detail {
    // 未被考虑的目标重载
    template <typename Property, typename T, typename... Rest>
    std::enable_if_t<!std::is_same_v<T, Property>, int>
    f() { /* 实现逻辑 */ }

    // 匹配非类型参数的重载
    template <typename Property, auto Val, typename... Rest>
    int f() { /* 实现逻辑 */ }
}

当调用detail::f<int, 3, float>()时，第二个参数3会匹配auto Val类型的非类型参数，编译器直接选中第二个重载，第一个重载因typename T无法兼容非类型的3，完全不会被纳入候选集。

修复方向 #

• 统一模板参数种类：若需同时处理类型和非类型参数，可将重载的模板参数调整为兼容形式（比如用auto作为非类型参数占位符，或用std::integral_constant将非类型参数包装为类型参数）。
• 修正SFINAE条件：如果要检查非类型参数的类型，需将条件改为针对非类型参数的类型判断，比如!std::is_same_v<decltype(Val), Property>。

内容的提问来源于stack exchange，提问作者Ton van den Heuvel