如何在類聲明之外定義sfinae類的成員？

Question

在閱讀了sfinae on member function defined outside of class body（這不是同一個問題）和其他的問題之後，我仍然沒有找到一種很好的方法來定義成員函數的外部類聲明之外，當使用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() 
    { 
    } 
}; 

它的功能不用任何麻煩。

我正在使用mingw-w64（w64 3.3）編譯此代碼。

Answer 1

foo有兩個模板參數，即使其中一個未命名，默認和用於SFINAE。因此：

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