Discussion :

[guillaume07]

tiré tout droit de la doc de boost :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
typedef vector<long,float,short,double,float,long,long double> types;
typedef fold<
      types
    , int_<0>
    , if_< is_float<_2>,next<_1>,_1 >
    >::type number_of_floats;

j'ai du mal à comprendre la logique , pourquoi est ce que l'on test le deuxième élément de la liste, pour savoir si il faut prendre next ou _1? ici _1 est le chiffre _1 ou le placeholder ?

[Goten]

Parce que t'as pas la sémantique de fold regarde :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
fold(Seq, Prev, BinaryOp) :=
     if Seq is empty then:
           Prev
     else:
           fold(tail(Seq),
                 BinaryOp(Prev, head(Seq)),
                 BinaryOp)

Avec ça tu dois pouvoir trouver à quoi "font référence" _2 et _1 ...

Ah et un petit indice, mpl::next a plusieurs "surcharges", ça marche aussi avec les integral constants... (et ça a la sémantique d'une incrémentation)

[Joel F]

_2 represente l'element courant de l'iteration du fold, _1 represente l'etat courant.

donc le fold dis Pour chaque element dans la meta-sequence, si l'element courant ets un float j'increment l'etat sinon je le laisse tel quel

[Goten]

Fallait pas spoil comme ça Joel, j'avais volontairement omis la solution toute faite :p

[guillaume07]

Merci !

[Joel F]

Fallait pas spoil comme ça Joel, j'avais volontairement omis la solution toute faite :p

c'est les fetes ca doit etre pour ca. Pour penitence j ene repondrais pas a ca prochaine question :o

[Alp]

Une explication sur le fold en général... : http://www.haskell.org/haskellwiki/Fold

[guillaume07]

_2 represente l'element courant de l'iteration du fold, _1 represente l'etat courant.

donc le fold dis Pour chaque element dans la meta-sequence, si l'element courant ets un float j'increment l'etat sinon je le laisse tel quel

- Comment est ce que l'algo arrive à savoir que le premier placeholder (_2) réfère à l'élément courant et que _1 représente l'état courant ?

- Pourquoi est ce is_float<_2> et non is_float<_1> ?

- Qu'est ce qui se passe concrètement si on next ou si on "reste dans l'état courant" ?

[Goten]

- Comment est ce que l'algo arrive à savoir que le premier placeholder (_2) réfère à l'élément courant et que _1 représente l'état courant ?

C'est fold qui dicte ça justement donc il le sait parce ... c'est fait comme ça :'.

- Pourquoi est ce is_float<_2> et non is_float<_1> ?

Bah parce que ton test tu le fais sur l'élément courant pas sur un état. Ce que tu veux tester c'est chaque élément du vector!

- Qu'est ce qui se passe concrètement si on next ou si on "reste dans l'état courant" ?

hum? bah si tu "next" ça fait incrémente l'integral constant. Et si tu "restes dans l'état courant" bah y'a pas d'incrémentation c'est tout.

[guillaume07]

"Bah parce que ton test tu le fais sur l'élément courant pas sur un état"

ok donc next<_1> = next de l'état courant =

- +1 sur l'integral constante
- fait pointer _2 sur le prochain élément de la séquence

?

Autrement pour info , le piège pour quelqu'un qui découvre cet algo , c'est de penser que is_float<_2> pointe sur le 2eme élément du vecteur, et que _1 sur le premier élément...