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