Ticket #7565: z.cpp

#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/not.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/copy_if.hpp>
#include <boost/mpl/contains.hpp>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/type_traits/is_same.hpp>
#include <iostream>

typedef boost::mpl::vector_c<int,1,2,3,4,5,6,7,8,9,10>::type left;
typedef boost::mpl::vector_c<int,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70
#if 1
,71
#endif
>::type right;

struct join_unique
{
  template <class Sequence1,
            class Sequence2>
  struct apply
  {
    typedef typename boost::mpl::copy_if<
      Sequence2,
      boost::mpl::not_<
        boost::mpl::contains<
          Sequence1,
          boost::mpl::placeholders::_1> >,
      boost::mpl::back_inserter<Sequence1>
      >::type type;
  };
};

typedef typename join_unique::apply<left,right>::type joined;

struct printer {
  template <typename T>
  void operator()(const T& val)
  {
    std::cout << val << std::endl;
  }
};

int main() {
   boost::mpl::for_each<joined>(printer());
}