Petit problème de structure et de variadic template [Résolu]

[Awakening]

Bonjour,

J'aimerai simplifier l'utilisation d'une structure.
Actuellement, j'affiche la taille d'un "tableau statique" perso de la manière suivante.

Code :

1
2
cout << A<int>::B<0,0,0>::size << endl; // affiche 3
cout << A<char>::B<0,0,0,0>::size << endl; // affiche 4

La structure 'A' me sert à définir le type d'élément et la structure B à contenir mes élements.
Voici mon code :

Code :

1
2
3
4
5
6
7
8
9
template <typename I>
struct A
{
    template <I ... elements>
    struct B
    {
        static const int size = sizeof...(elements);
    };
};

Maintenant j'aimerais simplifier ma méthode d'affichage en utilisant qu'une seule structure comme par exemple:

Code :

cout << C<int, 0, 0, 0>::size << endl; //afficherait 3

Le premier paramètre de template étant le type et le reste étant la liste d'élement.

Ma question : est-ce possible ? Et si oui de quelle manière ?

A noter que cette version ne compile pas :

Code :

1
2
3
4
5
template <typename I, typename... elements>
struct C
{
    const int size = A<I>::B<elements...>::size;
};

J'ai comme l'impression que je surestime mon compilateur.

Merci.

[saad.hessane]

Bonjour,

Personnellement je ne m'y connais pas trop en variadic templates, mais je m'y intéresse comme étant une nouveauté du standard.
De ce que je sais (je te pris de me corriger), les templates sont utilisés pour définir des types génériques.
Quand je fais :

Code c++ :

template <typename T> class A;

Je peux faire :

Code c++ :

A<int>

Et non pas :

Code c++ :

A<0>

Et donc par extension aux variadic templates, ceci :

Code c++ :

B<0,0,0>

ou ceci

Code c++ :

C<int, 0, 0, 0>

... n'a aucun sens.

Je me trompe ?

[Trademark]

Salut,

Ceci marche chez moi :

Code :

1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
 
template <typename I, I... elements>
struct C
{
    static const size_t size = sizeof...(elements);
};
 
int main(int argc, char** argv)
{
  std::cout << C<int, 0,0,0>::size << std::endl;
}

Ta deuxième version ne compilait pas simplement parce que typename... elements attendait une suite de type et non pas de valeur.

[koala01]

Salut

Envoyé par saad.hessane

Bonjour,

Personnellement je ne m'y connais pas trop en variadic templates, mais je m'y intéresse comme étant une nouveauté du standard.
De ce que je sais (je te pris de me corriger), les templates sont utilisés pour définir des types génériques.
Quand je fais :

Code c++ :

template <typename T> class A;

Je peux faire :

Code c++ :

A<int>

Et non pas :

Code c++ :

A<0>

Et donc par extension aux variadic templates, ceci :

Code c++ :

B<0,0,0>

ou ceci

Code c++ :

C<int, 0, 0, 0>

... n'a aucun sens.

Je me trompe ?

Oui, tu te trompes, mais pas de loin

En effet, si tu regarde attentivement le code de B, il prend un nombre inconnu d'élément de type I.

Et tu peux parfaitement écrire un code (template mais sans variadique ) proche de

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
template <int i>
struct Factorielle
{
    enum {value  = i * Factorielle<i-1>::value};
    /* ou, en utilisant un static const int 
     static const int value = i * Farctorielle<i-1>::value;
    */
};
/* car il faut bien arrêter la récursion */
template <>
struct Factorielle<0>
{
    enum {value  = 1};
 
    /* ou, en utilisant un static const int 
     static const int value = 1;
    */
};
int main()
{
    std::cout<< Factorielle<5>::value;
}

Et la meilleure de toutes, c'est que ce code sera sans doute un peu plus lent à compiler que le code qui calculerai la factorielle classique, mais il sera en fait beaucoup plus rapide à l'exécution car l'appel à Factoriel sera remplacé par... la valeur de la factorielle, directement dans l'exécutable

Enfin, bref, comme A définit int comme étant le paramètre template I, tu indiques au compilateur qu'il doit s'attendre à obtenir un nombre inconnu d'entiers, et tu peux donc parfaitement donner... un nombre inconnu d'entiers

Note cependant que, sous cette forme, il reste malgré tout un très léger problème (enfin, je parle de problème, mais c'est encore à voir :

C'est le fait que tu ne pourrais pas placer un objet de type A<int, 0, 0, 0> dans la même collection qu'un objet de type A<int, 0, 0, 1> parce que, comme il y a un des paramètre template qui est différent, il s'agit, ni plus ni moins, que d'un autre type (enfin, je crois )

Mais même cela est un problème facilement contournable

[saad.hessane]

@koala01 : Merci, je me sens moins bête tout d'un coup .

[Awakening]

Envoyé par Trademark

Salut,

Ceci marche chez moi :

Code :

Ta deuxième version ne compilait pas simplement parce que typename... elements attendait une suite de type et non pas de valeur.

Effectivement, cela fonctionne. C'est étrange parce qu'il m'avait sembler tester ça, sans succès.

Dans tous les cas, merci beaucoup.