IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
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

C++ Discussion :

En faire plus à la compilation.


Sujet :

C++

Vue hybride

Message précédent Message précédent   Message suivant Message suivant
  1. #1
    Membre éclairé

    Profil pro
    Inscrit en
    Avril 2010
    Messages
    356
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Avril 2010
    Messages : 356
    Par défaut En faire plus à la compilation.
    Bonjour à tous.
    Voici une idée d'optimisation qui ma parcourue l'esprit.

    Imaginons :

    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
     
    //Exemple 1
    template<typename T,const T&(*Fc)(const T&,const T&)=std::max<T> >
    class Test
    {
        private :
            T a;
            T b;
        public :
            Test(T u, T v) : a(u), b(v)
            {}
            T Max(){return Fc(a,b);}
    };
     
    int main()
    {
        Test<int> a(0,1);
        std::cout<<a.Max();
        return 0;
    }
    Ici, le compilateur peut remplacer Fc(a,b) par max(a,b) mais, on est limité à un seul type de fonction.
    Cependant, un cas un peu plus générique :

    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
     
    //Exemple 2
    template<typename T,class Fc=std::max<T> >
    class Test
    {
        private :
            T a;
            T b;
        public :
            Test(T u, T v) : a(u), b(v)
            {}
            T Max(){return Fc(a,b);}
    };
     
    int main()
    {
        Test<int> a(0,1);
        std::cout<<a.Max();
        return 0;
    }
    Ne marche pas :

    class ou typename attend un type et non une valeur.
    Il faut donc faire :

    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
    21
     
    //Exemple 3
    template<typename T,typename Fc=const T&(*)(const T&,const T&) >
    class Test
    {
        private :
            T a;
            T b;
            Fc func;
        public :
            Test(T u, T v, Fc f=std::max<T>) : a(u), b(v), func(f)
            {}
            T Max(){return func(a,b);}
    };
     
    int main()
    {
        Test<int> a(0,1);
        std::cout<<a.Max();
        return 0;
    }
    Cependant, voici les problèmes que posent ce nouveau code (dans le cas où func est connu à la compilation) :

    -Nécessité de stocker un membre de plus.
    -Appelle d'un pointeur de fonction (dans l'autre cas on a inlining)
    -Des erreurs possibles :

    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    int main()
    {
        Test<int, int(*)(int,int)> a(0,1, std::min<int>);
        std::cout<<a.Max();
        return 0;
    }
    -Plein de problèmes !

    Ce qui serait parfait : l'exemple deux qui ne marche pas.

    Quelqu'un à t-il une solution ?
    Est-ce du à une impossibilité technique ?
    Est-ce prévu pour c++1x (je ne pense pas) ?

  2. #2
    Membre Expert
    Avatar de Joel F
    Homme Profil pro
    Chercheur en informatique
    Inscrit en
    Septembre 2002
    Messages
    918
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 45
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Chercheur en informatique
    Secteur : Service public

    Informations forums :
    Inscription : Septembre 2002
    Messages : 918
    Par défaut
    utilise des objets fonctions polymorphes, le compilo deroulera tout seul.

  3. #3
    Membre éclairé

    Profil pro
    Inscrit en
    Avril 2010
    Messages
    356
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Avril 2010
    Messages : 356
    Par défaut
    Tel quel, les objets fonctions polymorphes google semble ne pas connaitre. Tel que tu le dis, j'ai l'impression que se sont des foncteurs avec des fonctions virtuelles. Pourrait-tu donner un exemple pour la classe test ?

  4. #4
    Membre Expert
    Avatar de Goten
    Profil pro
    Inscrit en
    Juillet 2008
    Messages
    1 580
    Détails du profil
    Informations personnelles :
    Âge : 34
    Localisation : France

    Informations forums :
    Inscription : Juillet 2008
    Messages : 1 580
    Par défaut
    Sa veut dire compatible avec le protocole result_of et l'opérateur() template :

    http://www.boost.org/doc/libs/1_41_0...epts/poly.html

  5. #5
    Membre éclairé

    Profil pro
    Inscrit en
    Avril 2010
    Messages
    356
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Avril 2010
    Messages : 356
    Par défaut
    Je ne vois toujours pas comment cela m'évite de stocker func dans ma classe (exemple 3).

  6. #6
    Membre Expert
    Avatar de Joel F
    Homme Profil pro
    Chercheur en informatique
    Inscrit en
    Septembre 2002
    Messages
    918
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 45
    Localisation : France, Essonne (Île de France)

    Informations professionnelles :
    Activité : Chercheur en informatique
    Secteur : Service public

    Informations forums :
    Inscription : Septembre 2002
    Messages : 918
    Par défaut
    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
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
     
    struct max_
    {
      template<class Sig> struct result;
     
      template<class This,class T> 
      struct result<This(T,T)>
            : boost::remove_reference<T>
      {};
     
      template<class T> inline
      typename result<max_(T,T)>::type
      operator()(T const& a0, T const& a1 ) const
      {
         return (a0>a1) ? a0 : a1;
      }
    };
     
    template<typename T,typename Fc=max_>
    class Test
    {
        private :
            T a;
            T b;
        public :
            Test(T u, T v) : a(u), b(v) {}
            T Max() { Fc callee; return callee(a,b);}
    };
     
    int main()
    {
        Test<int> a(0,1);
        std::cout<<a.Max();
        return 0;
    }

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

Discussions similaires

  1. Répartition par Date - comment le faire plus intelligemment
    Par tavarlindar dans le forum Requêtes
    Réponses: 10
    Dernier message: 12/02/2007, 14h31
  2. [C#] Impression GDI+, OK mais comment faire plus simple ?
    Par yo2105 dans le forum Windows Forms
    Réponses: 6
    Dernier message: 29/12/2006, 20h29
  3. Comment faire plus simple
    Par siaoly dans le forum Langage
    Réponses: 5
    Dernier message: 11/06/2006, 22h56
  4. Comment faire plus simple
    Par mobscene dans le forum Langage
    Réponses: 5
    Dernier message: 26/07/2005, 04h12
  5. Réponses: 10
    Dernier message: 24/05/2005, 14h09

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