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