SFINAE를 사용하여 템플릿 호출 연산자에 디스패치하는 방법

Question

템플릿 호출 가능 인수를 사용하는 함수가 있는데이 함수에 인덱스를 전달합니다. 어떤 경우에는 인덱스를 정적으로 전달하고 싶습니다 (저는 튜플을 가지고 작업하고 있습니다). 필자는 템플리트 된 호출 연산자와 함께 호출 가능한 객체를 전달하고 SFINAE를 사용하여 이것이 가능해야한다고 생각했습니다.

이

struct A { 
    template< size_t I > 
    void operator()(int x) 
    { 
     cout << "A " << x << " " << I << endl; 
    } 
}; 

struct B { 
    void operator()(int x, int i) 
    { 
     cout << "B " << x << " " << i << endl; 
    } 
}; 


template< 
    typename F, 
    size_t I = 0 
> 
inline 
void 
call(int x, F & fn) { 
    fn(x, I); 
} 


int main() 
{ 
    A a;   
    B b; 

    call(2, b); 
    call< B, 3 >(2, b); 

    call(1, a); // no match for call to '(A) (int&, long unsigned int)' 

    return 0; 
} 

그래서 내가 SFINAE를 호출 기능에 과부하 사용하여 바로 호출을 선택하려고 : 처음에는

이 뭔가 보이는

template< 
    typename F, 
    size_t I = 0 
> 
inline 
typename std::enable_if< /* I've tried all kinds of things here */ >::type 
call(int x, F & fn) { 
    fn<I>(x); 
} 

을하지만 알아낼 수 없습니다 F가 하나의 템플릿 매개 변수와 int 인수로 호출 가능한지 여부를 감지하는 유형 특성 this article과 this one을 참조했지만 사용 사례에 맞게 수정하는 데 문제가 있습니다. 어떤 아이디어? 전화 사이트를 수정하지 않고도 가능합니까?

Answer 1

struct A { 
    template< std::size_t I > 
    void operator()(int x, std::integral_constant<std::size_t, I> i) { 
    cout << "A " << x << " " << I << endl; 
    } 
}; 

대신 사용하십시오. 표준 SFINAE 테스트가 작동하며 템플릿이 아닌 형식 인수를 전달하지 않습니다.

C++ 14 컴파일러에서는 std::get<i>을 사용할 수 있습니다. C++ 11 컴파일러에서는 std::get<I> 또는 std::get<decltype(i)::value>을 사용할 수 있습니다.

전달 템플릿 비 형식 인수가 빠릅니다. 그들을 피하십시오.