Discussion :

[Teaniel]

Bonjour,

J'aurais besoin de créer une classe template avec les paramètres comme suit :

Code :

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

1
2
3
4
5
6
7
8
 template <class T, unsigned _p1, typename _p2, unsigned _p3, typename _p4, ...suite> // Erreur de syntaxe ici, le pack n'est pas complètement défini
class P : public P<T, _p3, _p4, suite...> { ... };
template <class T>
class P<T> { ... };
 
P<UneClasse, 20, unsigned, 30, float, 40, unsigned, 62, unsigned long, 165, float, 15, char> ex1;
P<UnaAutreClasse> ex2;
etc...

Je n'y arrive pas parce que je mixe paramètres type et non type je pense.
Y a-t-il un moyen de ne pas imposer de genre au pack (que des valeurs ou que des types) ?
Sur cppreference(https://en.cppreference.com/w/cpp/la...parameter_pack) je n'ai pas compris le (3) de la syntaxe. Serait-il possible d'en avoir une explication (ce que cette syntaxe rend possible)?

Par avance merci!
Cordialement
Marc

[koala01]

Salut,

En réorganisant l'ordre dans lesquel les paramètres sont transmis, quelque chose comme

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
template <typename ... types>
struct TypeList{
 
};
 
template <unsigned ... values>
struct ValueList{
 
};
struct A{};
template <typename A, typename ... others >
struct P{	
};
 
int main(){
	P<A, TypeList<unsigned, float, unsigned long>,ValueList< 30,40,62>, char > p1;
}

ne pourrait il pas faire l'affaire ?

[Bousk]

Tu as vraiment oublié d'écrire le typename avant les ... ?

[jo_link_noir]

le 3 correspond à un template dans un paramètre template. On parle de template template .

Code :

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

1
2
3
template < parameter-list > typename (C++17)
ou
template < parameter-list > class

Par exemple, std::vector est un template et on peut faire foo<std::vector> avec template<template<class...> class> void foo();. Par contre, std::vector<int> est un type.

Il faut retenir qu'il y a 3 éléments possibles dans une template:

- un type (le plus courant)
- une valeur d'un type
- un template (rare)


Pour ton problème, les variadiques fonctionnent sur une liste de même catégorie, tu ne peux pas mélanger une variadique de valeur avec une variadique de type. Par contre, tu peux faire une variadique avec auto

Code :

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

1
2
3
4
template<auto... xs>
void foo();
 
foo<1, 2u>(); // = foo<int, 1, unsigned 2>()

Malheureusement, les valeurs des paramètres template sont restreints aux entiers, et float n'en fait pas partie: il y aura une erreur. Mais il est toujours possible de faire une énumération qui représente un flottant.

Code :

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

1
2
enum classs Float : uint32_t;
foo<1, 2u, Float(15)>(); // = foo<int, 1, unsigned 2, Float, 15>()

Une autre solution consiste à utiliser une paire qui va contenir type et valeur.

Code :

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

1
2
3
4
5
6
7
8
9
 
template<class... Ts>
void foo();
 
// ou std::integral_constant
template<class T, int64_t x>
struct pair;
 
foo<pair<int, 1>, pair<unsigned, 2>, pair<float, 15>>();

La solution de @koala01, bien que fonctionnelle, rend difficile la relation type <-> valeur

[Teaniel]

Merci à tous pour vos réponses!

J'en ai un peu plus compris maintenant.
Je pense que je vais utiliser la solution pair<...> de joli_link_noir. C'est ce qui se rapproche le plus de ce que je souhaite (ce sont en effet des couples entier/type que je cherche à exprimer).
@Bousk, je ne l'ai pas oublié, je ne l'ai pas mis, car mettre typename m'interdisait de mettre des paramètres valeur, du coup je ne savais pas quoi mettre, donc je n'ai rien mis (pour montrer où se trouvait mon souci en quelque sorte).

Encore merci à tous!
Cordialement,
Marc