類型的enable_if'ed模板模板構造函數的簽名？

Question

我通常會聲明我的類和模板，然後在（在當前的頭文件中）定義它們的方法。我發現這樣更容易閱讀。那麼，我遇到了一個案例，我無法弄清楚一個工作類型簽名是否在一個不符合類的定義中使用。下面是我在做什麼一個簡單的例子，說明該問題：

template <class T> 
struct Foo 
    { 
    Foo(T a, T b); 

    template 
     < class Iterator 
     , enable_if< is_iterator<Iterator> > 
     > 
    Foo 
     (Iterator first 
     , Iterator last 
    ); 
    }; 

template <class T> 
Foo<T>::Foo(T a, T b) 
{ ... } 

template <class T> 
template 
    < class U 
    , WHAT_GOES_HERE? 
    > 
Foo<T>::Foo(U f, U l) 
{ ... } 

我已經嘗試了一些在WHAT_GOES_HERE插槽的東西，試圖得到一個匹配的簽名，我一直失敗。我需要使用enable_if來區分兩個T類型對象傳入的情況，以及一個傳入一對Iterator時的情況。如果模板化的構造函數是在主模板內部定義的，那麼代碼就可以正常工作，而代碼目前是這樣做的，但我寧願將該定義移動到聲明之外。

編輯：我要指出，我不能只重複使用enable_if < ...>的定義，因爲enable_if < ...>指定其類型，你不能做一個缺省值一個定義也不是一個聲明。

Answer 1

我不會這麼做。這裏的變化我會做：

template <class T> 
struct Foo 
    { 
    Foo(T a, T b); 

    template 
     < class Iterator 
     > 
    Foo 
     (Iterator first 
     , Iterator last 
     , typename enable_if<is_iterator<Iterator> >::type* = 0 
    ); 
    }; 

template <class T> 
Foo<T>::Foo(T a, T b) 
{ ... } 

template <class T> 
template 
    < class U 
    > 
Foo<T>::Foo(U f, U l, typename enable_if< is_iterator<U> >::type*) 
{ ... } 

這是直出的enable_if的文件。

Answer 2

這是你想要完成的嗎？ [我沒有is_iterator類型特徵，因此我使用C++ 0x類型特徵和實用程序庫重新編寫了您的示例。它應該以與TR1和Boost庫相同的方式工作。]

#include <utility> 
#include <type_traits> 

template <typename T> 
struct S 
{ 
    // Constructor (1) 
    S(T, T); 

    // Constructor (2) 
    template <typename U> 
    S(U, U, typename std::enable_if<std::is_integral<U>::value>::type* = 0); 
}; 

template <typename T> 
S<T>::S(T, T) 
{ } 

template <typename T> 
template <typename U> 
S<T>::S(U, U, typename std::enable_if<std::is_integral<U>::value>::type*) 
{ } 

int main() 
{ 
    S<double> a(1.0, 2.0); // uses (1) 
    S<double> b(1, 2);  // uses (2) 
} 

Answer 3

，你可以做最簡單的是：

template<class Iterator> 
Foo 
    (Iterator first 
    , typename enable_if<is_iterator<Iterator>, Iterator>::type last 
); 

Answer 4

template <class T> 
struct Foo 
    { 
    Foo(T a, T b); 

    template <class Iterator 
     ,  class = typename std::enable_if 
         <is_iterator<Iterator>::value> 
         ::type 
     > 
    Foo 
     (Iterator first 
     , Iterator last 
    ); 
    }; 

template <class T> 
Foo<T>::Foo(T a, T b) 
{ } 

template <class T> 
template 
    < class U 
    , class > 
Foo<T>::Foo(U f, U l) 
{ }