evaluación de metaprogramación de la plantilla

Question

Así que tengo una clase de plantilla que me gustaría aceptar un std :: map donde el tipo de datos es un puntero sin formato o un std :: unique_ptr. A continuación, en esta clase me gustaría obtener el tipo del puntero subyacente:

typedef typename boost::mpl::if_< 
    boost::is_pointer<typename Container::mapped_type>, 
    typename Container::mapped_type, 
    typename Container::mapped_type::element_type* 
>::type data_type 

Sin embargo, me sale el siguiente error al crear instancias de la clase utilizando un mapa con un tipo de puntero prima:

error: 'std::map<int, ValueType*>::mapped_type {aka ValueType*}' is not a class, struct, or union type 

Se me parece que está evaluando typename Container::mapped_type::element_type* en el puntero sin procesar, pensé que con la metaprogramación de la plantilla no se evaluaría eso cuando el if_ tuviera éxito. ¿Debería ir sobre esto de otra manera?

Answer 1

Se necesita un vago if – tratar boost::mpl::eval_if en lugar de boost::mpl::if_:

#include <boost/type_traits/is_pointer.hpp> 
#include <boost/mpl/eval_if.hpp> 
#include <boost/mpl/identity.hpp> 

template<typename T> 
struct extract_element_type 
{ 
    typedef typename T::element_type* type; 
}; 

template<typename Container> 
struct foo 
{ 
    typedef typename boost::mpl::eval_if< 
     boost::is_pointer<typename Container::mapped_type>, 
     boost::mpl::identity<typename Container::mapped_type>, 
     extract_element_type<typename Container::mapped_type> 
    >::type data_type; 
}; 

es decir, en caso de duda, añadir un nivel adicional de indirección.