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 // template <class T, class... Args> 13 // struct is_nothrow_constructible; 14 15 #include <type_traits> 16 17 template <class T> 18 void test_is_nothrow_constructible() 19 { 20 static_assert(( std::is_nothrow_constructible<T>::value), ""); 21 } 22 23 template <class T, class A0> 24 void test_is_nothrow_constructible() 25 { 26 static_assert(( std::is_nothrow_constructible<T, A0>::value), ""); 27 } 28 29 template <class T> 30 void test_is_not_nothrow_constructible() 31 { 32 static_assert((!std::is_nothrow_constructible<T>::value), ""); 33 } 34 35 template <class T, class A0> 36 void test_is_not_nothrow_constructible() 37 { 38 static_assert((!std::is_nothrow_constructible<T, A0>::value), ""); 39 } 40 41 template <class T, class A0, class A1> 42 void test_is_not_nothrow_constructible() 43 { 44 static_assert((!std::is_nothrow_constructible<T, A0, A1>::value), ""); 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(const A&); 71 }; 72 73 struct C 74 { 75 C(C&); // not const 76 void operator=(C&); // not const 77 }; 78 79 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 80 struct Tuple { 81 Tuple(Empty&&) noexcept {} 82 }; 83 #endif 84 85 int main() 86 { 87 test_is_nothrow_constructible<int> (); 88 test_is_nothrow_constructible<int, const int&> (); 89 test_is_nothrow_constructible<Empty> (); 90 test_is_nothrow_constructible<Empty, const Empty&> (); 91 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 92 test_is_nothrow_constructible<Tuple &&, Empty> (); // See bug #19616. 93 #endif 94 95 test_is_not_nothrow_constructible<A, int> (); 96 test_is_not_nothrow_constructible<A, int, double> (); 97 test_is_not_nothrow_constructible<A> (); 98 test_is_not_nothrow_constructible<C> (); 99 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 100 static_assert(!std::is_constructible<Tuple&, Empty>::value, ""); 101 test_is_not_nothrow_constructible<Tuple &, Empty> (); // See bug #19616. 102 #endif 103 } 104
