//delimit_macro_test_code
//Purpose:
//  A slight simplification of crtp_test.cpp to
//  isolate the reason why ctor args, other than
//  for the 1st bound type, done't seem to work.
//
#include "libs/io/filters/src/mout.cpp"
//#define UTILITY_OBJECT_TRACKED_SET_OF_OBJECTS_TRACE_MODE
//#define UTILITY_OBJECT_TRACKED_TRACE_MODE
#include "libs/utility/src/obj_id.cpp"
#include "libs/utility/src/object_tracked.cpp"
#include "boost/utility/trace_scope.hpp"
#if 0
#include <boost/variant.hpp>
#else
#include "variant.hpp"
#endif
using namespace boost;

  template
  < unsigned TypeId
  >
  struct
type_id
: utility::object_tracked
{
        static
      unsigned const
    our_tid
    = TypeId
    ;
    type_id(void)
    {
        mout()<<"type_id(void):tid="<<our_tid<<"\n";
    }
    type_id(type_id<TypeId>const&)
    {
        mout()<<"type_id(type_id<TypeId>const&):tid="<<our_tid<<"\n";
    }
    ~type_id(void)
    {
        mout()<<"~type_id(void):tid="<<our_tid<<"\n";
    }
        friend
      marg_ostream&
    operator<<
      ( marg_ostream& sout
      , type_id<TypeId> const& a_tid
      )
    {
        return sout<<"type_id<"<<TypeId<<">const&:obj_id="<<a_tid.id_get()<<"\n";
    }
    
};

  struct
vlist: 
  public 
  variant
  < type_id<1>
  , type_id<2>
  >
{
      variant
      < type_id<1>
      , type_id<2>
      >
    super_type
    ;
    vlist(void)
    {
        utility::trace_scope ts("vlist(void)");
        mout()<<"id="<<this->id_get()<<"\n";
    }
      template
      < class T
      >
    vlist(T const& a_t)
    : super_type(a_t)
    {
        utility::trace_scope ts("template<class T>vlist(T const&)");
        mout()<<"id="<<this->id_get()<<"\n";
        mout()<<"this->which="<<this->which()<<"\n";
    }
      template
      < class T
      >
    vlist(T& a_t)
    : super_type(a_t)
    {
        utility::trace_scope ts("template<class T>vlist(T&)");
        mout()<<"id="<<this->id_get()<<"\n";
        mout()<<"this->which="<<this->which()<<"\n";
    }
    vlist(type_id<2>& a_t)
    : super_type(a_t)
    {
        utility::trace_scope ts("template<class T>vlist(type_id<2>&)");
        mout()<<"id="<<this->id_get()<<"\n";
        mout()<<"this->which="<<this->which()<<"\n";
    }
    vlist(type_id<2>const& a_t)
    : super_type(a_t)
    {
        utility::trace_scope ts("template<class T>vlist(type_id<2>const&)");
        mout()<<"id="<<this->id_get()<<"\n";
        mout()<<"this->which="<<this->which()<<"\n";
    }
};

unsigned const arg_id=2;
  void
test_list(void)
{
    utility::trace_scope ts("test_list");
    typedef vlist list_type;
    typedef type_id<arg_id> arg_type;
    arg_type a_arg;
    {
        utility::trace_scope ts("list_1 scope");
        list_type list_1(a_arg);
        mout()<<"list_1.which()="<<list_1.which()<<"\n";
    }
}
  void
test_variant(void)
{
    utility::trace_scope ts("test_variant");
    typedef variant<type_id<1>,type_id<arg_id> > list_type;
    typedef type_id<arg_id> arg_type;
    arg_type a_arg;
    {
        utility::trace_scope ts("list_1 scope");
        list_type list_1(a_arg);
        mout()<<"list_1.which()="<<list_1.which()<<"\n";
    }
}

int
main()
{
    test_list();
    test_variant();
    return 0;
}