Состав шаблона шаблонов Variadic

Question

Надеюсь, что сообщество stackoverflow поможет мне с этой проблемой. Я хотел бы иметь что-то вроде следующего компилировать

template <typename A> 
void VARIADIC_TEMPLATE_FUNCTION(A* tptr) 
{ 
    //Do nothing 
} 

template <typename A, typename B, typename... C> 
void VARIADIC_TEMPLATE_FUNCTION(A* tptr) 
{ 
    // Do stuff here with typename B and tptr (not included) 
    VARIADIC_TEMPLATE_FUNCTION<A,C...>(tptr); 
} 

ясно, что это не работает, подписи двух функций конфликта.

Я пытался исправить это, передав некоторые вариационные аргументы, но ничего не работает. Я не против передачи «поддельных» переменных, но предпочитаю не делать этого.

Вызывающий бы сделать что-то подобное (например):

ClassP* ptr; 
VARIADIC_TEMPLATE_FUNCTION<ClassP, ClassA, ClassB, ClassC, ClassD>(ptr); 

Answer 1

превратить его в struct который вы можете специализироваться:

template<typename...> struct IMPL; 

template <typename A> 
struct IMPL<A> 
{ 
    static void apply(A* tptr) 
    { 
     //Do nothing 
    } 
}; 

template <typename A, typename B, typename... C> 
struct IMPL<A,B,C...> 
{ 
    static void apply(A* tptr) 
    { 
     // Do stuff here with typename B and tptr (not included) 
     IMPL<A,C...>::apply(tptr); 
    } 
}; 

template <typename A, typename... Ts> 
void VARIADIC_TEMPLATE_FUNCTION(A* tptr) 
{ 
    IMPL<A,Ts...>::apply(tptr); 
} 

Answer 2

код, который вы компилирует прекрасно для меня, так Я не совсем уверен, в чем вопрос. Но если то, что вы хотите выразить выполняет некоторые операции для каждого типа в упаковке, мне нравится следующий подход:

template <typename B, typename A> 
void impl(A* tptr) { 
    // Do stuff here with typename B and tptr (not included)   
} 

template <typename A, typename... Ts> 
void VARIADIC_TEMPLATE_FUNCTION(A* tptr) { 
    int unused[] = {0, (impl<Ts>(a), 0)... }; 
    (void)unused; 
} 

Делает цель более ясным, как только вы получите мимо странного int массива 0 с мы находимся введения.