C++

template et functor

Recherche :

Mot : Pseudo : Filtrer
Page : 1 2 Page Suivante Page Précédente Bas de page
Auteur	Sujet : template et functor

weblook$$

Hi,

On ne peut pas passer un functor comme paramètre template?

Code :

#include<iostream>
struct less {
bool operator() (int a, int b) const { return a < b; }
};
template<class T>
class A
{
public:
void f()
{
std::cout<<T(2,3);
}
};
int main()
{
A<less> a;
a.f();
}

Merci.

Publicité

Joel F

Real men use unique_ptr

si sauf que ton ap^pel est faux :

Code :

void f()
{
T callee;
std::cout<< callee(2,3);
}

Sidenote : les functor c'est so 1990, le hype c'ets les Polymorphic Function Object

weblook$$

Polymorhpic (...) je connaissais pas , merci

weblook$$

c'est quoi la différence en deux mots, y a beaucoup à lire et je me sens pas le courage today

Joel F

Real men use unique_ptr

un PFO est un foncteur qui supporte le protocole result_of. Il prend des arguments template et sait seul calculer le type de retour afferent.

On peut soit appeller un PFO comme un foncteur en l'instanciant et utilsiant son operator() soit utiliser la meta-fonctionr esult_of pr rensigner son type de retour.

Code :

struct take_address
{
template<class Sig> struct result;
template<class This,class T> struct result<This(T)>
{
typedef boost::add_pointer<T>::type type;
};
template<class T>
typename result<take_adress(T)>::type
operator()( T const& t )
{
return &t;
}
};
int main()
{
int k;
boost::result_of<take_address(int)>::type res;
res = take_adress()(k);
}

weblook$$

merde je comprends rien à ton code lol

weblook$$

ça sert à koi ce bout de code :

Code :

# template<class Sig> struct result;
# template<class This,class T> struct result<This(T)>
# {
# typedef boost::add_pointer<T>::type type;
# };

Le This(T) surtout

weblook$$

non en faite c'est le Addpointer qu'est ce qu'il vient foutre ici

Joel F

Real men use unique_ptr

la structure interne result permet de supporté le protocole result_of :
http://www.boost.org/doc/libs/1_37 [...] #result_of

Il prend un type fonction pr transferer les information pr calculer le type de retour du foncteur. Maintenant ... quel est el type de &t ou T est de type T ???
T* et devine ce que add_pointer<T>::type peut bien renvoyait ...

Message édité par Joel F le 06-02-2009 à 20:59:16

weblook$$

ça compile pas chez moi, d'une le compilo gueule parcequ'il faut mettre typedef typename devant boost::addpointer et le take_adress(T)

Code :

typename result<take_adress(T)>::type
operator()( T const& t )
{
return &t;
}

renvoit : error C2275: 'T' : utilisation non conforme de ce type comme expression

Normal ?

Publicité

Joel F

Real men use unique_ptr

t'as quoi comme compilateur antediluvien, VC6 ?
t'as bien boost d'installer ?

weblook$$

oui j'ai boost d'installer, qui marhe correctement, et j'utilise visual 2008 express

weblook$$

ce qui me surprends aussi,c'est que le type de retour typename result<take_adress(T)>::type de la fonction operator() utilise cette fonction avant même qu'elle soit défini, je pensais pas que ça pouvais marcher!

Message édité par weblook$$ le 07-02-2009 à 14:37:19

weblook$$

et puis à quoi cela sert d'utiliser result<take_adress(T)> plutot que simplement result<T> étant donné que boost::ad_pointer ne prend que T ??

Joel F

Real men use unique_ptr

Y a qu'une fonction : operator(), result c'ets une meta-fonction.
t'as lu les liens du dessus ou pas ?

weblook$$

bon oui je vais lire un peu plus "profondément" , mais je capte toujours pas pourquoi est ce que le compilo ne veut pas du code. En etnête je mets ça

#include <boost/utility.hpp>
#include <boost/type_traits/add_pointer.hpp>

Message édité par weblook$$ le 07-02-2009 à 21:20:14

Joel F

Real men use unique_ptr

address pas adress

weblook$$

oui erreur de frappe sur le forum

weblook$$

a non ! lol :$

weblook$$

merci

Taz

bisounours-codeur

Je crois que ce qui déroute, c'est la syntaxe result<take_adress(T)>

Joel F

Real men use unique_ptr

passage d'un type fonction en parametre template
toto(titi) = fonction renvoyant un type toto et prenant en argument un type titi.

C'ets une expression de type valide en C++, on s'en sert donc comme parametre template pr faciliter l'extraction d'information de type composés.

weblook$$

mais y a un soucis aussi

Code :

# struct take_address
# {
# template<class Sig> struct result;
# template<class This,class T> struct result<This(T)>
# {
# typedef boost::add_pointer<T>::type type;
# };
#
# template<class T>
# typename result<take_adress(T)>::type
# operator()( T const& t )
# {
# return &t;
# }
# };

vu que &t est const et que le type de retour est non const

Message édité par weblook$$ le 08-02-2009 à 21:55:30

Joel F

Real men use unique_ptr

ouais peut etre, mais bon, pas dur de completer pour que ça marche à titre d'exercice

weblook$$

une autre chose que je comprends pas:

Code :

struct take_address
2. {
3. template<class Sig> struct result;
4. template<class This,class T> struct result<This(T)>
5. {
6. typedef boost::add_pointer<T>::type type;
7. };
8.
9. template<class T>
10. typename result<take_adress(T)>::type
11. operator()( T const& t )
12. {
13. return &t;
14. }
15. };
16.
17. int main()
18. {
19. int k;
20. boost::result_of<take_address(int)>::type res;
21.
22. res = take_adress()(k);
23. }

Pourquoi est ce que a un endroit du code on utilise take_adress()() et un à autre take_adresse() ?

Message cité 1 fois
Message édité par weblook$$ le 11-02-2009 à 17:49:42

weblook$$

également :

dans cette partie là du code :

Code :

template<class T>
typename result<take_adress(T)>::type
operator()( T const& t )
{
return &t;
}

quel est le véritable paaramètre passé à result :

- take_adress(T)
ou
- &t

?

Joel F

Real men use unique_ptr

weblook$$ a écrit :

Pourquoi est ce que a un endroit du code on utilise take_adress()() et un à autre take_adresse() ?

le premeir on construit un objet take_address et on appelle son operateur()
le deuxieme on construit un type fonction renvoyant un take_address.

Citation :

quel est le véritable paaramètre passé à result :

- take_adress(T)

result calcul un type et non une valeur

Message cité 1 fois

weblook$$

Joel F a écrit :

le deuxieme on construit un type fonction renvoyant un take_address.

Code :

typename result<take_adress(T)>::type
operator()( T const& t )
{
return &t;
}

Avec cette syntaxe là, take_address(T), on appel donc pas l'opérateur() ?

Message édité par weblook$$ le 11-02-2009 à 19:11:47

Joel F

Real men use unique_ptr

non on construit un type qui est :
"fonction prenant un argument de Type T et renvoyant take_address"
il n'ets la que pour transporter les infos sur le lieu d'evaluation du type de result

weblook$$

donc take_adress(T) est équivalent à "take_adress f(T)" , sauf que l'on ne donne pas de nom à la fonction ?

Joel F

Real men use unique_ptr

oui et non, ce qui nous interesse c'ets juste son type

weblook$$

que veux donc tu dires par,

"fonction prenant un argument de Type T et renvoyant take_address"

Joel F

Real men use unique_ptr

bah c'ets le type de take_address(T)

weblook$$

:pt1cable: , j'arrive pas avec ce code à compredre le pourquoi du comment , ça me rend ouf

ce qui m'échappe c'est qu'au final on aurait écrit :

Code :

1. struct take_address
2. {
4. template<class T> struct result
5. {
6. typedef boost::add_pointer<T>::type type;
7. };
8.
9. template<class T>
10. typename result<T>::type
11. operator()( T const& t )
12. {
13. return &t;
14. }
15. };
16.
17. int main()
18. {
19. int k;
20. boost::result_of<int>::type res;
21.
22. res = take_adress()(k);
23. }

ça serait revenu au meme non?... et c'est en l'écrivant que je m'apperçois que non, y a effectivement un soucy avec le result_of<int>

Message édité par weblook$$ le 11-02-2009 à 20:19:53

Joel F

Real men use unique_ptr

oui, t'as pas lu la doc que je t'ai passer.
Ensuite, un protocole on le suit sinon ca sert à rien

weblook$$

oui mais j'ai rien capté à la doc :

The class template result_of helps determine the type of a call expression. Given an lvalue f of type F and lvalues t1, t2, ..., tN of types T1, T2, ..., TN, respectively, the type result_of<F(T1, T2, ..., TN)>::type defines the result type of the expression f(t1, t2, ...,tN). The implementation permits the type F to be a function pointer, function reference, member function pointer, or class type. When F is a class type with a member type result_type, result_of<F(T1, T2, ..., TN)> is F::result_type. Otherwise, result_of<F(T1, T2, ..., TN)> is F::result<F(T1, T2, ..., TN)>::type when N > 0 or void when N = 0. For additional information about result_of, see the C++ Library Technical Report, N1836, or, for motivation and design rationale, the result_of proposal.

Message édité par weblook$$ le 12-02-2009 à 14:14:00

weblook$$

comment est ce que l'expression f(t1, t2, ...,tN) peut avoir un type???

Joel F

Real men use unique_ptr

c'est un appel de fonction, son result_type est son type de retour qui depend polymorphqiuement des types de ces entrées. Point y a rien de sorcier, c'est les trucs de bases sur le typage des fonctions.

weblook$$

bah rien de sorcier rien de sorcier elle est bien bonne celle là!
le type que retourne une fonction, à ce que je saches , n'est pas fonction de ses entrées....

Message cité 1 fois
Message édité par weblook$$ le 12-02-2009 à 18:59:48

Un Programmeur

weblook$$ a écrit :

bah rien de sorcier rien de sorcier elle est bien bonne celle là!
le type que retourne une fonction, à ce que je saches , n'est pas fonction de ses entrées....

Le C++ ne supporte pas la surcharge uniquement sur le type de retour des fonctions. Donc quand tu as le nom et le type des paramètres, tu as le type de retour (sauf s'il y a une ambiguité).

Publicité

Page : 1 2

Page Suivante

Page Précédente

Haut de page

FORUM HardWare.fr

Programmation

C++

template et functor

Sujets relatifs
template et version des compilateurs	classe template avec pointeur membre sur la classe
template template parameters	template syntaxe
précision: template et inline	Probleme de compilation avec les template
[Résolu]Passage d'un template non défini entièrement à une fonction	problème sur un template
Manipulation d'un nom de template dans une #define-macro	appel d'un template xsl-fo !
Plus de sujets relatifs à : template et functor

Page générée en 0.099 secondes