如何使用不依赖方法模板参数的std::enable_if实现SFINAE方法切换

没问题！你想要的是不依赖成员方法自身模板参数，仅靠类模板的T1、T2来切换成员方法实现的SFINAE用法对吧？这里给你两种实用的方案：

这种方式直接针对类模板参数的不同情况，拆分出不同的类特化版本，每个版本里写对应逻辑的成员方法，完全不需要SFINAE语法：

#include <type_traits>

// 先声明主模板
template<class T1, class T2>
class Foo;

// 特化版本：当T1和T2类型相同时
template<class T>
class Foo<T, T> {
public:
    template<class InnerT, class... Args>
    void bar(InnerT param) {
        // 这里写T1 == T2时的bar实现
        // 比如可以打印提示或者做对应逻辑
    }
};

// 特化版本：当T1和T2类型不同时
template<class T1, class T2>
class Foo<T1, T2> {
public:
    template<class InnerT, class... Args>
    void bar(InnerT param) {
        // 这里写T1 != T2时的bar实现
    }
};

这个方案的优点是逻辑清晰，每个特化版本的职责明确，适合需要针对类模板参数做大量定制的场景，后续维护起来也很方便。

如果你不想拆分类特化，只想在同一个类模板里实现不同的bar重载，可以把std::enable_if放到成员函数的默认模板参数中，这样判断逻辑完全依赖类模板的T1、T2，和成员方法的模板参数（比如InnerT）无关：

C++20及以上版本（支持auto参数简化写法） #

#include <type_traits>

template<class T1, class T2>
class Foo {
public:
    // T1 == T2时启用的bar
    template<class = typename std::enable_if<std::is_same<T1, T2>::value>::type>
    void bar(auto param) {
        // T1和T2相同时的实现
    }

    // T1 != T2时启用的bar
    template<class = typename std::enable_if<!std::is_same<T1, T2>::value>::type>
    void bar(auto param) {
        // T1和T2不同时的实现
    }
};

C++17及更早版本（需要显式声明InnerT） #

#include <type_traits>

template<class T1, class T2>
class Foo {
public:
    template<class InnerT, class = typename std::enable_if<std::is_same<T1, T2>::value>::type>
    void bar(InnerT param) {
        // T1和T2相同时的实现
    }

    template<class InnerT, class = typename std::enable_if<!std::is_same<T1, T2>::value>::type>
    void bar(InnerT param) {
        // T1和T2不同时的实现
    }
};

这个方案的核心是把enable_if的判断逻辑转移到成员函数的默认模板参数上，编译器会根据类模板的T1、T2自动筛选出有效的重载，另一个不符合条件的会因为SFINAE规则被丢弃，不会参与重载决议。

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