Iteración de los tipos en un impulso :: variante

Question

Estoy usando una variante de refuerzo para mantener algunos tipos generados, en este momento mi generador de códigos crea un encabezado con los tipos y una variante capaz de contenerlos. En el momento de la inicialización, me gustaría iterar sobre los tipos permitidos en la variante, no sobre los tipos que la variante contiene en este momento.

¿Puedo hacer esto con una variante?

Answer 1

boost::variant expone sus tipos a través de types, que es una lista MPL. Puede hacer operaciones en tiempo de ejecución sobre listas MPL usando mpl::for_each:

struct printer { 
    template<class T> void operator()(T t) { 
     std::cout << typeid(T).name() << std::endl; 
    } 
}; 

// ... 
typedef boost::variant<int, char> var; 
boost::mpl::for_each<var::types>(printer());