考虑变体类型和模板函数,如何检查模板类型是变体的类型之一?有比以下更优雅的方式吗?
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); }
或者手动迭代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 {};
原文地址:https://www.jb51.cc/c/239511.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。