Surcharge de l'Opérateur Virgule

Surcharge de l'Opérateur Virgule - C++ - Programmation

Marsh Posté le 27-04-2004 à 20:30:56    

Introduction :
Ce topic reprend un peu l'esprit des quelques topics postés cet été
sur la programmation template et autre technique de sioux. Même si l'interet
pour ces posts semblent avoir faibli, j'ai décidé d'un commun accord avec moi
même d'en rajouter quelques uns :)
 
Ce topic a pour vocation de montrer l'utilisation saugrenue de la surcharge de l'opérateur virgule.
 
Mise en Oeuvre :
Tout d'abord :heink:
Oui, j'ai bien parler de l'operateur virgule (operator,() pour les intimes).
Celui la même que bon nombre d'entre vous n'ont jamais, Ô grand jamais, penser à surcharger.
Et bien, tant pis, on va le faire quand même.
 
L'interet ??? Considerons une classe ressemblant à std::vector<double> :
 

Code :
  1. class TableauDouble
  2. {
  3.   public :
  4.  
  5.   TableauDouble(size_t size, double val=0);
  6.   virtual ~TableauDouble();
  7.  
  8.   // etc ...
  9.  
  10.   // Les méthodes importantes :
  11.  
  12.   double operator[](size_t i) const { return data[i]; }
  13.   double& operator[](size_t i) { return data[i]; }
  15.   double* begin() { return data; }
  16.   double* end() { return data+size; }
  17.  
  18.  
  19.   private :
  20.  
  21.   double* data;
  22.   size_t size;
  23. };


 
Je ne m'attarde pas sur les détails, vous etes tous capable de faire ça hein :sol:
Maintenant, on aimerais bien écrire des trucs style :
 

Code :
  1. TableauDouble a(10);
  3. a = 1,2,3,4,5,6,7,8,9,10;


 
Pour initialiser le tableau :) Comment faire ???
Il faut regarder de plus prés cette expression :
 
a = 1,2,3,4,5,6,7,8,9,10;
 
Elle est equivalente à :
 
(((((((((a = 1),2),3),4),5),6),7),8),9),10;
 
Une fois cette précision faite, on peut concevoir que l'expression :
 
(a = 1)
 
va renvoyer une instance d'une classe temporaire - appelons la CommaInit -
qui se verra fournir une surcharge de la virgule :
 

Code :
  1. class CommaInit
  2. {
  3. public :
  5. CommaInit operator,(double x)
  6. {
  7.    *iter = x;
  8.    return CommaInit(iter + 1);
  9. }
  11.   CommaInit(double* iter) : iter_(iter) {}
  13. private:
  14. double* iter;
  15. };


 
Ok, d'accord, ensuite ???
Et bien, surchargons l'operateur = de TableauDouble :
 

Code :
  1. CommaInit operator=( const double& val )
  2. {
  3.   data[0] = val;
  4.   return CommaInit(data + 1);
  5. }


 
Et voila :)
 
Une version plus sécurisée, peut testé iter pour vérifier que l'on ne puisse ecrire :
 

Code :
  1. TableauDouble A(4);
  2. A = 1,2,3,4,5; // ERREUR /!\


 
Exercice :
1) Adaptez ce code pour supporter une syntaxe indépendante du type.  
A savoir permettre l'initialisation en ligne de tableau de char, de float de
complex<double> , etc ...
 
2) Adapter le au conteneur bidimensionel.
 
3) Comment différencier :
 

Code :
  1. // A[i] = val[i]
  2. A = 1,2,3,4,5,6,7,8,9,10;


 
et
 

Code :
  1. // A[i] = 0
  2. A = 0;


 
 
Quelques Liens :
http://osl.iu.edu/~tveldhui/papers/techniques/

Reply

Marsh Posté le 27-04-2004 à 20:30:56   

Reply

Marsh Posté le 27-04-2004 à 20:35:20    

[:drapo]
C'est sur que ça m'était jamais venu à l'idée![:wam]

Reply

Marsh Posté le 27-04-2004 à 20:36:12    

bien vu. mais bon ça reste du bricolage par rapport au futur du C++. attention à ne surcharger , que dans ce genre de cas précis, sinon, c'est une super arme d'ofuscation de code.
 
j'aurais peut être ajouter un contrôle de capacité quand même

Reply

Marsh Posté le 27-04-2004 à 20:38:02    

Taz : oui je sais bien, mais bon, on a le temps pour le nouveau C++ ??

Reply

Marsh Posté le 27-04-2004 à 20:38:18    

joli ;)

Reply

Marsh Posté le 27-04-2004 à 20:38:18    

Taz a écrit :

par rapport au futur du C++.  


:??:

Reply

Marsh Posté le 27-04-2004 à 20:41:35    

joel f a écrit :

Taz : oui je sais bien, mais bon, on a le temps pour le nouveau C++ ??

oh je crois qu'on est plus très loin là

Reply

Marsh Posté le 27-04-2004 à 20:41:59    

Taz a écrit :

oh je crois qu'on est plus très loin là


 
 :sol:

Reply

Marsh Posté le 27-04-2004 à 21:18:49    

Code :
  1. #include <cstddef>
  2. #include <boost/static_assert.hpp>
  4. template<typename T, size_t N>
  5. class Array
  6. {
  7.   T data[N];
  9. public:
  11.   typedef T value_type;
  13.   typedef T* iterator;
  14.   typedef const T* const_iterator;
  17.   iterator begin()
  18.   {
  19.     return data;
  20.   }
  22.   iterator end()
  23.   {
  24.     return data+N;
  25.   }
  27.   const_iterator begin() const
  28.   {
  29.     return data;
  30.   }
  32.   const_iterator end() const
  33.   {
  34.     return data+N;
  35.   }
  39.   template<size_t INDEX>
  40.   struct Comma
  41.   {   
  42.     const Array::iterator it;
  44.     Comma(const Array::iterator i)
  45.       : it(i)
  46.     {
  47.       // NOOP
  48.     }     
  51.     Comma<INDEX+1> operator,(const T &val)
  52.     {
  53.       BOOST_STATIC_ASSERT(INDEX < N);
  55.       *it = val;
  57.       return Comma<INDEX+1>(it+1);
  58.     }
  60.   };
  63.   Comma<1> operator=(const T &val)
  64.   {
  65.     return Comma<0>(begin()), val;
  66.   }
  68. };
  72. #include <algorithm>
  73. #include <iterator>
  74. #include <iostream>
  77. template<typename T, size_t N>
  78. inline std::ostream& operator<<(std::ostream &os, const Array<T, N> &a)
  79. {
  80.   std::copy(a.begin(), a.end(),
  81.     std::ostream_iterator<typename Array<T, N>::value_type>(os, ", " ));
  82.   return os;
  83. }
  86. int main()
  87. {
  88.   typedef Array<int, 5> Vector;
  90.   Vector a;
  91.   std::cout << a << '\n';
  93.   a = 1, 2, 3, 0x42;
  94.   std::cout << a << '\n';
  96.   a = 6;
  97.   std::cout << a << '\n';
  99.   a = 7, 8, 9, 10, 11;
  100.   std::cout << a << '\n';
  102. //   a = 7, 8, 9, 10, 11, 12;
  103. //   std::cout << a << '\n';
  104. }


 
du premier coup sans erreur de compilation !
 
bon évidemment je sais que c'est peut être perfectible, mais bon, pas question d'avoir d'initialisation sans template :o
 
 
edit1: operator= manque un +1
edit2: operator= Comma<0> plutot que de le faire à la main
edit3: Comma manque un petit const


Message édité par Taz le 27-04-2004 à 21:30:15
Reply

Marsh Posté le 27-04-2004 à 21:25:47    

Citation :

Même si l'interet
pour ces posts semblent avoir faibli...


 
Non non.  
 
On sent l'influence du Lisp, là...

Reply

Marsh Posté le 27-04-2004 à 21:25:47   

Reply

Marsh Posté le 27-04-2004 à 21:38:08    

el muchacho a écrit :


Non non.  


 
si si  :sweat:  
les TPs tout ca , caiplusmieux :o

Reply

Marsh Posté le 27-04-2004 à 21:46:15    

Euh, que ceux-tu dire ?

Reply

Marsh Posté le 27-04-2004 à 21:46:59    

'tain la vache, j'avais pas fait gaffe, si on vire toute la partie affichage, mon g++ dégage tout ce qui sert à rien, c'est à dire tout est considéré comme NOOP, résultat, le programme, il fait rien. superbe méthode pour écrire un int main(){ } en somme

Reply

Marsh Posté le 27-04-2004 à 21:47:16    

el muchacho a écrit :

Euh, que ceux-tu dire ?


 :lol: rien rien ^^ jsuet que c'est l'époque des TP/TD pas des programming tips :p

Reply

Marsh Posté le 27-04-2004 à 22:05:59    

joli :)
 

joel f a écrit :

Même si l'interet
pour ces posts semblent avoir faibli


 
 
je suis toujours aussi interressé :)
 
(d'ailleurs je voudrais bien un petit qqchose sur la construction de stream si qq1 avait le temps :) )


Message édité par blackgoddess le 27-04-2004 à 22:06:20

---------------
-( BlackGoddess )-
Reply

Marsh Posté le 27-04-2004 à 22:09:40    

Citation :

rien rien ^^ jsuet que c'est l'époque des TP/TD pas des programming tips


 
C'est à dire que de mon coté, je suis déjà occupé avec mon petit problème d'algo que j'ai posé (qui n'attire pas non plus les suffrages d'ailleurs); ca doit être un peu trop facile pour Taz et toi, je suppose.
 
ps : au fait, extceptionnel, le lien que tu as donné.


Message édité par el muchacho le 27-04-2004 à 22:17:44
Reply

Marsh Posté le 28-04-2004 à 02:15:06    

biensur, comme nos deux versions utilisent des foward iterator, le concept est généralisable à n'importe quelle séquence. on peut même faire quelque chose de générique. cela dit, la version template n'est elle possible que sur des séquences à taille statique, la vérification des arguments aussi

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed