如何用SFINAE禁用类模板中非模板成员函数的最优方案？

给定如下类模板：

template <typename T>
struct S {
    int f(int x) const { return x; }
};

希望根据T的元函数特性，通过SFINAE移除成员函数f。尝试的常规方法无法生效：

#include <type_traits>

template <typename T>
struct MyProperty { static constexpr auto value = std::is_same_v<T, float>; };

template <typename T>
struct S {
    template <typename = std::enable_if_t<MyProperty<T>::value>>
    int f(int x) const { return x; }
};

int main() {
    S<int> s;
}

目前能实现的方案是引入哑元模板参数typename U = T，但实现方式较为迂回：

template <typename U = T, typename = std::enable_if_t<MyProperty<U>::value>>
int f(int x) const { 
    static_assert(std::is_same_v<T, U>, "Don't provide U.");
    return x;
}

询问是否存在更优方案。

核心原因分析 #

常规方法失效是因为类模板参数T在成员函数模板的默认模板参数求值时属于非依赖类型：编译器实例化S<int>时，会直接解析std::enable_if_t<MyProperty<int>::value>，此时该表达式值为false，触发硬错误而非SFINAE。SFINAE仅作用于模板参数推导阶段的替换失败，而这里没有推导过程，直接报错。

更优方案 #

方案1：依赖成员函数模板的非类型参数（C++11+）

无需额外哑元参数，将enable_if作为成员函数模板的非类型参数默认值，让表达式依赖于成员函数自身的模板参数，触发SFINAE：

template <typename T>
struct S {
    template <typename U = T, std::enable_if_t<MyProperty<U>::value, int> = 0>
    int f(int x) const { return x; }
};

这个方案省去了static_assert，常规使用下用户无法显式指定U绕过限制，代码更简洁。

方案2：C++20 约束与概念

如果使用C++20及以上版本，用概念实现是最直观的方式，语义清晰且无需依赖SFINAE规则：

#include <concepts>

template <typename T>
concept HasMyProperty = MyProperty<T>::value;

template <typename T>
struct S {
    int f(int x) const requires HasMyProperty<T> { return x; }
};

requires子句直接约束成员函数的存在性，可读性和维护性大幅提升。

方案3：类模板特化（C++98+）

如果需要对不同属性的T做大量差异化设计，类模板特化是更直接的选择：

template <typename T, bool = MyProperty<T>::value>
struct S;

// 满足MyProperty的特化版本，包含f函数
template <typename T>
struct S<T, true> {
    int f(int x) const { return x; }
};

// 不满足MyProperty的特化版本，无f函数
template <typename T>
struct S<T, false> {
    // 可添加其他通用成员
};

该方案兼容旧标准，适合复杂场景的差异化实现。

方案对比 #

• 哑元参数方案：兼容C++11+，但需额外断言防止滥用；
• 非类型参数方案：兼容C++11+，代码简洁，无冗余断言；
• 概念方案：C++20+专属，语义最清晰，维护成本最低；
• 类特化方案：兼容C++98+，适合多成员、多逻辑的差异化设计。

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