|
1 // Copyright 2007, Google Inc. |
|
2 // All rights reserved. |
|
3 // |
|
4 // Redistribution and use in source and binary forms, with or without |
|
5 // modification, are permitted provided that the following conditions are |
|
6 // met: |
|
7 // |
|
8 // * Redistributions of source code must retain the above copyright |
|
9 // notice, this list of conditions and the following disclaimer. |
|
10 // * Redistributions in binary form must reproduce the above |
|
11 // copyright notice, this list of conditions and the following disclaimer |
|
12 // in the documentation and/or other materials provided with the |
|
13 // distribution. |
|
14 // * Neither the name of Google Inc. nor the names of its |
|
15 // contributors may be used to endorse or promote products derived from |
|
16 // this software without specific prior written permission. |
|
17 // |
|
18 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
|
19 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
|
20 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
|
21 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
|
22 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
|
23 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
|
24 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
|
25 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
|
26 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
|
27 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
|
28 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
|
29 // |
|
30 // Author: wan@google.com (Zhanyong Wan) |
|
31 |
|
32 #include "gtest/internal/gtest-tuple.h" |
|
33 #include <utility> |
|
34 #include "gtest/gtest.h" |
|
35 |
|
36 namespace { |
|
37 |
|
38 using ::std::tr1::get; |
|
39 using ::std::tr1::make_tuple; |
|
40 using ::std::tr1::tuple; |
|
41 using ::std::tr1::tuple_element; |
|
42 using ::std::tr1::tuple_size; |
|
43 using ::testing::StaticAssertTypeEq; |
|
44 |
|
45 // Tests that tuple_element<K, tuple<T0, T1, ..., TN> >::type returns TK. |
|
46 TEST(tuple_element_Test, ReturnsElementType) { |
|
47 StaticAssertTypeEq<int, tuple_element<0, tuple<int, char> >::type>(); |
|
48 StaticAssertTypeEq<int&, tuple_element<1, tuple<double, int&> >::type>(); |
|
49 StaticAssertTypeEq<bool, tuple_element<2, tuple<double, int, bool> >::type>(); |
|
50 } |
|
51 |
|
52 // Tests that tuple_size<T>::value gives the number of fields in tuple |
|
53 // type T. |
|
54 TEST(tuple_size_Test, ReturnsNumberOfFields) { |
|
55 EXPECT_EQ(0, +tuple_size<tuple<> >::value); |
|
56 EXPECT_EQ(1, +tuple_size<tuple<void*> >::value); |
|
57 EXPECT_EQ(1, +tuple_size<tuple<char> >::value); |
|
58 EXPECT_EQ(1, +(tuple_size<tuple<tuple<int, double> > >::value)); |
|
59 EXPECT_EQ(2, +(tuple_size<tuple<int&, const char> >::value)); |
|
60 EXPECT_EQ(3, +(tuple_size<tuple<char*, void, const bool&> >::value)); |
|
61 } |
|
62 |
|
63 // Tests comparing a tuple with itself. |
|
64 TEST(ComparisonTest, ComparesWithSelf) { |
|
65 const tuple<int, char, bool> a(5, 'a', false); |
|
66 |
|
67 EXPECT_TRUE(a == a); |
|
68 EXPECT_FALSE(a != a); |
|
69 } |
|
70 |
|
71 // Tests comparing two tuples with the same value. |
|
72 TEST(ComparisonTest, ComparesEqualTuples) { |
|
73 const tuple<int, bool> a(5, true), b(5, true); |
|
74 |
|
75 EXPECT_TRUE(a == b); |
|
76 EXPECT_FALSE(a != b); |
|
77 } |
|
78 |
|
79 // Tests comparing two different tuples that have no reference fields. |
|
80 TEST(ComparisonTest, ComparesUnequalTuplesWithoutReferenceFields) { |
|
81 typedef tuple<const int, char> FooTuple; |
|
82 |
|
83 const FooTuple a(0, 'x'); |
|
84 const FooTuple b(1, 'a'); |
|
85 |
|
86 EXPECT_TRUE(a != b); |
|
87 EXPECT_FALSE(a == b); |
|
88 |
|
89 const FooTuple c(1, 'b'); |
|
90 |
|
91 EXPECT_TRUE(b != c); |
|
92 EXPECT_FALSE(b == c); |
|
93 } |
|
94 |
|
95 // Tests comparing two different tuples that have reference fields. |
|
96 TEST(ComparisonTest, ComparesUnequalTuplesWithReferenceFields) { |
|
97 typedef tuple<int&, const char&> FooTuple; |
|
98 |
|
99 int i = 5; |
|
100 const char ch = 'a'; |
|
101 const FooTuple a(i, ch); |
|
102 |
|
103 int j = 6; |
|
104 const FooTuple b(j, ch); |
|
105 |
|
106 EXPECT_TRUE(a != b); |
|
107 EXPECT_FALSE(a == b); |
|
108 |
|
109 j = 5; |
|
110 const char ch2 = 'b'; |
|
111 const FooTuple c(j, ch2); |
|
112 |
|
113 EXPECT_TRUE(b != c); |
|
114 EXPECT_FALSE(b == c); |
|
115 } |
|
116 |
|
117 // Tests that a tuple field with a reference type is an alias of the |
|
118 // variable it's supposed to reference. |
|
119 TEST(ReferenceFieldTest, IsAliasOfReferencedVariable) { |
|
120 int n = 0; |
|
121 tuple<bool, int&> t(true, n); |
|
122 |
|
123 n = 1; |
|
124 EXPECT_EQ(n, get<1>(t)) |
|
125 << "Changing a underlying variable should update the reference field."; |
|
126 |
|
127 // Makes sure that the implementation doesn't do anything funny with |
|
128 // the & operator for the return type of get<>(). |
|
129 EXPECT_EQ(&n, &(get<1>(t))) |
|
130 << "The address of a reference field should equal the address of " |
|
131 << "the underlying variable."; |
|
132 |
|
133 get<1>(t) = 2; |
|
134 EXPECT_EQ(2, n) |
|
135 << "Changing a reference field should update the underlying variable."; |
|
136 } |
|
137 |
|
138 // Tests that tuple's default constructor default initializes each field. |
|
139 // This test needs to compile without generating warnings. |
|
140 TEST(TupleConstructorTest, DefaultConstructorDefaultInitializesEachField) { |
|
141 // The TR1 report requires that tuple's default constructor default |
|
142 // initializes each field, even if it's a primitive type. If the |
|
143 // implementation forgets to do this, this test will catch it by |
|
144 // generating warnings about using uninitialized variables (assuming |
|
145 // a decent compiler). |
|
146 |
|
147 tuple<> empty; |
|
148 |
|
149 tuple<int> a1, b1; |
|
150 b1 = a1; |
|
151 EXPECT_EQ(0, get<0>(b1)); |
|
152 |
|
153 tuple<int, double> a2, b2; |
|
154 b2 = a2; |
|
155 EXPECT_EQ(0, get<0>(b2)); |
|
156 EXPECT_EQ(0.0, get<1>(b2)); |
|
157 |
|
158 tuple<double, char, bool*> a3, b3; |
|
159 b3 = a3; |
|
160 EXPECT_EQ(0.0, get<0>(b3)); |
|
161 EXPECT_EQ('\0', get<1>(b3)); |
|
162 EXPECT_TRUE(get<2>(b3) == NULL); |
|
163 |
|
164 tuple<int, int, int, int, int, int, int, int, int, int> a10, b10; |
|
165 b10 = a10; |
|
166 EXPECT_EQ(0, get<0>(b10)); |
|
167 EXPECT_EQ(0, get<1>(b10)); |
|
168 EXPECT_EQ(0, get<2>(b10)); |
|
169 EXPECT_EQ(0, get<3>(b10)); |
|
170 EXPECT_EQ(0, get<4>(b10)); |
|
171 EXPECT_EQ(0, get<5>(b10)); |
|
172 EXPECT_EQ(0, get<6>(b10)); |
|
173 EXPECT_EQ(0, get<7>(b10)); |
|
174 EXPECT_EQ(0, get<8>(b10)); |
|
175 EXPECT_EQ(0, get<9>(b10)); |
|
176 } |
|
177 |
|
178 // Tests constructing a tuple from its fields. |
|
179 TEST(TupleConstructorTest, ConstructsFromFields) { |
|
180 int n = 1; |
|
181 // Reference field. |
|
182 tuple<int&> a(n); |
|
183 EXPECT_EQ(&n, &(get<0>(a))); |
|
184 |
|
185 // Non-reference fields. |
|
186 tuple<int, char> b(5, 'a'); |
|
187 EXPECT_EQ(5, get<0>(b)); |
|
188 EXPECT_EQ('a', get<1>(b)); |
|
189 |
|
190 // Const reference field. |
|
191 const int m = 2; |
|
192 tuple<bool, const int&> c(true, m); |
|
193 EXPECT_TRUE(get<0>(c)); |
|
194 EXPECT_EQ(&m, &(get<1>(c))); |
|
195 } |
|
196 |
|
197 // Tests tuple's copy constructor. |
|
198 TEST(TupleConstructorTest, CopyConstructor) { |
|
199 tuple<double, bool> a(0.0, true); |
|
200 tuple<double, bool> b(a); |
|
201 |
|
202 EXPECT_DOUBLE_EQ(0.0, get<0>(b)); |
|
203 EXPECT_TRUE(get<1>(b)); |
|
204 } |
|
205 |
|
206 // Tests constructing a tuple from another tuple that has a compatible |
|
207 // but different type. |
|
208 TEST(TupleConstructorTest, ConstructsFromDifferentTupleType) { |
|
209 tuple<int, int, char> a(0, 1, 'a'); |
|
210 tuple<double, long, int> b(a); |
|
211 |
|
212 EXPECT_DOUBLE_EQ(0.0, get<0>(b)); |
|
213 EXPECT_EQ(1, get<1>(b)); |
|
214 EXPECT_EQ('a', get<2>(b)); |
|
215 } |
|
216 |
|
217 // Tests constructing a 2-tuple from an std::pair. |
|
218 TEST(TupleConstructorTest, ConstructsFromPair) { |
|
219 ::std::pair<int, char> a(1, 'a'); |
|
220 tuple<int, char> b(a); |
|
221 tuple<int, const char&> c(a); |
|
222 } |
|
223 |
|
224 // Tests assigning a tuple to another tuple with the same type. |
|
225 TEST(TupleAssignmentTest, AssignsToSameTupleType) { |
|
226 const tuple<int, long> a(5, 7L); |
|
227 tuple<int, long> b; |
|
228 b = a; |
|
229 EXPECT_EQ(5, get<0>(b)); |
|
230 EXPECT_EQ(7L, get<1>(b)); |
|
231 } |
|
232 |
|
233 // Tests assigning a tuple to another tuple with a different but |
|
234 // compatible type. |
|
235 TEST(TupleAssignmentTest, AssignsToDifferentTupleType) { |
|
236 const tuple<int, long, bool> a(1, 7L, true); |
|
237 tuple<long, int, bool> b; |
|
238 b = a; |
|
239 EXPECT_EQ(1L, get<0>(b)); |
|
240 EXPECT_EQ(7, get<1>(b)); |
|
241 EXPECT_TRUE(get<2>(b)); |
|
242 } |
|
243 |
|
244 // Tests assigning an std::pair to a 2-tuple. |
|
245 TEST(TupleAssignmentTest, AssignsFromPair) { |
|
246 const ::std::pair<int, bool> a(5, true); |
|
247 tuple<int, bool> b; |
|
248 b = a; |
|
249 EXPECT_EQ(5, get<0>(b)); |
|
250 EXPECT_TRUE(get<1>(b)); |
|
251 |
|
252 tuple<long, bool> c; |
|
253 c = a; |
|
254 EXPECT_EQ(5L, get<0>(c)); |
|
255 EXPECT_TRUE(get<1>(c)); |
|
256 } |
|
257 |
|
258 // A fixture for testing big tuples. |
|
259 class BigTupleTest : public testing::Test { |
|
260 protected: |
|
261 typedef tuple<int, int, int, int, int, int, int, int, int, int> BigTuple; |
|
262 |
|
263 BigTupleTest() : |
|
264 a_(1, 0, 0, 0, 0, 0, 0, 0, 0, 2), |
|
265 b_(1, 0, 0, 0, 0, 0, 0, 0, 0, 3) {} |
|
266 |
|
267 BigTuple a_, b_; |
|
268 }; |
|
269 |
|
270 // Tests constructing big tuples. |
|
271 TEST_F(BigTupleTest, Construction) { |
|
272 BigTuple a; |
|
273 BigTuple b(b_); |
|
274 } |
|
275 |
|
276 // Tests that get<N>(t) returns the N-th (0-based) field of tuple t. |
|
277 TEST_F(BigTupleTest, get) { |
|
278 EXPECT_EQ(1, get<0>(a_)); |
|
279 EXPECT_EQ(2, get<9>(a_)); |
|
280 |
|
281 // Tests that get() works on a const tuple too. |
|
282 const BigTuple a(a_); |
|
283 EXPECT_EQ(1, get<0>(a)); |
|
284 EXPECT_EQ(2, get<9>(a)); |
|
285 } |
|
286 |
|
287 // Tests comparing big tuples. |
|
288 TEST_F(BigTupleTest, Comparisons) { |
|
289 EXPECT_TRUE(a_ == a_); |
|
290 EXPECT_FALSE(a_ != a_); |
|
291 |
|
292 EXPECT_TRUE(a_ != b_); |
|
293 EXPECT_FALSE(a_ == b_); |
|
294 } |
|
295 |
|
296 TEST(MakeTupleTest, WorksForScalarTypes) { |
|
297 tuple<bool, int> a; |
|
298 a = make_tuple(true, 5); |
|
299 EXPECT_TRUE(get<0>(a)); |
|
300 EXPECT_EQ(5, get<1>(a)); |
|
301 |
|
302 tuple<char, int, long> b; |
|
303 b = make_tuple('a', 'b', 5); |
|
304 EXPECT_EQ('a', get<0>(b)); |
|
305 EXPECT_EQ('b', get<1>(b)); |
|
306 EXPECT_EQ(5, get<2>(b)); |
|
307 } |
|
308 |
|
309 TEST(MakeTupleTest, WorksForPointers) { |
|
310 int a[] = { 1, 2, 3, 4 }; |
|
311 const char* const str = "hi"; |
|
312 int* const p = a; |
|
313 |
|
314 tuple<const char*, int*> t; |
|
315 t = make_tuple(str, p); |
|
316 EXPECT_EQ(str, get<0>(t)); |
|
317 EXPECT_EQ(p, get<1>(t)); |
|
318 } |
|
319 |
|
320 } // namespace |