// Boost.TypeErasure library
//
// Copyright 2011 Steven Watanabe
//
// Distributed under the Boost Software License Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// $Id: construction.cpp,v 1.4 2012/07/19 14:23:25 evansl Exp evansl $

#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/typeid_of.hpp>
#include <boost/mpl/size.hpp>
#include <vector>
#include <deque>
#include <iostream>

namespace mpl = boost::mpl;
using namespace boost::type_erasure;

void construction2() {
    typedef mpl::vector<
        copy_constructible<_a>, typeid_<_a>,
        copy_constructible<_b>,
        copy_constructible<_c>,
        constructible<_a(const _b&, const _c&)>
    > construct;

    typedef mpl::map<
        mpl::pair<_a, std::vector<double> >,
        mpl::pair<_b, std::size_t>,
        mpl::pair<_c, double>
    > types1;

    typedef mpl::map<
        mpl::pair<_a, std::deque<double> >,
        mpl::pair<_b, std::size_t>,
        mpl::pair<_c, double>
    > types2;

    static_binding<types1> bindings1=make_binding<types1>();
    static_binding<types2> bindings2=make_binding<types2>();
    any<construct, _b> size(10, bindings1);
    any<construct, _c> val(2.5, bindings2);
    any<construct, _a> v(size, val);
    std::type_info const&type_info_a=typeid_of(v);
    std::cout<<type_info_a.name()<<"\n";
}

int main()
{
    construction2();
    return 0;
}