如何在类声明之外定义sfinae类的成员？

Question

在阅读了诸如sfinae关于在类主体之外定义的成员函数（这不是同一个问题）等问题之后，我仍然没有找到在使用sfinae方法仅使用算术类型启用类时在类声明之外定义成员函数主体的好方法。

#include <type_traits>

template <typename T,typename = typename std::enable_if<std::is_arithmetic<T>::value,T>::type>
class foo
{
public:
    void bar();
};

template <typename T>
void foo<T>::bar ()
{
}

在本例中，我得到错误：

error: invalid use of incomplete type 'class foo<T>'
void foo<T>::bar ()
^
error: declaration of 'class foo<T>'
class foo
^

#include <type_traits>

template <typename T,typename = typename std::enable_if<std::is_arithmetic<T>::value,T>::type>
class foo
{
public:
    void bar()
    {
    }
};

Answer 1

foo有两个模板参数，即使其中一个是未命名的、默认的并用于sfinae。因此：

template <typename T, typename U>
void foo<T, U>::bar ()
{
}