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