c – 如何检查模板类型是否是变体类型的类型之一？

发布时间：2020-12-16 04:58:45 所属栏目：百科来源：网络整理

导读：考虑变体类型和模板函数,如何检查模板类型是变体的类型之一？有比以下更优雅的方式吗？ typedef boost::variantFoo,Bar Var;template typename Tvoid f(const T x){ BOOST_STATIC_ASSERT( boost::is_sameT,Foo::value || boost::is_sameT,Bar::value );} 注

考虑变体类型和模板函数,如何检查模板类型是变体的类型之一？有比以下更优雅的方式吗？

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版本兼容.

解决方法

使用MPL：

#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);
}

DEMO

或者手动迭代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<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<void,BOOST_VARIANT_ENUM_SHIFTED_PARAMS(Ts)> > : boost::false_type {};

DEMO 2

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!