类型的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) 
{ }