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

前端之家收集整理的这篇文章主要介绍了c – 如何检查模板类型是否是变体类型的类型之一?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
考虑变体类型和模板函数,如何检查模板类型是变体的类型之一?有比以下更优雅的方式吗? @H_404_2@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: @H_404_2@#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类型:

@H_404_2@#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

猜你在找的C&C++相关文章