Discussion :

[Flob90]

Non, relis mon message, pour fold et reverse_fold, _1 est toujours l'accumulateur (ou l'état c'est pareil) et _2 l'élément courrant.

Non, si tu inverses la sortie est "e,f,c,d,a,b" et pas "a,b,c,d,e,f" essaies de faire les différentes étapes à la main comme je l'ai fait dans mon message précédent pour bien voir.

[guillaume07]

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
 
struct My {
	template<typename T,typename U>
	struct apply {
		typedef typename if_<
            is_float<U>,
            typename boost::mpl::next<T>::type,
			T
        >::type type;
	};
};
 
typedef fold<
      types,
	  int_<0>,
	  My//if_< is_float<_2>,next<_1>,_1 >
    >::type number_of_floats;

ça permet un peu mieux de comprendre en définissant soit meme la meta class je trouve.

On ne peut pas changer l'ordre de T et U. Je comprends donc que fold à un "protocole" qu'on se doit de respecter

[guillaume07]

Non, relis mon message, pour fold et reverse_fold, _1 est toujours l'accumulateur (ou l'état c'est pareil) et _2 l'élément courrant.

Non, si tu inverses la sortie est "e,f,c,d,a,b" et pas "a,b,c,d,e,f" essaies de faire les différentes étapes à la main comme je l'ai fait dans mon message précédent pour bien voir.

oui désolé car j'ai inversé et en meme temps changé en fold et non reverse_fold