src/third_party/libc++/trunk/test/utilities/meta/meta.unary/meta.unary.prop/is_final.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // type_traits
  11
  12 // is_final
  13
  14 #include <type_traits>
  15
  16 #if _LIBCPP_STD_VER > 11
  17
  18 struct P final { };
  19 union U1 { };
  20 union U2 final { };
  21
  22 template <class T>
  23 void test_is_final()
  24 {
  25     static_assert( std::is_final<T>::value, "");
  26     static_assert( std::is_final<const T>::value, "");
  27     static_assert( std::is_final<volatile T>::value, "");
  28     static_assert( std::is_final<const volatile T>::value, "");
  29 }
  30
  31 template <class T>
  32 void test_is_not_final()
  33 {
  34     static_assert(!std::is_final<T>::value, "");
  35     static_assert(!std::is_final<const T>::value, "");
  36     static_assert(!std::is_final<volatile T>::value, "");
  37     static_assert(!std::is_final<const volatile T>::value, "");
  38 }
  39
  40 int main ()
  41 {
  42     test_is_not_final<int>();
  43     test_is_not_final<int*>();
  44     test_is_final    <P>();
  45     test_is_not_final<P*>();
  46     test_is_not_final<U1>();
  47     test_is_not_final<U1*>();
  48     test_is_final    <U2>();
  49     test_is_not_final<U2*>();
  50 }
  51 #else
  52 int main () {}
  53 #endif