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 슬롯에 여러 가지를 시도, 그리고 나는 계속 실패. 하나의 T가 두 객체에 전달되는 경우와 한 쌍의 반복자에서 전달되는 경우를 구별하기 위해 enable_if가 필요합니다. 이 코드는 템플릿 생성자가 기본 템플릿 내부에 정의되어있는 경우 코드가 올바르게 작동하지만 코드가 현재 수행하는 방식이지만 선언 외부에서 정의를 이동하는 것이 좋습니다.

편집 : 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) 
{ }