1 //===- llvm/unittest/ADT/OptionalTest.cpp - Optional unit tests -----------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "gtest/gtest.h"
11 #include "llvm/ADT/Optional.h"
16 struct NonDefaultConstructible {
17 static unsigned CopyConstructions;
18 static unsigned Destructions;
19 static unsigned CopyAssignments;
20 explicit NonDefaultConstructible(int) {
22 NonDefaultConstructible(const NonDefaultConstructible&) {
25 NonDefaultConstructible &operator=(const NonDefaultConstructible&) {
29 ~NonDefaultConstructible() {
32 static void ResetCounts() {
33 CopyConstructions = 0;
39 unsigned NonDefaultConstructible::CopyConstructions = 0;
40 unsigned NonDefaultConstructible::Destructions = 0;
41 unsigned NonDefaultConstructible::CopyAssignments = 0;
44 class OptionalTest : public testing::Test {
47 TEST_F(OptionalTest, NonDefaultConstructibleTest) {
48 Optional<NonDefaultConstructible> O;
52 TEST_F(OptionalTest, ResetTest) {
53 NonDefaultConstructible::ResetCounts();
54 Optional<NonDefaultConstructible> O(NonDefaultConstructible(3));
55 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
56 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
57 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
58 NonDefaultConstructible::ResetCounts();
60 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
61 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
62 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
65 TEST_F(OptionalTest, InitializationLeakTest) {
66 NonDefaultConstructible::ResetCounts();
67 Optional<NonDefaultConstructible>(NonDefaultConstructible(3));
68 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
69 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
70 EXPECT_EQ(2u, NonDefaultConstructible::Destructions);
73 TEST_F(OptionalTest, CopyConstructionTest) {
74 NonDefaultConstructible::ResetCounts();
76 Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));
77 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
78 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
79 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
80 NonDefaultConstructible::ResetCounts();
81 Optional<NonDefaultConstructible> B(A);
82 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
83 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
84 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
85 NonDefaultConstructible::ResetCounts();
87 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
88 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
89 EXPECT_EQ(2u, NonDefaultConstructible::Destructions);
92 TEST_F(OptionalTest, ConstructingCopyAssignmentTest) {
93 NonDefaultConstructible::ResetCounts();
95 Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));
96 Optional<NonDefaultConstructible> B;
97 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
98 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
99 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
100 NonDefaultConstructible::ResetCounts();
102 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
103 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
104 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
105 NonDefaultConstructible::ResetCounts();
107 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
108 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
109 EXPECT_EQ(2u, NonDefaultConstructible::Destructions);
112 TEST_F(OptionalTest, CopyingCopyAssignmentTest) {
113 NonDefaultConstructible::ResetCounts();
115 Optional<NonDefaultConstructible> A(NonDefaultConstructible(3));
116 Optional<NonDefaultConstructible> B(NonDefaultConstructible(4));
117 EXPECT_EQ(2u, NonDefaultConstructible::CopyConstructions);
118 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
119 EXPECT_EQ(2u, NonDefaultConstructible::Destructions);
120 NonDefaultConstructible::ResetCounts();
122 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
123 EXPECT_EQ(1u, NonDefaultConstructible::CopyAssignments);
124 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
125 NonDefaultConstructible::ResetCounts();
127 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
128 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
129 EXPECT_EQ(2u, NonDefaultConstructible::Destructions);
132 TEST_F(OptionalTest, DeletingCopyAssignmentTest) {
133 NonDefaultConstructible::ResetCounts();
135 Optional<NonDefaultConstructible> A;
136 Optional<NonDefaultConstructible> B(NonDefaultConstructible(3));
137 EXPECT_EQ(1u, NonDefaultConstructible::CopyConstructions);
138 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
139 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
140 NonDefaultConstructible::ResetCounts();
142 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
143 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
144 EXPECT_EQ(1u, NonDefaultConstructible::Destructions);
145 NonDefaultConstructible::ResetCounts();
147 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
148 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
149 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
152 TEST_F(OptionalTest, NullCopyConstructionTest) {
153 NonDefaultConstructible::ResetCounts();
155 Optional<NonDefaultConstructible> A;
156 Optional<NonDefaultConstructible> B;
157 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
158 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
159 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
160 NonDefaultConstructible::ResetCounts();
162 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
163 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
164 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
165 NonDefaultConstructible::ResetCounts();
167 EXPECT_EQ(0u, NonDefaultConstructible::CopyConstructions);
168 EXPECT_EQ(0u, NonDefaultConstructible::CopyAssignments);
169 EXPECT_EQ(0u, NonDefaultConstructible::Destructions);
172 TEST_F(OptionalTest, GetValueOr) {
174 EXPECT_EQ(42, A.getValueOr(42));
177 EXPECT_EQ(5, A.getValueOr(42));
181 static unsigned MoveConstructions;
182 static unsigned Destructions;
183 static unsigned MoveAssignments;
185 explicit MoveOnly(int val) : val(val) {
187 MoveOnly(MoveOnly&& other) {
191 MoveOnly &operator=(MoveOnly&& other) {
199 static void ResetCounts() {
200 MoveConstructions = 0;
206 unsigned MoveOnly::MoveConstructions = 0;
207 unsigned MoveOnly::Destructions = 0;
208 unsigned MoveOnly::MoveAssignments = 0;
210 TEST_F(OptionalTest, MoveOnlyNull) {
211 MoveOnly::ResetCounts();
212 Optional<MoveOnly> O;
213 EXPECT_EQ(0u, MoveOnly::MoveConstructions);
214 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
215 EXPECT_EQ(0u, MoveOnly::Destructions);
218 TEST_F(OptionalTest, MoveOnlyConstruction) {
219 MoveOnly::ResetCounts();
220 Optional<MoveOnly> O(MoveOnly(3));
221 EXPECT_TRUE((bool)O);
222 EXPECT_EQ(3, O->val);
223 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
224 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
225 EXPECT_EQ(1u, MoveOnly::Destructions);
228 TEST_F(OptionalTest, MoveOnlyMoveConstruction) {
229 Optional<MoveOnly> A(MoveOnly(3));
230 MoveOnly::ResetCounts();
231 Optional<MoveOnly> B(std::move(A));
232 EXPECT_FALSE((bool)A);
233 EXPECT_TRUE((bool)B);
234 EXPECT_EQ(3, B->val);
235 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
236 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
237 EXPECT_EQ(1u, MoveOnly::Destructions);
240 TEST_F(OptionalTest, MoveOnlyAssignment) {
241 MoveOnly::ResetCounts();
242 Optional<MoveOnly> O;
244 EXPECT_TRUE((bool)O);
245 EXPECT_EQ(3, O->val);
246 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
247 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
248 EXPECT_EQ(1u, MoveOnly::Destructions);
251 TEST_F(OptionalTest, MoveOnlyInitializingAssignment) {
252 Optional<MoveOnly> A(MoveOnly(3));
253 Optional<MoveOnly> B;
254 MoveOnly::ResetCounts();
256 EXPECT_FALSE((bool)A);
257 EXPECT_TRUE((bool)B);
258 EXPECT_EQ(3, B->val);
259 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
260 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
261 EXPECT_EQ(1u, MoveOnly::Destructions);
264 TEST_F(OptionalTest, MoveOnlyNullingAssignment) {
265 Optional<MoveOnly> A;
266 Optional<MoveOnly> B(MoveOnly(3));
267 MoveOnly::ResetCounts();
269 EXPECT_FALSE((bool)A);
270 EXPECT_FALSE((bool)B);
271 EXPECT_EQ(0u, MoveOnly::MoveConstructions);
272 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
273 EXPECT_EQ(1u, MoveOnly::Destructions);
276 TEST_F(OptionalTest, MoveOnlyAssigningAssignment) {
277 Optional<MoveOnly> A(MoveOnly(3));
278 Optional<MoveOnly> B(MoveOnly(4));
279 MoveOnly::ResetCounts();
281 EXPECT_FALSE((bool)A);
282 EXPECT_TRUE((bool)B);
283 EXPECT_EQ(3, B->val);
284 EXPECT_EQ(0u, MoveOnly::MoveConstructions);
285 EXPECT_EQ(1u, MoveOnly::MoveAssignments);
286 EXPECT_EQ(1u, MoveOnly::Destructions);
289 #if LLVM_HAS_RVALUE_REFERENCE_THIS
291 TEST_F(OptionalTest, MoveGetValueOr) {
292 Optional<MoveOnly> A;
294 MoveOnly::ResetCounts();
295 EXPECT_EQ(42, std::move(A).getValueOr(MoveOnly(42)).val);
296 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
297 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
298 EXPECT_EQ(2u, MoveOnly::Destructions);
301 MoveOnly::ResetCounts();
302 EXPECT_EQ(5, std::move(A).getValueOr(MoveOnly(42)).val);
303 EXPECT_EQ(1u, MoveOnly::MoveConstructions);
304 EXPECT_EQ(0u, MoveOnly::MoveAssignments);
305 EXPECT_EQ(2u, MoveOnly::Destructions);
308 #endif // LLVM_HAS_RVALUE_REFERENCE_THIS
310 } // end anonymous namespace