Variadic 인수 (팩 크기 N) 및 기본 인수

Question

N을 std::size_t 유형의 템플릿 매개 변수로 설정하십시오. 나는 두 가지 방법으로 내 클래스의 생성자를 호출 할 수 싶습니다 :

A a(x1, x2, x3, ..., xN) 

및

A a(x1, x2, x3, ..., xN, xN1) 

xi 변수는 같은 유형의 모든 곳. 내 첫 번째 생각은 다음과 같습니다.

template <std::size_t N> 
struct A 
{ 
    template <typename ...Args, typename = typename std::enable_if<N == sizeof...(Args), void>::type> 
    A(Args ...args) { 
     f(args...); // where f is some function 
    } 

    template <typename ...Args, typename = typename std::enable_if<N+1 == sizeof...(Args), void>::type> 
    A(Args ...args) { 
     // run f on the first N arguments 
     // run g on the last argument (selection is done using templates, I just did not want to write the code) 
    } 
}; 

이 기술에 대한 설명은 Variadic templates with exactly n parameters입니다. 물론이 문제는 생성자에 이런 식으로 오버로드 할 수 없다는 것입니다.

아이디어가 있으십니까?

Answer 1

그냥 SFINAE 다르게 :

template <std::size_t N> 
struct A 
{ 
    template <typename ...Args, 
       typename std::enable_if<N == sizeof...(Args), int>::type = 0> 
    A(Args ...args) { 
    } 

    template <typename ...Args, 
       typename std::enable_if<N+1 == sizeof...(Args), int>::type = 0> 
    A(Args ...args) { 
    } 
}; 

Demo.