Discussion :

[victor_gasgas]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Goten]

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

[Flob90]

Ta syntaxe n'est pas bonne.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[victor_gasgas]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[Flob90]

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 !

[gb_68]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
template<class Head, class... Tail>
struct Typelist<Head,Tail...> {
     typedef Head head_type;
     typedef Typelist<Tail...> tail_type;
};

[victor_gasgas]

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