Wed, 08 May 2013 01:19:48 GMT

Sorry about formatting - try this....

// possible "fix" to apply in make_variant_over
typedef boost::mpl::vector<> empty; typedef boost::mpl::insert_range<empty, boost::mpl::end<empty>::type, Sequence>::type ExtensibleSequence;
// example
#include <string>
#include <boost/variant.hpp>
#include <boost/mpl/joint_view.hpp>
#include <boost/mpl/insert_range.hpp>
typedef boost::variant<int> v1;
typedef boost::variant<std::string> v2;
typedef boost::make_variant_over<boost::mpl::joint_view<v1::types, v2::types>::type>::type v3; // FAILS - requires Extensible Sequence
//typedef boost::variant<int, std::string> v3; // OK (obviously)
//typedef boost::make_variant_over<boost::mpl::insert_range<v1::types, //boost::mpl::end<v1::types>::type, v2::types::type>::type>::type v3; // OK (so types is probably an Extensible Sequence as insert_range works on it...)
int main(int argc, char *argv[])
{
        v1 a = 1;
        v2 b = "2";
        v3 c = a;
        return boost::get<int>(c);
}

owner, status, milestone changed

Antony Polukhin — Sun, 23 Jul 2017 19:33:25 GMT

owner changed from ebf to Antony Polukhin
status new → assigned
milestone To Be Determined → Boost 1.65.0

Antony Polukhin — Sun, 23 Jul 2017 19:37:53 GMT

Fixed by Mikhail Maximov in PR35.

status changed; resolution set

Antony Polukhin — Tue, 26 Sep 2017 18:07:07 GMT

status assigned → closed
resolution → fixed

Boost C++ Libraries: Ticket #8554: make_variant_over requires Extensible Sequence

owner, status, milestone changed

status changed; resolution set