함수 매개 변수가없는 Variadic 템플릿

Question

템플릿 매개 변수를 함수 매개 변수로 사용하지 않고 가변 템플릿을 사용할 수 있습니까?

#include <iostream> 
using namespace std; 

template<class First> 
void print(First first) 
{ 
    cout << 1 << endl; 
} 

template<class First, class ... Rest> 
void print(First first, Rest ...rest) 
{ 
    cout << 1 << endl; 
    print<Rest...>(rest...); 
} 

int main() 
{ 
    print<int,int,int>(1,2,3); 
} 

을하지만 사용하지 않을 때, 그것은 컴파일되지 않습니다과 모호함에 대해 불평 :

내가 그들을 사용하면 컴파일

#include <iostream> 
using namespace std; 

template<class First> 
void print() 
{ 
    cout << 1 << endl; 
} 

template<class First, class ... Rest> 
void print() 
{ 
    cout << 1 << endl; 
    print<Rest...>(); 
} 

int main() 
{ 
    print<int,int,int>(); 
} 

불행하게도 클래스 I가 템플릿 매개 변수는 인스턴스화 할 수 없으므로 (템플릿 함수 내부에서 호출되는 정적 함수가 있음) 제공하고 싶습니다. 이렇게하는 방법이 있습니까?

Answer 1

template<class First> // 1 template parameter 
void print() 
{ 
    cout << 1 << endl; 
} 

#if 0 
template<class First, class ... Rest> // >=1 template parameters -- ambiguity! 
void print() 
{ 
    cout << 1 << endl; 
    print<Rest...>(); 
} 
#endif 

template<class First, class Second, class ... Rest> // >=2 template parameters 
void print() 
{ 
    cout << 1 << endl; 
    print<Second, Rest...>(); 
} 

Answer 2

유형으로 지정합니다. 주어진 유형의 * 평가되지 않은 * 표현을해야하는 경우 사용할 수 있습니다

template <typename... Ts> 
struct print_impl; 

template <typename T> 
struct print_impl<T> { 
    static void run() { 
     std::cout << 1 << "\n"; 
    } 
}; 

template <typename T, typename... Ts> 
struct print_impl<T, Ts...> { 
    static void run() { 
     std::cout << 1 << "\n"; 
     print_impl<Ts...>::run(); 
    } 
}; 

template <typename... Ts> 
void print() { 
    print_impl<Ts...>::run(); 
} 

int main() { 
    print<int, int, int>(); 
    return 0; 
}