Итерация по типам в варианте boost:: variant

Я использую вариант boost для хранения некоторых сгенерированных типов, прямо сейчас мой генератор кода создает заголовок с типами и вариантом, способным их удерживать. Во время инициализации я хотел бы перебирать допустимые типы в варианте, а не типы, которые данный вариант держит в данный момент.

Могу ли я сделать это с помощью варианта?

Ответ 1

boost::variant предоставляет свои типы через types, который является списком MPL. Вы можете выполнять операции выполнения над списками MPL, используя 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());