Question

Boost变体有一个名为make_variant_over的函数，它接受一个MPL序列（例如list<A, B, C>）并从这些类型中生成一个变体。

但是，如果仔细观察，生成的类型绝不是简单的variant<A, B, C>。

例如，在此代码中，

#include<boost/variant.hpp>
int main(){
    using List = boost::mpl::list<double, int>;
    using Variant = boost::make_variant_over<List>::type;
}

Variant是boost::variant<boost::detail::variant::over_sequence<boost::mpl::list<double, int, mpl_::na, ...> >>。

看起来它可以与boost::variant<double, int>互换使用，但它的类型不同。在读取编译器错误时，最多会产生混淆，最坏的情况是，实现依赖于参数的确切类型的某些函数会很困难。

有没有办法强制简化生成的变体类型？

Answer 1

使用boost::mpl::fold得到它。必须小心递归，因为无法实例化空模板变体。

可以这样做，但我们可能没有对编译器有任何帮助，因为boost::variant<T1, T2,...>可能仍然以boost::variant<...variant::over_sequence<T1, T2,...>>实现。

真正的力量可以是可以使用简化类型构造来使变体类型唯一。

namespace detail{
template <typename TList, typename T> struct ExtendTList;
template<typename T>
struct ExtendTList<boost::variant<void>, T>{
  using type = boost::variant<T>;
};
template<typename T, typename... Ts>
struct ExtendTList<boost::variant<Ts...>, T>{
  using type = boost::variant<Ts..., T>;
};
}

template<class Seq>
using make_simple_variant_over = typename boost::mpl::fold<
    typename boost::mpl::fold<
        Seq,
        boost::mpl::set<>, 
        boost::mpl::insert<boost::mpl::_1, boost::mpl::_2>
    >::type,
    boost::variant<void>, 
    detail::ExtendTList<boost::mpl::_1, boost::mpl::_2>
>;

...

using variant_type = make_simple_variant_over<boost::mpl::vector<int, int, long>>::type;

variant_type现在正好是boost::variant<int, long>。

（它不是boost::variant<boost::detail::variant::over_sequence<boost::mpl::list<int, long, mpl_::na, ...> >>也不是boost::variant<boost::detail::variant::over_sequence<boost::mpl::list<int, int, long, mpl_::na, ...> >>

如何简化make_variant_over生成的类型

1 个答案: