C++ 0x variadic template

Bonjour j'essaye de créer une typelist avec g++ 4.5 mais j'arrive pas à compiler l'exemple suivant :

Code:

---

1 2 3 4 5 6 7

template<> struct Typelist {};   template<typename Head, typename Tail...> struct Typelist { typedef Head head_type; typedef Typelist<Tail> tail_type; };

---

Cela ne compile pas :( Si quelqu'un peut me mettre sur la piste, parce que les variadic reste bien sombre pour moi. Merci d'avance

C'est quoi l'erreur ? tu compiles bien avec -std=c++0x ?



edit : faut croire que mes yeux ne sont pas un aussi bon compilateur que ce que j'aime à croire ... cf remarque d'en dessous

Ta syntaxe n'est pas bonne.

Code:

---

1 2 3 4 5 6

template<class Head, class... Tail> struct Typelist { typedef Head head_type; typedef Typelist<Tail...> tail_type; };

---

Je te conseille cette article pour une présentation des variadic :
http://blog.emmanueldeloget.com/inde...es-variadiques
Et si tu savais déjà utilisé les template ca devrait être suffisant :ccool:

Merci pour les réponse; je vais aller regarder le lien. Par contre avec ta correction cela ne compile toujours pas :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

#include <iostream>   using namespace std;   template<> struct Typelist {};   template<class Head, class... Tail> struct Typelist { typedef Head head_type; typedef Typelist<Tail...> tail_type; };   typedef Typelist<int, char> l;       int main() { return 0; }

---

J'ai les erreurs suivantes:

Code:

---

1 2 3 4 5 6 7

victor@victor-laptop:~/Bureau/a$ make g++-4.5 -o main.o -c main.cpp -std=c++0x main.cpp:5:28: error: explicit specialization of non-template ‘Typelist’ main.cpp:8:8: error: ‘Typelist’ is not a template type main.cpp:13:9: error: ‘Typelist’ is not a template make: *** [main.o] Erreur 1

---

Je compile bien en c++0x, avec un compilateur récent qui suivant le site de gcc supporte bien les variadics.

Le problème vient de template<> struct Typelist {}; tu veus définir un template mais tu donnes pas de paramètre, comment veux tu que ca marche !

Regarde bien l'exemple de l'article donné par Flob90

Code:

---

1 2 3 4 5 6 7 8 9 10 11

// pré-déclaration de C template <class... Args> struct C;   // plus de paramètre : fin de la récursion template <> struct C<> { }; // récursion : C<T,Args...> hérite de C<Args...> template <class T, class... Args> struct C<T, Args...> : public C<Args...> { T value; };

---

D'abord il faut définir la signature générale de ton template (ici un template prenant 0 ou N types)

Code:

---

1 2 3

template<class... Types> struct Typelist; // une pré-déclaration suffit ici, // les spécialisations couvriront tous les cas possibles

---

ensuite ses spécialisations :
- avec Types = vide (cas de base)

Code:

---

1 2	template<> struct Typelist<>{};

---

- avec Types = Head, class... Tail (récursion)

Code:

---

1 2 3 4 5

template<class Head, class... Tail> struct Typelist<Head,Tail...> { typedef Head head_type; typedef Typelist<Tail...> tail_type; };

---

Merci pour vos réponses c'est exactement se qu'il me fallait :)