Discussion :

[CedricMocquillon]

Bonjour à tous,

Je me demande pourquoi cette instruction ne compile pas:

Code :

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

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:

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<>

[3DArchi]

Salut,

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.

[Joel F]

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

[CedricMocquillon]

@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 :

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
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 :

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

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!