template , methode virtuelle et inline

template , methode virtuelle et inline - C++ - Programmation

Marsh Posté le 04-11-2003 à 09:03:09    

Peut t on inliner une fonction virtuelle ?
Le fait qu'elle fasse partie d'un classe tempate change t il quelquechose ?
-O3 forcera t il cet inlining ??
 
un exemple :
 

Code :
  1. #include <iostream>
  3. struct term
  4. {
  5.   virtual inline int getNode() {return 0;}
  6. };
  8. struct plus
  9. {
  10.    static inline int apply(int x, int y) { return x+y; }
  11. };
  13. class leaf : public term
  14. {
  15.     public:
  16.     leaf( int v) : val(v) {}
  17.     virtual int inline getNode() { return val; }
  18.     private :
  19.     int val; 
  20. };
  22. template<class X,class O> class unary_term : public term
  23. {
  24.     public:
  25.     unary_term( X node) : node_(node) {}
  26.     virtual int inline getNode() { return O::apply(node_.getNode()); }
  27.     private :
  28.     X node_; 
  29. };
  31. template<class X,class Y,class O> class binary_term : public term
  32. {
  33.     public:
  34.     binary_term( X nodex, Y nodey ) : node_x(nodex),node_y(nodey) {}
  35.     virtual int inline getNode()
  36.     { return O::apply(node_x.getNode(),node_y.getNode()); }
  37.     private :
  38.     X node_x;
  39.     Y node_y;
  40. };
  42. template<class X> class expression : public term
  43. {
  44.     public:
  45.     expression( X xpr ) : expr_(xpr) {}
  46.     virtual int inline getNode() { return expr_.getNode(); }
  47.     private :
  48.     X  expr_;
  49. };
  51. class function
  52. {
  53.     public:
  54.    
  55.     template<class X>
  56.     function& operator=( expression<X> t ) { expr_ = &t; return *this; }
  57.    
  58.     inline int operator()()  { return expr_->getNode(); }
  59.     private :
  60.     term*  expr_;
  61. };
  63. class val : public term
  64. {
  65.    public:
  66.    val( int v) : v_(v) {}
  67.    virtual int inline getNode()  { return v_; }
  68.    private:
  69.    int v_;
  70. };
  72. inline expression<binary_term<leaf,leaf,plus> > operator+( val a, val b )
  73. {
  74.   return expression<binary_term<leaf,leaf,plus> >(binary_term<leaf,leaf,plus>(leaf(a.getNode()),leaf(b.getNode())));
  75. }
  77. int main (int argc, const char * argv[])
  78. {
  79.    function func;
  80.    func = val(3) + val(2);
  81.  
  82.    std::cout << func() << std::endl;
  83. }


 
Les appels de getNode() seront inliné corretement ou vont-ils pourrir mon code avec des appels de fonctions :sweat: (dsl mais le -s de mon gcc fait n'imp. je peut pas verifier) ???

Reply

Marsh Posté le 04-11-2003 à 09:03:09   

Reply

Marsh Posté le 04-11-2003 à 09:05:14    

Reply

Marsh Posté le 04-11-2003 à 09:39:55    

Ok, je vois, je vais creuser cette histoire :sweat:

Reply

Marsh Posté le 04-11-2003 à 09:45:28    

Je pense que la règle de faisabilité est simple, il faut qu'au point d'appel de la méthode virtuelle, on conaisse le type exact de l'objet avec certitude. Si on a déjà pas ça, on est obligé de faire de la liaison retardée.
 
Je ne pense pas que les templates entrent en ligne de compte.


---------------
trainoo.com, c'est fini
Reply

Marsh Posté le 04-11-2003 à 11:00:17    

bref ... ca m'aide pas :(
 
mon probleme reste entier, screugneugneu :-/

Reply

Marsh Posté le 04-11-2003 à 11:02:15    

en C++ y'a des techniques pour éliminer le lien dynamique, par des opérateurs de casting et de la surcharge. Par contre, l'objet tu l'oublies.


---------------
trainoo.com, c'est fini
Reply

Marsh Posté le 04-11-2003 à 11:07:13    

en fait, c'est à la base que mon problème est mal posé.
 
Comment stocké une classe du type
 
 
template<class X> class expression;
avec X tres tres complexe et innacessible à l'utiliateur dans une classe du type:
 
class function;

Reply

Sujets relatifs:

Leave a Replay

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