Discussion :

[Trademark]

Bonjour à tous,

Je suis actuellement confronté à un problème, j'aimerais faire quelque chose mais je ne sais pas comment le faire, malgré tout je sais que c'est possible.

J'ai une fonction template :

Code :

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

1
2
template < int value1, int value2>
int fonction () ;

Mais le nombre de paramètre template non typé devrait être illimité...

On m'a montré le code suivant mais je n'ai pas compris :

Code :

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

1
2
3
 
typedef a<1,2> t;
fonction<t>() ;

J'en déduis que de cette façon on peut également faire :

Code :

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

1
2
3
 
typedef a<1,2,3> t;
fonction<t>() ;

Mais je n'ai aucune idée de comment récupérer "t" dans "fonction" et de ce que représente "a".

Merci de votre aide.

[Flob90]

Bonsoir,

Regardes du coté de boost::mpl, ca pourras t'aider.

Par exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
//Une fonction template qui prends en paramètre une séquence ...
template<class Seq>
void foo()
{ 
    std::cout << mpl::at<S,2>::value;
    //... d'entiers (à cause du "value")
    //affiche le second entier (de type int) de la séquence
};
 
typedef mpl::vector_c<int,0,1,2,3> ma_sequence;
foo<ma_sequence>();
// ou si tu préfères
foo<mpl::vecotr_c<int,0,1,2,3> >();

Et la dernière ligne est bien l'objectif recherché.

mpl::vector_c c'est une séquence d'entier connue à la compilation, comme std::vector qui est une séquence d'objet. Si tu veux voir comment est codé mpl::vector_c, plonges toi dans le code de boost::mpl (le "principe" est pas forcément difficile à saisir, mais ca peut se révèlé plus complexe et laborieux à écrire pour obtenir la même qualité que boost::mpl).

NB: Pas certain que mon code compile, pas testé, cependant l'idée est là je pense.

[Trademark]

C'est tout à fait ce genre de chose que je veux faire !

Par contre j'ai été voir les mpl.hpp et c'est un vrai méli-mélo de macro...

Vous n'auriez pas un exemple plus simple ou d'autres ressources ?

Merci beaucoup.

EDIT je viens de voir que je n'avais pas posté dans la section la plus approprié et je m'en excuse.

[Flob90]

Utiliser directement boost::mpl n'est pas enviseagble ? On n'est pas obliger de réinventer la roue à chaque fois.

Je ne me risquerais pas à poster un implémentation de mpl::vector_c, mais je peux te montrer une structure de type list (le plus simple pour commencer je pense), avec les variadics :

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
18
19
20
21
22
23
24
 
template<int...>
struct ListInt;
 
template<int I, int... T>
struct ListInt<I,T...>
{
  static const int value = I;
  typedef ListInt<T...> Tail;
};
 
template<class Seq, size_t I>
struct At
{ static const int value = At<typename Seq::Tail,I-1>::value; };
 
template<class Seq>
struct At<Seq,0>
{ static const int value = Seq::value; };
 
template<class Seq>
void foo()
{ std::cout << At<Seq,2>::value; }
 
foo<ListInt<0,1,2,3> >();

(Si tu as pas les variadics ca se fait mais le code est plus long à écrire et répétitif)

PS: J'avais pas fait attention à la section, je déplace dans langage.

[Trademark]

J'avais vu les variadics mais je ne peux pas les utiliser pour mon projet (qui est, en fait, un projet boost pour le google summer of code) car elles font partie de la norme C++0x.

Enfin je pense que la librairie boost "preprocessor" est celle qui permet d'écrire ce genre de code. J'ai trouvé ce genre de fichier qui doit permettre les répétitions :

http://svn.boost.org/svn/boost/trunk...ion/repeat.hpp

Par contre utiliser toutes ces macros me semblent bien compliqué sans avoir compris le principe.
Est-ce que tu pourrais m'expliquer comment ça fonctionne ?

Merci beaucoup et bonne journée.

[Flob90]

Bonjour,

Je réitère ma question : tu ne peux pas utiliser directement boost::mpl ? Ca sera bien plus simple.

Sinon, tu as regarder la doc de boost, je suis certain que l'utilisation de ces macros y est expliqué, pas pour autant que recoder boost::mpl::vector_c sera simple ...

PS: Sans variadics regardes les TyeList de Loki, ca se comprend mieux que mpl::list, et comme type tu mets des std::integral_constant<int, value> (classe facile à recoder si tu peux pas utiliser le C++2011).

PS2: Pour recoder une list de type tu devrais trouver plein de doc sur internet, c'est assez classique. mpl::vector est moins classique mais plus performent en général (perf à la compilation).

Edit: http://www.boost.org/doc/libs/1_47_0...doc/index.html (pour la doc de BOOST_PP_REPEAT par exemple)