SFINAE在非类型模板类中失效问题及类型与非类型模板参数写法的本质差异

你的问题核心在于非类型模板参数与类型模板参数在成员函数模板的默认参数绑定和SFINAE条件匹配上的逻辑差异，以及你第一个实现中默认模板参数的错误设置导致SFINAE没有正确保留预期的函数。

先看两种写法的本质差异 #

1. 类型模板参数版本（可正常运行） #

当你用template<class T>定义类模板时，成员函数模板的默认参数Q = T会直接绑定到类模板的类型参数。比如实例化is_right<std::bool_constant<false>>时：

• 两个成员函数模板的Q默认值都是std::bool_constant<false>
• 第一个函数的enable_if条件std::is_same<Q, std::bool_constant<true>>不成立，被SFINAE剔除
• 第二个函数的enable_if条件std::is_same<Q, std::bool_constant<false>>成立，被保留，因此可以正常调用check()

2. 非类型模板参数版本（编译报错） #

你的第一个实现里犯了一个关键错误：第二个成员函数模板的默认参数用了std::bool_constant<!T>，而不是和第一个一样的std::bool_constant<T>。

当实例化is_right<false>时：

• 第一个成员函数模板的Q默认值是std::bool_constant<false>，enable_if条件检查它是否等于bool_constant<true>，不成立，被剔除
• 第二个成员函数模板的Q默认值是std::bool_constant<!false>也就是std::bool_constant<true>，enable_if条件检查它是否等于bool_constant<false>，同样不成立，也被剔除
• 最终没有可用的check()函数，编译器就报了"no matching function"错误

这两种写法的本质差异其实不是非类型/类型参数本身的问题，而是你在非类型参数版本中错误设置了成员函数模板的默认参数，导致SFINAE条件完全不匹配。

修正后的非类型模板参数版本 #

只需要把第二个成员函数的默认模板参数改成和第一个一致的std::bool_constant<T>，就能正常工作：

#include<iostream>
#include<type_traits>
template <bool T>
struct is_right {
    template <class Q = std::bool_constant<T>>
    typename std::enable_if<std::is_same<Q, std::bool_constant<true>>::value, bool>::type check() {
        return true;
    }
    // 这里把默认参数改成std::bool_constant<T>，而不是!T
    template <class Q = std::bool_constant<T>>
    typename std::enable_if<std::is_same<Q, std::bool_constant<false>>::value, bool>::type check() {
        return false;
    }
};
int main() {
    is_right<false> is_fs;
    is_right<true> is_ri;
    if(!is_fs.check() && is_ri.check()){
        std::cout << "It is right!" << std::endl;
    }
    return 0;
}

额外优化（C++17及以上） #

既然你用的是C++17，其实可以用std::enable_if_t简化代码，还能直接用constexpr if替代SFINAE，写法更简洁：

#include<iostream>
#include<type_traits>
template <bool T>
struct is_right {
    bool check() {
        if constexpr (T) {
            return true;
        } else {
            return false;
        }
    }
};
int main() {
    is_right<false> is_fs;
    is_right<true> is_ri;
    if(!is_fs.check() && is_ri.check()){
        std::cout << "It is right!" << std::endl;
    }
    return 0;
}

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