使用 SFINAE 禁用类模板的非模板化成员函数的最佳方法？

Question

有很多类似的问题，但我找不到这个问题：给定

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

我希望能够f根据T. 显而易见的事情不起作用：

#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;
    }

它可以工作https://godbolt.org/z/8qGs6P8Wd但感觉很绕。有没有更好的办法？

Answer 1

如果您可以使用 C++20 或更高版本，请添加约束：

template<class T>
struct S {
    int f(int x) const requires MyProperty<T>::value { 
        return x;
    }
};

在 C++17 中，您可以像现在一样执行此操作，或者将 移至enable_if用于函数的返回类型。如果您将条件放在std::is_same_v<U, T>tooenable_if而不是 a 中static_assert，那么如果您想启用其他fs，它会对 SFINAE 更加友好。

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

如果您的类中有许多函数并且您只想在以下情况下启用，则另一个有用的选项MyProperty::value是true将所有这些函数放入基类中，并使用CRTP有条件地从该类继承。

struct empty {};

template<class T>
struct float_funcs {
    T& Self() { return *static_cast<T*>(this); }
    const T& Self() const { return *static_cast<const T*>(this); }

    // put all functions depending on the MyProperty trait being true here:
    int f(int x) const {
        return x + Self().foo; // `foo` is accessible since we're a friend
    }
};

template<class T> // added helper variable
inline constexpr bool MyProperty_v = MyProperty<T>::value;

// inherit from float_funcs<S<T>> if the condition is `true` or `empty` otherwise
template<class T>
struct S : std::conditional_t<MyProperty_v<T>, float_funcs<S<T>>, empty> {
private:
    friend std::conditional_t<MyProperty_v<T>, float_funcs<S<T>>, empty>;
    int foo = 1;
};

有了这个，您就不需要 SFINAE 了f，如果你尝试使用fwhenMyProperty<T>不满足，你会得到一个明显的编译错误。f在这种情况下甚至不以任何形式存在。