preguntar acerca de variadic-templates

Imaginons que j'ai deux struct Foo et Bar: template<int...> struct Foo{}; template<unsigned long...> struct Bar{}; Je veux créer un type de trait (appelons - match_class) renvoie true si je passe deux Foo<...> types ou deux Bar& …

j'ai le code suivant (c++11): template <typename F, typename FirstT, typename... FIn> auto min_on(F f, FirstT first, FIn... v) -> typename std::common_type<FirstT, FIn...>::type { using rettype = typename std::co …

Si je définis un struct template Bar qui accepte un argument template: template <template <int,bool,char> class> struct Bar {}; je peux instancier à l'aide d'un struct modèle Zod: template <int,bool,char> struct Zod {}; Bar<Z …

Comment diviser les arguments de modèle variadique en deux moitiés? Quelque chose comme: template <int d> struct a { std::array <int, d> p, q; template <typename ... T> a (T ... t) : p ({half of t...}), q ({other half of …

Comment est-il possible de créer un modèle variadique récursif pour imprimer le contenu d'un paquet paramater? J'essaie avec ça, mais ça ne compile pas: template <typename First, typename ...Args> std::string type_name () { return st …