1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
///////////////////////////////////////////////////////////////////////////////
// make.hpp
//
// Copyright 2008 Eric Niebler. 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)
#include <boost/proto/core.hpp>
#include <boost/proto/transform/arg.hpp>
#include <boost/proto/transform/make.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/test/unit_test.hpp>
namespace mpl = boost::mpl;
namespace proto = boost::proto;
using proto::_;
template<typename T>
struct type2type {};
template<typename T>
struct wrapper
{
T t_;
explicit wrapper(T const & t = T()) : t_(t) {}
};
template<typename T>
struct careful
{
typedef typename T::not_there not_there;
};
// Test that when no substitution is done, we don't instantiate templates
struct MakeTest1
: proto::make< type2type< careful<int> > >
{};
void make_test1()
{
proto::terminal<int>::type i = {42};
type2type< careful<int> > res = MakeTest1()(i);
}
// Test that when substitution is done, and there is no nested ::type
// typedef, the result is the wrapper
struct MakeTest2
: proto::make< wrapper< proto::_value > >
{};
void make_test2()
{
proto::terminal<int>::type i = {42};
wrapper<int> res = MakeTest2()(i);
BOOST_CHECK_EQUAL(res.t_, 0);
}
// Test that when substitution is done, and there is no nested ::type
// typedef, the result is the wrapper
struct MakeTest3
: proto::make< wrapper< proto::_value >(proto::_value) >
{};
void make_test3()
{
proto::terminal<int>::type i = {42};
wrapper<int> res = MakeTest3()(i);
BOOST_CHECK_EQUAL(res.t_, 42);
}
// Test that when substitution is done, and there is no nested ::type
// typedef, the result is the wrapper
struct MakeTest4
: proto::make< mpl::identity< proto::_value >(proto::_value) >
{};
void make_test4()
{
proto::terminal<int>::type i = {42};
int res = MakeTest4()(i);
BOOST_CHECK_EQUAL(res, 42);
}
using namespace boost::unit_test;
///////////////////////////////////////////////////////////////////////////////
// init_unit_test_suite
//
test_suite* init_unit_test_suite( int argc, char* argv[] )
{
test_suite *test = BOOST_TEST_SUITE("test the make transform");
test->add(BOOST_TEST_CASE(&make_test1));
test->add(BOOST_TEST_CASE(&make_test2));
test->add(BOOST_TEST_CASE(&make_test3));
test->add(BOOST_TEST_CASE(&make_test4));
return test;
}
|
