Home | History | Annotate | Download | only in meta.unary.prop 
      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 // has_virtual_destructor
     13 
     14 #include <type_traits>
     15 
     16 template <class T>
     17 void test_has_virtual_destructor()
     18 {
     19     static_assert( std::has_virtual_destructor<T>::value, "");
     20     static_assert( std::has_virtual_destructor<const T>::value, "");
     21     static_assert( std::has_virtual_destructor<volatile T>::value, "");
     22     static_assert( std::has_virtual_destructor<const volatile T>::value, "");
     23 #if TEST_STD_VER > 14
     24     static_assert( std::has_virtual_destructor_v<T>, "");
     25     static_assert( std::has_virtual_destructor_v<const T>, "");
     26     static_assert( std::has_virtual_destructor_v<volatile T>, "");
     27     static_assert( std::has_virtual_destructor_v<const volatile T>, "");
     28 #endif
     29 }
     30 
     31 template <class T>
     32 void test_has_not_virtual_destructor()
     33 {
     34     static_assert(!std::has_virtual_destructor<T>::value, "");
     35     static_assert(!std::has_virtual_destructor<const T>::value, "");
     36     static_assert(!std::has_virtual_destructor<volatile T>::value, "");
     37     static_assert(!std::has_virtual_destructor<const volatile T>::value, "");
     38 #if TEST_STD_VER > 14
     39     static_assert(!std::has_virtual_destructor_v<T>, "");
     40     static_assert(!std::has_virtual_destructor_v<const T>, "");
     41     static_assert(!std::has_virtual_destructor_v<volatile T>, "");
     42     static_assert(!std::has_virtual_destructor_v<const volatile T>, "");
     43 #endif
     44 }
     45 
     46 class Empty
     47 {
     48 };
     49 
     50 class NotEmpty
     51 {
     52     virtual ~NotEmpty();
     53 };
     54 
     55 union Union {};
     56 
     57 struct bit_zero
     58 {
     59     int :  0;
     60 };
     61 
     62 class Abstract
     63 {
     64     virtual ~Abstract() = 0;
     65 };
     66 
     67 struct A
     68 {
     69     ~A();
     70 };
     71 
     72 int main()
     73 {
     74     test_has_not_virtual_destructor<void>();
     75     test_has_not_virtual_destructor<A>();
     76     test_has_not_virtual_destructor<int&>();
     77     test_has_not_virtual_destructor<Union>();
     78     test_has_not_virtual_destructor<Empty>();
     79     test_has_not_virtual_destructor<int>();
     80     test_has_not_virtual_destructor<double>();
     81     test_has_not_virtual_destructor<int*>();
     82     test_has_not_virtual_destructor<const int*>();
     83     test_has_not_virtual_destructor<char[3]>();
     84     test_has_not_virtual_destructor<char[]>();
     85     test_has_not_virtual_destructor<bit_zero>();
     86 
     87     test_has_virtual_destructor<Abstract>();
     88     test_has_virtual_destructor<NotEmpty>();
     89 }
     90