c++ - 嵌套的 boost::variant fusion 对的编译失败

Question

以下代码无法在带有 boost 1.64 的 gcc 4.9.2 上编译:

#include <boost/fusion/support/pair.hpp>
#include <boost/mpl/int.hpp>
#include <boost/variant.hpp>

#include <string>

namespace bf = boost::fusion;
namespace bm = boost::mpl;

int
main(int argc, char** argv)
{
    using L2_t = boost::variant<bf::pair<bm::int_<1>,char>>;
    using L1_t = boost::variant<bf::pair<bm::int_<1>,L2_t>>;
    L1_t result;
}

虽然我认为这是合法的。

错误信息开始于:

/home/vagrant/.conan/data/boost/1.64.0/conaned/master/package/b06f2a498643ee1d889c6aea8e0e21d3cac9f57c/include/boost/fusion/support/pair.hpp: In instantiation of ‘constexpr boost::fusion::pai
r<First, Second>::pair(const boost::fusion::pair<First, Second2>&) [with Second2 = boost::variant<boost::fusion::pair<mpl_::int_<1>, char> >; First = mpl_::int_<1>; Second = char]’:          /home/vagrant/.conan/data/boost/1.64.0/conaned/master/package/b06f2a498643ee1d889c6aea8e0e21d3cac9f57c/include/boost/type_traits/is_constructible.hpp:33:45:   required by substitution of ‘tem
plate<class T, class Arg, class> static boost::type_traits::yes_type boost::detail::is_constructible_imp::test1(int) [with T = boost::fusion::pair<mpl_::int_<1>, char>; Arg = const boost::fus
ion::pair<mpl_::int_<1>, boost::variant<boost::fusion::pair<mpl_::int_<1>, char> > >&; <template-parameter-1-3> = <missing>]’

当我更改其中一个对的键值以使它们不同时，编译成功。

如何解决这个问题？我使用这些键值对来序列化/反序列化，因此在不同级别上使用相同的值对我来说很重要。

Answer 1

正如 xaxxon 所说，这适用于 gcc 5.2。