boost_1_45_0/libs/function_types/test/synthesis/variadic_function_synthesis.cpp

// (C) Copyright Tobias Schwinger
//
// Use modification and distribution are subject to the boost Software License,
// Version 1.0. (See http://www.boost.org/LICENSE_1_0.txt).

//------------------------------------------------------------------------------

#include <boost/mpl/assert.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/type_traits/is_same.hpp>

#include <boost/function_types/function_type.hpp>
#include <boost/function_types/function_pointer.hpp>
#include <boost/function_types/function_reference.hpp>
#include <boost/function_types/member_function_pointer.hpp>

namespace ft = boost::function_types;
namespace mpl = boost::mpl;
using boost::is_same;

class C;
typedef int expected_v_1(...);
typedef int expected_nv_1();
typedef int (C::*expected_v_2)(...);
typedef int (C::*expected_nv_2)();

BOOST_MPL_ASSERT(( is_same< 
    ft::function_type<mpl::vector<int>, ft::variadic>::type, expected_v_1 
> ));

BOOST_MPL_ASSERT(( is_same< 
    ft::function_type<mpl::vector<int>, ft::non_variadic>::type, expected_nv_1 
> ));

BOOST_MPL_ASSERT(( is_same< 
    ft::function_pointer<mpl::vector<int>, ft::variadic>::type, expected_v_1 * 
> ));

BOOST_MPL_ASSERT(( is_same< 
    ft::function_pointer<mpl::vector<int>, ft::non_variadic>::type
  , expected_nv_1 * 
> ));

BOOST_MPL_ASSERT(( is_same<
    ft::function_reference<mpl::vector<int>, ft::variadic>::type, expected_v_1 &
> ));

BOOST_MPL_ASSERT(( is_same<
    ft::function_reference<mpl::vector<int>, ft::non_variadic>::type
  , expected_nv_1 &
> ));

BOOST_MPL_ASSERT(( is_same< 
    ft::member_function_pointer<mpl::vector<int,C>, ft::variadic>::type
  , expected_v_2 
> ));

BOOST_MPL_ASSERT(( is_same< 
    ft::member_function_pointer<mpl::vector<int,C>, ft::non_variadic>::type
  , expected_nv_2 
> ));