In che modo enable_if una classe con argomenti modello variadic?

Question

Supponiamo che io ho una classe con la seguente firma:

template <typename T, typename... Args> 
class A; 

Ma come questo si comporta classe dovrebbero dipendere da qualche altro parametro, diciamo che è il valore di T::value:

template <typename T, typename... Args, typename Enable> 
class A; 

template <typename T, typename... Args, typename = typename std::enable_if<T::value>::type> 
class A 
{ 
    // do something 
}; 

template <typename T, typename... Args, typename = typename std::enable_if<!T::value>::type> 
class A 
{ 
    // do something else 
}; 

int main() { return 0; } 

Tuttavia, questo programma ha pronunciato la seguente errore:

prog.cpp:6:11: error: parameter pack ‘Args’ must be at the end of the template parameter list class A;

ho faticato a trovare una buona fonte di informazioni sull'uso di 012.per selezionare classi con modelli variadic. L'unica domanda che ho trovato è questo:

How to use std::enable_if with variadic template

Ma, nonostante il nome, questa domanda e le sue risposte non sono molto aiuto. Se qualcuno potrebbe fornire o collegare una guida su come questo dovrebbe essere affrontato e perché sarebbe apprezzato.

Answer 1

Prima di tutto, ciò che si sta cercando è la scrittura più definizioni di un modello di classe. Questo non è permesso perché viola una regola di definizione. Se si desidera eseguire l'abilitazione condizionale con le classi, sono necessarie le specializzazioni . Inoltre, il messaggio di errore del compilatore ti ha già detto che non puoi avere un pacchetto di parametri variadic nel mezzo di un elenco di parametri.

Un modo per farlo sarebbe:

namespace detail { 

template<typename T, typename Enable, typename... Args> 
class A_impl; 

template<typename T, typename... Args> 
class A_impl<T, typename std::enable_if<T::value>::type, Args...> { 
    // code here 
}; 

template<typename T, typename... Args> 
class A_impl<T, typename std::enable_if<!T::value>::type, Args...> { 
    // code here 
}; 
} 

template<typename T, typename...Args> 
class A : public detail::A_impl<T, void, Args...> {}; 

Jonathan's way è anche perfettamente bene se la condizione è in realtà un bool, ma potrebbe non essere utile se si desidera aggiungere ulteriori specializzazioni che ogni dipenderà da diversi conditons.

Answer 2

Sembra che per i vostri scopi non è necessario per attivare/disattivare la classe, è sufficiente una specializzazione parziale:

template <typename T, bool B = T::value, typename... Args> 
    class A; 

template <typename T, typename... Args> 
    class A<T, true, Args...>; 

template <typename T, typename... Args> 
    class A<T, false, Args...>;