Bonjour,
   Depuis quelques temps j'essaye de me mettre à la MPL de boost. Ca fait mal à la tête mais c'est intéressant Je suis donc en train de faire les exercices qui sont proposé à la fin des tutoriaux de la doc. Et donc je suis sur le premier : vérifier qu'une séquence ne contiennent que des nombres égaux à 0 ou 1.
   Bon, j'y suis presque :
 

 
 
mon problème, se trouve que je voulais compter le nombre d'éléments qui sont différents de 0 ou 1. Pour ça j'utilise le type que me retourne le fold. A chaque fois, je renvois le int_<> suivant du nombre précédent d'éléments trouvé.  
Le problème c'est que cela semble marcher qu'une seule fois. En effet, si il y a un seul nombre qui ne vérifie pas la condition ça marche. Mais par contre si j'en ai deux, j'ai une erreur de compil.
Le compilo m'annonçant

donc je sais pas trop, il a l'air de bloquer au moment du déréférençage de l'itérateur... Si vous avez une idée

Juste un petite remarque pour dire que je pense avoir bien compris, que quand je demande le suivant, j'obtiens un :

 
mon problème est donc a mon avis d'arriver a tout dépiler, c'est là que je pense que j'ai un souci...

ah ok, j'ai vu :

change Check :

Ton erreur viens du fait que tu renvoyait next<PrevAns> qui est une métafonction 0-aire et non une valeur type.

Ton deref sert à rien, fold renvoit pas d'itérateur mais un type.
En outre, il est de bon aloi de forwarder les meta fonctions plutot que de les enfouir. binary s'ecrit plutot :
 

ok, j'ai compris.
Merci  

je déterre
besoin d'une petite explication sur la technique du forward (héritage)
merci

Pas sur de comprendre la question, mais  
 
j'attends aussi la réponse de l'expert

(en C++ on parle plutôt de barbu que d'expert )

forwarder la meta-function au lieu de l'appeler en interne fait gagenr qqs instanciations de templates et accélére la compil

deux questions :
 
- le enum val initialement défini dans binary est fait dans mpl::fold  
- je ne comprends comment fonctionne le mécanisme initial avec State = int_<0> utile au premier appel

c'ets un fold comme en ML hein, State c'ets la valeur initiale du combinateur.

ça change quoi si on mets int_<1> par exemple ou int_<3>

autre question une idée d'où je pourrais trouver des exemples, présentés de manière accessibles, permettant de voir concrètement, comment et/ou dans quel cas MPL est utilisée.
le tuto de boost est trés bien mais ne permet pas de se rendre compte concrètement sur un petit exemple d'une utilisation pratique

 
fold State List Op fait la chsoe suivante
 
Op( State, Op( List(0), Op(List(1) , ... )) ) ) ) );
 
fold quoi: http://en.wikipedia.org/wiki/Fold_ [...] unction%29

mais j'arrive pas à voir comment la valeur peut être conserver et transmise à l'itération suivante
 
apply défini un champ value ?

non, elle passe le nouveau type dans les paramètres de l'appel suivant.
Tu sais pas ecrire de fonction stateless ?

non je débute juste, ça m'a l'air énorme comme lib niveau concept à assimiler

si t'as fait u MLou de l'Haskell avant, ca passe tout seul.

hélas...mais bon ça s'apprend faut juste être prêt à y investir le temps nécessaire, dans du code applicatif ça peut avoir un intérêt ou clairement peu?

ca sert à grandement simplifier l'implant de certaines interfaces.
C'est plus orienté dev. de library que applicatif brut.
 
Quoique les trucs genre units etc ca peut servir.

a priori avec la meta-prog on manipule uniquement des types (ou des valeurs pour des optimisations maths)...ok mais j'ai un peu de mal à cerner   ce que l'on peut obtenir en manipulant des types

Bah, ca permet aussi de générer des codes spécialisé sur des conditions non triviale

oui je vois, ça ne révolutionne pas le monde mais ça reste pratique tout de même de pouvoir faire ça directement en C++