具有模板化类成员函数的sfinae

我正在尝试学习sfinae,在尝试将其应用于模板类成员函数时遇到了一个问题。多亏了 Why doesn't SFINAE (enable_if) work for member functions of a class template? 我能够建立一个基本的例子( Run online ):

template<typename T>
class Foo{
    public:
    template <typename U = T, typename std::enable_if_t<!std::is_same<U, int>::value && !std::is_same<U, float>::value,int> = 0>
    void sfinae() { // Foo<anything else>
        std::cout << "sfinae default" << std::endl;
    }

    template <typename U = T, typename std::enable_if_t<std::is_same<U, int>::value,int> = 0>
    void sfinae() { // Foo<int>
        std::cout << "sfinae int" << std::endl;
    }

    template <typename U = T, typename std::enable_if_t<std::is_same<U, float>::value,int> = 0>
    void sfinae() { // Foo<float>
        std::cout << "sfinae float" << std::endl;
    }
};

我有两个后续问题:
1。 如何分离成员函数的声明和定义?
我尝试了如下定义:

template <typename T>
template <typename U = T, typename std::enable_if_t<!std::is_same<U, int>::value && !std::is_same<U, float>::value,int> = 0>
    void Foo<T>::sfinae() { // Foo<anything else>
        std::cout << "sfinae default" << std::endl;
    }

但这会导致编译错误。

2。catch all默认情况(打印sfinae默认值)当前必须写入为 not(type1, type2,...) 这可能是巨大的。是否有更短/更干净的解决方案?

编辑 : 根据@jans的回答,这里是 corrected solution .