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 // integral_constant
13
14 #include <type_traits>
15 #include <cassert>
16
17 #include "test_macros.h"
18
main()19 int main()
20 {
21 typedef std::integral_constant<int, 5> _5;
22 static_assert(_5::value == 5, "");
23 static_assert((std::is_same<_5::value_type, int>::value), "");
24 static_assert((std::is_same<_5::type, _5>::value), "");
25 #if TEST_STD_VER >= 11
26 static_assert((_5() == 5), "");
27 #endif
28 assert(_5() == 5);
29
30
31 #if TEST_STD_VER > 11
32 static_assert ( _5{}() == 5, "" );
33 static_assert ( std::true_type{}(), "" );
34 #endif
35
36 static_assert(std::false_type::value == false, "");
37 static_assert((std::is_same<std::false_type::value_type, bool>::value), "");
38 static_assert((std::is_same<std::false_type::type, std::false_type>::value), "");
39
40 static_assert(std::true_type::value == true, "");
41 static_assert((std::is_same<std::true_type::value_type, bool>::value), "");
42 static_assert((std::is_same<std::true_type::type, std::true_type>::value), "");
43
44 std::false_type f1;
45 std::false_type f2 = f1;
46 assert(!f2);
47
48 std::true_type t1;
49 std::true_type t2 = t1;
50 assert(t2);
51 }
52