| OLD | NEW |
| (Empty) |
| 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 | |
| OLD | NEW |