vecteur vide boost::mpl

Bonjour à tous,

Je me demande pourquoi cette instruction ne compile pas:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

#include <boost/mpl/vector.hpp> #include <boost/mpl/pop_front.hpp> #include <boost/mpl/empty.hpp> #include <boost/mpl/assert.hpp> #include <boost/type_traits/is_same.hpp>   using namespace boost::mpl;   typedef vector<> empty_vector; typedef vector<int> int_vector;   BOOST_MPL_ASSERT(( boost::is_same< empty_vector, pop_front<int_vector>::type > ));

---

j'ai le message d'erreur suivant:

Citation:

---

1>error C2664: 'boost::mpl::assertion_failed'*: impossible de convertir le paramètre 1 de 'boost::mpl::failed ************boost::is_same<T,U>::* ***********' en 'boost::mpl::assert<false>::type'
1> with
1> [
1> T=empty_vector,
1> U=boost::mpl::pop_front_impl<boost::mpl::aux::vector_tag<1>>::apply<int_vector>::type
1> ]
1> Aucun constructeur n'a pu prendre le type de source, ou la résolution de la surcharge du constructeur était ambiguë

---

Je me serai attendu à ce que le type renvoyé par pop_front sur un vector à un type me renvoie le type vector<>

Salut,

Citation:

---

Envoyé par CedricMocquillon

Je me serai attendu à ce que le type renvoyé par pop_front sur un vector à un type me renvoie le type vector<>

---

Dans le détail, vu l'implémentation de boost::mpl::vector, boost::mpl::vector<> hérite de boost::mpl::vector0 représentant une séquence vide. Alors que pop_front<int_vector>::type est un typedef sur boost::mpl::vector0. D'où l'évaluation à faux.

Pour savoir si une séquence est vide, il existe boost::mpl::empty.

Les retours des metafonctions MPL sont rarement un type direct. Donc is_same est a bannir.

@3DArchi, j'avais vu boost::mpl::empty, en fait à la base ma question portait sur un problème de spécialisation template pour le cas liste vide (quand on déroule une liste de types) voici comment je m'en était sortis:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

template<typename v, bool empty> struct une_fonction_impl {};   template<typename v> struct une_fonction_impl<v, false> { static void apply() { //faire un truc avec front<v>::type typedef typename pop_front<v>::type tail; typedef typename empty<tail>::type empty; une_fonction_impl<tail, empty::value>::apply(); } };   template<typename v> struct une_fonction_impl<v, true> { static void apply() { } };   template<typename v> void une_fonction() { typedef typename empty<v>::type empty; une_fonction_impl<v, empty::value>::apply(); }

---

Avec ton indication, je peux simplifier cette écriture par:

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

template<typename v> void une_fonction() { //faire un truc avec front<v>::type une_fonction<pop_front<v>::type>::apply(); }   template<> void une_fonction< vector0<> >() { }

---

Ce qui est bien plus concis et proche de mon intention.
Merci à tout les deux!