1
2// Copyright 2017 Peter Dimov.
3//
4// Distributed under the Boost Software License, Version 1.0.
5//
6// See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt
8
9#include <boost/variant2/variant.hpp>
10#include <boost/core/lightweight_test.hpp>
11#include <boost/core/lightweight_test_trait.hpp>
12#include <type_traits>
13#include <utility>
14#include <string>
15
16using namespace boost::variant2;
17
18struct X1
19{
20 static int instances;
21
22 int v;
23
24 X1(): v(0) { ++instances; }
25 explicit X1(int v): v(v) { ++instances; }
26 X1(X1 const& r): v(r.v) { ++instances; }
27 X1(X1&& r): v(r.v) { ++instances; }
28
29 ~X1() noexcept { --instances; }
30
31 X1& operator=( X1 const& r ) { v = r.v; return *this; }
32 X1& operator=( X1&& r ) { v = r.v; return *this; }
33};
34
35int X1::instances = 0;
36
37struct X2
38{
39 static int instances;
40
41 int v;
42
43 X2(): v(0) { ++instances; }
44 explicit X2(int v): v(v) { ++instances; }
45 X2(X2 const& r): v(r.v) { ++instances; }
46 X2(X2&& r): v(r.v) { ++instances; }
47
48 ~X2() noexcept { --instances; }
49
50 X2& operator=( X2 const& r ) { v = r.v; return *this; }
51 X2& operator=( X2&& r ) { v = r.v; return *this; }
52};
53
54int X2::instances = 0;
55
56struct Y1
57{
58 static int instances;
59
60 int v;
61
62 Y1() noexcept: v(0) { ++instances; }
63 explicit Y1(int v) noexcept: v(v) { ++instances; }
64 Y1(Y1 const& r) noexcept: v(r.v) { ++instances; }
65 Y1(Y1&& r) noexcept: v(r.v) { ++instances; }
66
67 ~Y1() noexcept { --instances; }
68
69 Y1& operator=( Y1 const& r ) noexcept { v = r.v; return *this; }
70 Y1& operator=( Y1&& r ) noexcept { v = r.v; return *this; }
71};
72
73int Y1::instances = 0;
74
75struct Y2
76{
77 static int instances;
78
79 int v;
80
81 Y2() noexcept: v(0) { ++instances; }
82 explicit Y2(int v) noexcept: v(v) { ++instances; }
83 Y2(Y2 const& r) noexcept: v(r.v) { ++instances; }
84 Y2(Y2&& r) noexcept: v(r.v) { ++instances; }
85
86 ~Y2() noexcept { --instances; }
87
88 Y2& operator=( Y2 const& r ) noexcept { v = r.v; return *this; }
89 Y2& operator=( Y2&& r ) noexcept { v = r.v; return *this; }
90};
91
92int Y2::instances = 0;
93
94int main()
95{
96 BOOST_TEST_EQ( Y1::instances, 0 );
97
98 {
99 variant<Y1> v;
100 BOOST_TEST_EQ( Y1::instances, 1 );
101
102 {
103 variant<Y1> v2;
104 BOOST_TEST_EQ( Y1::instances, 2 );
105
106 v = v2;
107 BOOST_TEST_EQ( Y1::instances, 2 );
108 }
109
110 BOOST_TEST_EQ( Y1::instances, 1 );
111
112 v = Y1{1};
113 BOOST_TEST_EQ( Y1::instances, 1 );
114 }
115
116 BOOST_TEST_EQ( Y1::instances, 0 );
117 BOOST_TEST_EQ( Y2::instances, 0 );
118
119 {
120 variant<Y1, Y2> v;
121
122 BOOST_TEST_EQ( Y1::instances, 1 );
123 BOOST_TEST_EQ( Y2::instances, 0 );
124
125 {
126 variant<Y1, Y2> v2;
127 BOOST_TEST_EQ( Y1::instances, 2 );
128 BOOST_TEST_EQ( Y2::instances, 0 );
129
130 v = v2;
131 BOOST_TEST_EQ( Y1::instances, 2 );
132 BOOST_TEST_EQ( Y2::instances, 0 );
133
134 v2 = Y2{1};
135 BOOST_TEST_EQ( Y1::instances, 1 );
136 BOOST_TEST_EQ( Y2::instances, 1 );
137
138 v = v2;
139 BOOST_TEST_EQ( Y1::instances, 0 );
140 BOOST_TEST_EQ( Y2::instances, 2 );
141 }
142
143 BOOST_TEST_EQ( Y1::instances, 0 );
144 BOOST_TEST_EQ( Y2::instances, 1 );
145
146 v.emplace<0>();
147
148 BOOST_TEST_EQ( Y1::instances, 1 );
149 BOOST_TEST_EQ( Y2::instances, 0 );
150
151 v.emplace<Y2>();
152
153 BOOST_TEST_EQ( Y1::instances, 0 );
154 BOOST_TEST_EQ( Y2::instances, 1 );
155 }
156
157 BOOST_TEST_EQ( Y1::instances, 0 );
158 BOOST_TEST_EQ( Y2::instances, 0 );
159
160 BOOST_TEST_EQ( X1::instances, 0 );
161 BOOST_TEST_EQ( X2::instances, 0 );
162
163 {
164 variant<X1, X2> v;
165
166 BOOST_TEST_EQ( X1::instances, 1 );
167 BOOST_TEST_EQ( X2::instances, 0 );
168
169 {
170 variant<X1, X2> v2;
171 BOOST_TEST_EQ( X1::instances, 2 );
172 BOOST_TEST_EQ( X2::instances, 0 );
173
174 v = v2;
175 BOOST_TEST_EQ( X1::instances, 2 );
176 BOOST_TEST_EQ( X2::instances, 0 );
177
178 v2 = X2{1};
179 BOOST_TEST_EQ( X1::instances, 1 );
180 BOOST_TEST_EQ( X2::instances, 1 );
181
182 v = v2;
183 BOOST_TEST_EQ( X1::instances, 0 );
184 BOOST_TEST_EQ( X2::instances, 2 );
185 }
186
187 BOOST_TEST_EQ( X1::instances, 0 );
188 BOOST_TEST_EQ( X2::instances, 1 );
189
190 v.emplace<0>();
191
192 BOOST_TEST_EQ( X1::instances, 1 );
193 BOOST_TEST_EQ( X2::instances, 0 );
194
195 v.emplace<X2>();
196
197 BOOST_TEST_EQ( X1::instances, 0 );
198 BOOST_TEST_EQ( X2::instances, 1 );
199 }
200
201 BOOST_TEST_EQ( X1::instances, 0 );
202 BOOST_TEST_EQ( X2::instances, 0 );
203
204 return boost::report_errors();
205}
206

source code of boost/libs/variant2/test/variant_destroy.cpp