1 | //===----------------------------------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | // UNSUPPORTED: c++03, c++11, c++14 |
10 | // type_traits |
11 | |
12 | // template<class... B> struct conjunction; // C++17 |
13 | // template<class... B> |
14 | // constexpr bool conjunction_v = conjunction<B...>::value; // C++17 |
15 | |
16 | #include <cassert> |
17 | #include <type_traits> |
18 | |
19 | #include "test_macros.h" |
20 | |
21 | struct True { static constexpr bool value = true; }; |
22 | struct False { static constexpr bool value = false; }; |
23 | |
24 | struct MySpecialTrueType { static constexpr auto value = true; static constexpr auto MySpecial = 23; }; |
25 | struct MyOtherSpecialTrueType { static constexpr auto value = -1; static constexpr auto MySpecial = 46; }; |
26 | struct MySpecialFalseType { static constexpr auto value = false; static constexpr auto MySpecial = 37; }; |
27 | struct HasNoValue {}; |
28 | struct ExplicitlyConvertibleToBool { explicit constexpr operator bool() const { return true; } }; |
29 | struct ValueExplicitlyConvertible { static constexpr ExplicitlyConvertibleToBool value {}; }; |
30 | |
31 | static_assert( std::conjunction<>::value); |
32 | static_assert( std::conjunction<std::true_type >::value); |
33 | static_assert(!std::conjunction<std::false_type>::value); |
34 | |
35 | static_assert( std::conjunction_v<>); |
36 | static_assert( std::conjunction_v<std::true_type >); |
37 | static_assert(!std::conjunction_v<std::false_type>); |
38 | |
39 | static_assert( std::conjunction<std::true_type, std::true_type >::value); |
40 | static_assert(!std::conjunction<std::true_type, std::false_type>::value); |
41 | static_assert(!std::conjunction<std::false_type, std::true_type >::value); |
42 | static_assert(!std::conjunction<std::false_type, std::false_type>::value); |
43 | |
44 | static_assert( std::conjunction_v<std::true_type, std::true_type >); |
45 | static_assert(!std::conjunction_v<std::true_type, std::false_type>); |
46 | static_assert(!std::conjunction_v<std::false_type, std::true_type >); |
47 | static_assert(!std::conjunction_v<std::false_type, std::false_type>); |
48 | |
49 | static_assert( std::conjunction<std::true_type, std::true_type, std::true_type >::value); |
50 | static_assert(!std::conjunction<std::true_type, std::false_type, std::true_type >::value); |
51 | static_assert(!std::conjunction<std::false_type, std::true_type, std::true_type >::value); |
52 | static_assert(!std::conjunction<std::false_type, std::false_type, std::true_type >::value); |
53 | static_assert(!std::conjunction<std::true_type, std::true_type, std::false_type>::value); |
54 | static_assert(!std::conjunction<std::true_type, std::false_type, std::false_type>::value); |
55 | static_assert(!std::conjunction<std::false_type, std::true_type, std::false_type>::value); |
56 | static_assert(!std::conjunction<std::false_type, std::false_type, std::false_type>::value); |
57 | |
58 | static_assert( std::conjunction_v<std::true_type, std::true_type, std::true_type >); |
59 | static_assert(!std::conjunction_v<std::true_type, std::false_type, std::true_type >); |
60 | static_assert(!std::conjunction_v<std::false_type, std::true_type, std::true_type >); |
61 | static_assert(!std::conjunction_v<std::false_type, std::false_type, std::true_type >); |
62 | static_assert(!std::conjunction_v<std::true_type, std::true_type, std::false_type>); |
63 | static_assert(!std::conjunction_v<std::true_type, std::false_type, std::false_type>); |
64 | static_assert(!std::conjunction_v<std::false_type, std::true_type, std::false_type>); |
65 | static_assert(!std::conjunction_v<std::false_type, std::false_type, std::false_type>); |
66 | |
67 | static_assert( std::conjunction<True >::value); |
68 | static_assert(!std::conjunction<False>::value); |
69 | |
70 | static_assert( std::conjunction_v<True >); |
71 | static_assert(!std::conjunction_v<False>); |
72 | |
73 | static_assert(std::is_base_of_v<MySpecialTrueType, std::conjunction<MyOtherSpecialTrueType, MySpecialTrueType>>); |
74 | static_assert(std::is_base_of_v<MyOtherSpecialTrueType, std::conjunction<MySpecialTrueType, MyOtherSpecialTrueType>>); |
75 | static_assert(std::is_base_of_v<MySpecialFalseType, std::conjunction<MySpecialFalseType, MyOtherSpecialTrueType>>); |
76 | static_assert(std::is_base_of_v<MySpecialFalseType, std::conjunction<MyOtherSpecialTrueType, MySpecialFalseType>>); |
77 | |
78 | static_assert(std::is_base_of_v<std::false_type, std::conjunction<std::false_type, HasNoValue>>); |
79 | |
80 | static_assert(!std::conjunction<std::false_type, HasNoValue>::value); |
81 | static_assert(!std::conjunction_v<std::false_type, HasNoValue>); |
82 | |
83 | // Also check the case where HasNoValue is not the last in the list (https://llvm.org/PR584900). |
84 | static_assert(!std::conjunction<std::false_type, HasNoValue, std::true_type>::value); |
85 | static_assert(!std::conjunction_v<std::false_type, HasNoValue, std::true_type>); |
86 | |
87 | static_assert(!std::conjunction<std::false_type, HasNoValue, std::false_type>::value); |
88 | static_assert(!std::conjunction_v<std::false_type, HasNoValue, std::false_type>); |
89 | |
90 | static_assert(std::conjunction<MyOtherSpecialTrueType>::value == -1); |
91 | static_assert(std::conjunction_v<MyOtherSpecialTrueType>); |
92 | |
93 | static_assert(std::is_base_of_v<ValueExplicitlyConvertible, std::conjunction<ValueExplicitlyConvertible>>); |
94 | static_assert(std::conjunction_v<ValueExplicitlyConvertible, std::true_type>); |
95 | |