Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Langage C++ Discussion :

pack de paramètres template composé


Sujet :

Langage C++

  1. #1
    Membre régulier
    Profil pro
    Inscrit en
    mai 2007
    Messages
    159
    Détails du profil
    Informations personnelles :
    Localisation : France, Moselle (Lorraine)

    Informations forums :
    Inscription : mai 2007
    Messages : 159
    Points : 119
    Points
    119
    Par défaut pack de paramètres template composé
    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

  2. #2
    Expert éminent sénior
    Avatar de koala01
    Homme Profil pro
    aucun
    Inscrit en
    octobre 2004
    Messages
    11 336
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 48
    Localisation : Belgique

    Informations professionnelles :
    Activité : aucun

    Informations forums :
    Inscription : octobre 2004
    Messages : 11 336
    Points : 28 719
    Points
    28 719
    Par défaut
    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 ?
    A méditer: La solution la plus simple est toujours la moins compliquée
    Ce qui se conçoit bien s'énonce clairement, et les mots pour le dire vous viennent aisément. Nicolas Boileau
    Compiler Gcc sous windows avec MinGW
    Coder efficacement en C++ : dans les bacs le 17 février 2014
    mon tout nouveau blog

  3. #3
    Rédacteur/Modérateur


    Homme Profil pro
    Network game programmer
    Inscrit en
    juin 2010
    Messages
    6 213
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 32
    Localisation : Canada

    Informations professionnelles :
    Activité : Network game programmer

    Informations forums :
    Inscription : juin 2010
    Messages : 6 213
    Points : 28 182
    Points
    28 182
    Billets dans le blog
    2
    Par défaut
    Tu as vraiment oublié d'écrire le typename avant les ... ?
    Pensez à consulter la FAQ ou les cours et tutoriels de la section C++.
    Un peu de programmation réseau ?
    Aucune aide via MP ne sera dispensée. Merci d'utiliser les forums prévus à cet effet.

  4. #4
    Membre expert
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    juin 2011
    Messages
    628
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Hérault (Languedoc Roussillon)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : juin 2011
    Messages : 628
    Points : 3 093
    Points
    3 093
    Par défaut
    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

  5. #5
    Membre régulier
    Profil pro
    Inscrit en
    mai 2007
    Messages
    159
    Détails du profil
    Informations personnelles :
    Localisation : France, Moselle (Lorraine)

    Informations forums :
    Inscription : mai 2007
    Messages : 159
    Points : 119
    Points
    119
    Par défaut
    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

+ Répondre à la discussion
Cette discussion est résolue.

Discussions similaires

  1. Limiter les types des paramètres templates?
    Par Pragmateek dans le forum C++
    Réponses: 9
    Dernier message: 29/08/2006, 14h14
  2. Appeler une méthode template d'un paramètre template
    Par YéTeeh dans le forum Langage
    Réponses: 2
    Dernier message: 26/08/2006, 13h50
  3. Réponses: 15
    Dernier message: 21/08/2006, 02h41
  4. Déclarer un paramètre template comme friend
    Par YéTeeh dans le forum Langage
    Réponses: 4
    Dernier message: 11/04/2006, 15h00
  5. X paramètres templates
    Par Alp dans le forum C++
    Réponses: 8
    Dernier message: 04/04/2006, 23h10

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo