123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134 |
- // Copyright 2005 Google Inc.
- // All rights reserved.
- //
- // Redistribution and use in source and binary forms, with or without
- // modification, are permitted provided that the following conditions are
- // met:
- //
- // * Redistributions of source code must retain the above copyright
- // notice, this list of conditions and the following disclaimer.
- // * Redistributions in binary form must reproduce the above
- // copyright notice, this list of conditions and the following disclaimer
- // in the documentation and/or other materials provided with the
- // distribution.
- // * Neither the name of Google Inc. nor the names of its
- // contributors may be used to endorse or promote products derived from
- // this software without specific prior written permission.
- //
- // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
- // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
- // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
- // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
- // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
- // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
- // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- // ----
- //
- // These tests are really compile time tests.
- // If you try to step through this in a debugger
- // you will not see any evaluations, merely that
- // value is assigned true or false sequentially.
- #include <sparsehash/internal/sparseconfig.h>
- #include <config.h>
- #include <sparsehash/template_util.h>
- #include "testutil.h"
- using namespace GOOGLE_NAMESPACE;
- namespace {
- TEST(TemplateUtilTest, TestSize) {
- EXPECT_GT(sizeof(GOOGLE_NAMESPACE::big_), sizeof(GOOGLE_NAMESPACE::small_));
- }
- TEST(TemplateUtilTest, TestIntegralConstants) {
- // test the built-in types.
- EXPECT_TRUE(true_type::value);
- EXPECT_FALSE(false_type::value);
- typedef integral_constant<int, 1> one_type;
- EXPECT_EQ(1, one_type::value);
- }
- TEST(TemplateUtilTest, TestTemplateIf) {
- typedef if_<true, true_type, false_type>::type if_true;
- EXPECT_TRUE(if_true::value);
- typedef if_<false, true_type, false_type>::type if_false;
- EXPECT_FALSE(if_false::value);
- }
- TEST(TemplateUtilTest, TestTemplateTypeEquals) {
- // Check that the TemplateTypeEquals works correctly.
- bool value = false;
- // Test the same type is true.
- value = type_equals_<int, int>::value;
- EXPECT_TRUE(value);
- // Test different types are false.
- value = type_equals_<float, int>::value;
- EXPECT_FALSE(value);
- // Test type aliasing.
- typedef const int foo;
- value = type_equals_<const foo, const int>::value;
- EXPECT_TRUE(value);
- }
- TEST(TemplateUtilTest, TestTemplateAndOr) {
- // Check that the TemplateTypeEquals works correctly.
- bool value = false;
- // Yes && Yes == true.
- value = and_<true_, true_>::value;
- EXPECT_TRUE(value);
- // Yes && No == false.
- value = and_<true_, false_>::value;
- EXPECT_FALSE(value);
- // No && Yes == false.
- value = and_<false_, true_>::value;
- EXPECT_FALSE(value);
- // No && No == false.
- value = and_<false_, false_>::value;
- EXPECT_FALSE(value);
- // Yes || Yes == true.
- value = or_<true_, true_>::value;
- EXPECT_TRUE(value);
- // Yes || No == true.
- value = or_<true_, false_>::value;
- EXPECT_TRUE(value);
- // No || Yes == true.
- value = or_<false_, true_>::value;
- EXPECT_TRUE(value);
- // No || No == false.
- value = or_<false_, false_>::value;
- EXPECT_FALSE(value);
- }
- TEST(TemplateUtilTest, TestIdentity) {
- EXPECT_TRUE(
- (type_equals_<GOOGLE_NAMESPACE::identity_<int>::type, int>::value));
- EXPECT_TRUE(
- (type_equals_<GOOGLE_NAMESPACE::identity_<void>::type, void>::value));
- }
- } // namespace
- #include <iostream>
- int main(int, char **) {
- // All the work is done in the static constructors. If they don't
- // die, the tests have all passed.
- std::cout << "PASS\n";
- return 0;
- }
|