folly/lang/test/ColdClassTest.cpp

   1 /*
   2  * Copyright 2004-present Facebook, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *   http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 #include <folly/lang/ColdClass.h>
  18
  19 #include <folly/portability/GTest.h>
  20 #include <type_traits>
  21
  22 using folly::ColdClass;
  23
  24 template <class TestClass>
  25 static void validateInheritedClass() {
  26   // The only verifiable property of ColdClass is that it must not disrupt the
  27   // default constructor/destructor, default copy/move constructors and default
  28   // copy/move assignment operators when a class derives from it.
  29   EXPECT_TRUE(std::is_nothrow_default_constructible<TestClass>::value);
  30 #if !defined(__GLIBCXX__) || __GNUC__ >= 5
  31   EXPECT_TRUE(std::is_trivially_copy_constructible<TestClass>::value);
  32   EXPECT_TRUE(std::is_trivially_move_constructible<TestClass>::value);
  33   EXPECT_TRUE(std::is_trivially_copy_assignable<TestClass>::value);
  34   EXPECT_TRUE(std::is_trivially_move_assignable<TestClass>::value);
  35 #endif
  36   EXPECT_TRUE(std::is_nothrow_copy_constructible<TestClass>::value);
  37   EXPECT_TRUE(std::is_nothrow_move_constructible<TestClass>::value);
  38   EXPECT_TRUE(std::is_nothrow_copy_assignable<TestClass>::value);
  39   EXPECT_TRUE(std::is_nothrow_move_assignable<TestClass>::value);
  40   EXPECT_TRUE(std::is_trivially_destructible<TestClass>::value);
  41 }
  42
  43 TEST(ColdClassTest, publicInheritance) {
  44   struct TestPublic : ColdClass {};
  45   validateInheritedClass<TestPublic>();
  46 }
  47
  48 TEST(ColdClassTest, protectedInheritance) {
  49   // Same again, but protected inheritance. Should make no difference.
  50   class TestProtected : protected ColdClass {};
  51   validateInheritedClass<TestProtected>();
  52 }
  53
  54 TEST(ColdClassTest, privateInheritance) {
  55   // Same again, but private inheritance. Should make no difference.
  56   class TestPrivate : ColdClass {};
  57   validateInheritedClass<TestPrivate>();
  58 }