]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Boost.TypeErasure library |
2 | // | |
3 | // Copyright 2011 Steven Watanabe | |
4 | // | |
5 | // Distributed under the Boost Software License Version 1.0. (See | |
6 | // accompanying file LICENSE_1_0.txt or copy at | |
7 | // http://www.boost.org/LICENSE_1_0.txt) | |
8 | // | |
9 | // $Id$ | |
10 | ||
11 | #include <boost/type_erasure/any.hpp> | |
12 | #include <boost/type_erasure/tuple.hpp> | |
13 | #include <boost/type_erasure/builtin.hpp> | |
14 | #include <boost/type_erasure/operators.hpp> | |
15 | #include <boost/type_erasure/any_cast.hpp> | |
16 | #include <boost/mpl/vector.hpp> | |
17 | ||
18 | #define BOOST_TEST_MAIN | |
19 | #include <boost/test/unit_test.hpp> | |
20 | ||
21 | using namespace boost::type_erasure; | |
22 | ||
23 | template<class T = _self> | |
24 | struct common : ::boost::mpl::vector< | |
25 | destructible<T>, | |
26 | copy_constructible<T>, | |
27 | typeid_<T> | |
28 | > {}; | |
29 | ||
30 | BOOST_AUTO_TEST_CASE(test_same) | |
31 | { | |
32 | typedef ::boost::mpl::vector<common<>, add_assignable<> > test_concept; | |
33 | any<test_concept> x(1); | |
34 | any<test_concept> y(2); | |
35 | any<test_concept>& z(x += y); | |
36 | BOOST_CHECK_EQUAL(any_cast<int>(x), 3); | |
37 | BOOST_CHECK_EQUAL(&x, &z); | |
38 | } | |
39 | ||
40 | BOOST_AUTO_TEST_CASE(test_int1) | |
41 | { | |
42 | typedef ::boost::mpl::vector<common<>, add_assignable<_self, int> > test_concept; | |
43 | any<test_concept> x(1); | |
44 | any<test_concept>& z(x += 2); | |
45 | BOOST_CHECK_EQUAL(any_cast<int>(x), 3); | |
46 | BOOST_CHECK_EQUAL(&x, &z); | |
47 | } | |
48 | ||
49 | BOOST_AUTO_TEST_CASE(test_int2) | |
50 | { | |
51 | typedef ::boost::mpl::vector<common<>, add_assignable<int, _self> > test_concept; | |
52 | int x = 1; | |
53 | any<test_concept> y(2); | |
54 | int& z(x += y); | |
55 | BOOST_CHECK_EQUAL(x, 3); | |
56 | BOOST_CHECK_EQUAL(&x, &z); | |
57 | } | |
58 | ||
59 | BOOST_AUTO_TEST_CASE(test_mixed) | |
60 | { | |
61 | typedef ::boost::mpl::vector<common<_a>, common<_b>, add_assignable<_a, _b> > test_concept; | |
62 | tuple<test_concept, _a, _b> t(1.0, 2); | |
63 | any<test_concept, _a> x(get<0>(t)); | |
64 | any<test_concept, _b> y(get<1>(t)); | |
65 | any<test_concept, _a>& z(x += y); | |
66 | BOOST_CHECK_EQUAL(any_cast<double>(x), 3.0); | |
67 | BOOST_CHECK_EQUAL(&x, &z); | |
68 | } | |
69 | ||
70 | BOOST_AUTO_TEST_CASE(test_overload) | |
71 | { | |
72 | typedef ::boost::mpl::vector< | |
73 | common<_a>, | |
74 | common<_b>, | |
75 | add_assignable<_a>, | |
76 | add_assignable<_a, int>, | |
77 | add_assignable<double, _a>, | |
78 | add_assignable<_b>, | |
79 | add_assignable<_b, int>, | |
80 | add_assignable<double, _b>, | |
81 | add_assignable<_a, _b> | |
82 | > test_concept; | |
83 | tuple<test_concept, _a, _b> t(1.0, 2); | |
84 | ||
85 | { | |
86 | any<test_concept, _a> x(get<0>(t)); | |
87 | any<test_concept, _a> y(get<0>(t)); | |
88 | any<test_concept, _a>& z(x += y); | |
89 | BOOST_CHECK_EQUAL(any_cast<double>(x), 2.0); | |
90 | BOOST_CHECK_EQUAL(&x, &z); | |
91 | } | |
92 | ||
93 | { | |
94 | any<test_concept, _a> x(get<0>(t)); | |
95 | int y = 5; | |
96 | any<test_concept, _a>& z(x += y); | |
97 | BOOST_CHECK_EQUAL(any_cast<double>(x), 6.0); | |
98 | BOOST_CHECK_EQUAL(&x, &z); | |
99 | } | |
100 | ||
101 | { | |
102 | double x = 11; | |
103 | any<test_concept, _a> y(get<0>(t)); | |
104 | double& z(x += y); | |
105 | BOOST_CHECK_EQUAL(x, 12); | |
106 | BOOST_CHECK_EQUAL(&x, &z); | |
107 | } | |
108 | ||
109 | { | |
110 | any<test_concept, _b> x(get<1>(t)); | |
111 | any<test_concept, _b> y(get<1>(t)); | |
112 | any<test_concept, _b>& z(x += y); | |
113 | BOOST_CHECK_EQUAL(any_cast<int>(x), 4); | |
114 | BOOST_CHECK_EQUAL(&x, &z); | |
115 | } | |
116 | ||
117 | { | |
118 | any<test_concept, _b> x(get<1>(t)); | |
119 | int y = 5; | |
120 | any<test_concept, _b>& z(x += y); | |
121 | BOOST_CHECK_EQUAL(any_cast<int>(x), 7); | |
122 | BOOST_CHECK_EQUAL(&x, &z); | |
123 | } | |
124 | ||
125 | { | |
126 | double x = 11; | |
127 | any<test_concept, _b> y(get<1>(t)); | |
128 | double& z(x += y); | |
129 | BOOST_CHECK_EQUAL(x, 13); | |
130 | BOOST_CHECK_EQUAL(&x, &z); | |
131 | } | |
132 | ||
133 | { | |
134 | any<test_concept, _a> x(get<0>(t)); | |
135 | any<test_concept, _b> y(get<1>(t)); | |
136 | any<test_concept, _a>& z(x += y); | |
137 | BOOST_CHECK_EQUAL(any_cast<double>(x), 3.0); | |
138 | BOOST_CHECK_EQUAL(&x, &z); | |
139 | } | |
140 | } |