Как проверить, является ли тип шаблона одним из типов вариантного типа?

Принимая во внимание тип варианта и функцию шаблона, как я могу проверить, что тип шаблона является одним из типов варианта? Есть ли более элегантный способ, чем следующий?

typedef boost::variant<Foo,Bar> Var;

template <typename T>
void f(const T& x)
{
  BOOST_STATIC_ASSERT(
       boost::is_same<T,Foo>::value
    || boost::is_same<T,Bar>::value
  );
}

Примечание. Я использую Boost 1.57 и gcc 4.8.3. Я не использую C++11 для совместимости со старыми версиями gcc.


c++ boost typetraits boost-variant c++98
person Caduchon    schedule 31.05.2016    source источник
comment
Вы можете сделать черты contains (но без вариации из С++ 11, не уверен, что это более элегантно).   -  person Jarod42    schedule 31.05.2016

Ответы (1)


arrow_upward
8
arrow_downward

Используйте МПЛ:

#include <boost/variant/variant.hpp>
#include <boost/mpl/contains.hpp>

typedef boost::variant<Foo, Bar> Var;

template <typename T>
void f(const T& x)
{
    BOOST_STATIC_ASSERT(boost::mpl::contains<Var::types, T>::value);
}

ДЕМО

или вручную перебрать boost:::variant типов:

#include <boost/variant/variant_fwd.hpp>
#include <boost/type_traits.hpp>

template <typename T, typename V>
struct variant_has_type;

template <typename T, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(typename Ts)>
struct variant_has_type<T, boost::variant<T, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(Ts)> >
    : boost::true_type {};

template <typename T, typename U, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(typename Ts)>
struct variant_has_type<T, boost::variant<U, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(Ts)> >
    : variant_has_type<T, boost::variant<BOOST_VARIANT_ENUM_SHIFTED_PARAMS(Ts), void> > {};

template <typename T, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(typename Ts)>
struct variant_has_type<T, boost::variant<void, BOOST_VARIANT_ENUM_SHIFTED_PARAMS(Ts)> >
    : boost::false_type {};

ДЕМО 2

person Piotr Skotnicki    schedule 31.05.2016