C++

boost mpl, passer une fonction dans un placeholder

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : boost mpl, passer une fonction dans un placeholder

Amonchakai

Bonjour,
Je cherche à faire les exercices proposés dans la doc de la mpl de boost. Et j'avoue avoir un problème avec le suivant :

Citation :

Build a lambda expression that has functionality equivalent to twice. Hint: mpl::apply is a metafunction!

twice prenant deux paramètres f et x et calcule (f o f)(x)

Sans passer par une fonction anonyme on peux facilement faire ça :

Code :

template<typename F, typename X>
struct Twice_lambda :
boost::mpl::apply<F, typename boost::mpl::apply<F, X>::type >
{};
// et à l'utilisation
typedef Twice_lambda<boost::add_pointer<_1>, int>::type calc_pointer;

Mon problème est sur la réalisation de la fonction lambda. Comme elle est anonyme je veux la mettre directement dans un boost apply comme ça:

Code :

typedef boost::mpl::apply<
boost::mpl::apply<
_1,
typename boost::mpl::apply<_1, _2>::type
>,
boost::add_pointer<_>
, int
>::type calc_pointer;

le problème c'est j'ai l'impression que le compilo se perd dans les placeholders. Il me sort :

Citation :

d:\libc++\boost_1_35_0\boost\mpl\aux_\preprocessed\plain\apply_wrap.hpp(48) : error C2039: 'boost::mpl::apply<F,T1>' : is not a member of 'boost::mpl::apply<F,T1>'
with
[
F=boost::add_pointer<boost::mpl::_>,
T1=int
]
and
[
F=boost::mpl::_1,
T1=boost::mpl::_2
]
d:\libc++\boost_1_35_0\boost\mpl\aux_\preprocessed\plain\apply.hpp(63) : see reference to class template instantiation 'boost::mpl::apply_wrap2<F,T1,T2>' being compiled
with
[
F=boost::mpl::apply<boost::mpl::_1,boost::mpl::_2>,
T1=boost::add_pointer<boost::mpl::_>,
T2=int
]
d:\libc++\boost_1_35_0\boost\mpl\aux_\preprocessed\plain\apply.hpp(71) : see reference to class template instantiation 'boost::mpl::apply2<F,T1,T2>' being compiled
with
[
F=boost::mpl::apply<boost::mpl::_1,boost::mpl::_2>,
T1=boost::add_pointer<boost::mpl::_>,
T2=int
]
d:\projets\visual studio 2005\projects\metaprog\metaprog\main.cpp(50) : see reference to class template instantiation 'boost::mpl::apply<F,T1,T2>' being compiled
with
[
F=boost::mpl::apply<boost::mpl::_1,boost::mpl::_2>,
T1=boost::add_pointer<boost::mpl::_>,
T2=int
]

j'ai l'impression qu'il arrive pas a bien tout remplacer, surtout que tout doit a priori se faire en deux étapes :
- le remplacement des _1 par les boost::add_pointer<_>
- le remplacement du reste par les int...
Et je pense donc que c'est là que se trouve le problème, il peut pas faire tout en une passe. Et donc du coup, je vois pas trop comment faire une fonction lambda qui dans ses paramètres prend la métafonction avec laquelle elle doit travailler...

Si vous avez une idée

Publicité

Joel F

Real men use unique_ptr

Tu effectue la beta-reduction de ta lambda trop tôt.
Ca devrait marcher :

Code :

#include <boost/mpl/apply.hpp>
#include <boost/type_traits/add_pointer.hpp>
using namespace boost;
using namespace boost::mpl;
int main()
{
// lambda expression for twice. lambda f x => f (f x)
typedef apply1< _1, apply1<_1,_2> > twice;
// Test with add_pointer and int
typedef mpl::apply2<twice,boost::add_pointer<mpl::_>,int>::type result;
// Validation
BOOST_MPL_ASSERT(( is_same<result,int**> ));
return 0;
}

Amonchakai

Ok, merci de ton aide.

Donc si je comprend bien, la première erreur était d'utiliser uniquement les mpl::apply qui laissent le compilo faire l'unification sur tous les placeholders d'un coup. Il fallait donc lors de la définition de twice, utiliser le apply1 pour spécifier qu'il doit d'abord faire l'unification sur la première variable en lui empêchant d'unifier la deuxième variable.

Par contre il y a un truc que je comprend toujours pas. Dans la définition de twice tu as utilisé le apply1 directement comme valeur qui va être utilisé par la métafonction:

Code :

typedef apply1< _1, apply1<_1,_2> > twice;

Et pas la valeur de retour du apply1 comme on aurait fait dans une métafonction...

Code :

typedef apply1< _1, typename apply1<_1,_2>::type > twice;

Je pense que je dois pas bien comprendre comment fonction le apply1, car je pensais que c'était juste le raccourcis d'écriture que j'avais vu dans la doc: (bon bien sur, il ne s'agissait pas le la véritable implémentation mais je pensais que cela était proche)

Code :

template <class F, class X>
template <class UnaryMetaFunctionClass, class Arg>
struct apply1
: UnaryMetaFunctionClass::template apply<Arg>
{};

Et donc, ça me paraissait logique de l'utiliser comme ça. Une petite explication (ou une indication où chercher dans la doc) ne serai pas de refus.

merci

Message cité 1 fois
Message édité par Amonchakai le 14-09-2008 à 13:39:17

Joel F

Real men use unique_ptr

Amonchakai a écrit :

Donc si je comprend bien, la première erreur était d'utiliser uniquement les mpl::apply qui laissent le compilo faire l'unification sur tous les placeholders d'un coup. Il fallait donc lors de la définition de twice, utiliser le apply1 pour spécifier qu'il doit d'abord faire l'unification sur la première variable en lui empêchant d'unifier la deuxième variable.

En gros oui. T'as jamais fait de LISP ou de ML en étant plus jeune car ca aide grandement dans ce cas
Ta fonction twice elle se type de la façon suivante :

Code :

# let twice _1 _2 = _1 (_1 _2 );;
val twice : ('a -> 'a) -> 'a -> 'a = <fun>

Mais comme apply n'est ni plus ni moins que la meta-fonction effetuant un appel de fonction, ca te donne de suite la bonne forme :

Code :

# let apply1 _1 _2 = _1 _2;;
val apply1 : ('a -> 'b) -> 'a -> 'b = <fun>
# let twice _1 _2 = apply1 _1 ( apply1 _1 _2);;
val twice : ('a -> 'a) -> 'a -> 'a = <fun>

En C++, on retrouve :

Code :

apply1< _1, apply1<_1,_2> >

Amonchakai a écrit :

Par contre il y a un truc que je comprend toujours pas. Dans la définition de twice tu as utilisé le apply1 directement comme valeur qui va être utilisé par la métafonction:

Code :

typedef apply1< _1, apply1<_1,_2> > twice;

Et pas la valeur de retour du apply1 comme on aurait fait dans une métafonction...

Code :

typedef apply1< _1, typename apply1<_1,_2>::type > twice;

Au moment ou tu recupére le ::type d'une meta-fonction, tu déclenches son évaluation. Or apply _1 sur _2 sans remplacement ne veut rien dire.
Il faut conserver ton expression paresseuse jusqu'à la fin.

Amonchakai a écrit :

Code :

template <class F, class X>
template <class UnaryMetaFunctionClass, class Arg>
struct apply1
: UnaryMetaFunctionClass::template apply<Arg>
{};

Et donc, ça me paraissait logique de l'utiliser comme ça. Une petite explication (ou une indication où chercher dans la doc) ne serai pas de refus.

C'est bien ça. Mais la différence se trouve au niveau de la sémantique de la chose. Quand tu écris une meta-fonction avec de splaceholder, il faut arreter de voire des types C++ et raisonner en terme de fonction paresseuse.

Message édité par Joel F le 14-09-2008 à 15:28:39

Amonchakai

Ok, j'ai compris. merci beaucoup

(En ce qui concerne les langages fonctionnels, j'ai juste fait un peu de Caml l'année dernière. Ca aide déjà un peu dans la manière de procéder...)

Message édité par Amonchakai le 14-09-2008 à 18:26:20

FORUM HardWare.fr

Programmation

C++

boost mpl, passer une fonction dans un placeholder

Sujets relatifs
Extraire des données d'une page Web en fonction d'un champ formulaire	[PHP] noob fonction update
sélectionner la bonne stringtable en fonction de la langue de l'OS	La fonction focusGained()
problemed'envoi et de reception à une fonction	Boost MPL : déréférencer un itérateur
Prblème fonction offset	Fonction WeekNum pour VBA
probléme avec fonction if dans oracle forms
Plus de sujets relatifs à : boost mpl, passer une fonction dans un placeholder

Page générée en 0.063 secondes