Discussion :

[NoIdea]

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) ?

[Joel F]

utilise des objets fonctions polymorphes, le compilo deroulera tout seul.

[NoIdea]

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 ?

[Goten]

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

[NoIdea]

Je ne vois toujours pas comment cela m'évite de stocker func dans ma classe (exemple 3).

[Joel F]

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;
}