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 disjunction; // C++17
13 // template<class... B>
14 // constexpr bool disjunction_v = disjunction<B...>::value; // C++17
15
16 #include <type_traits>
17 #include <cassert>
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 = -1; static constexpr auto MySpecial = 37; };
25 struct MySpecialFalseType { static constexpr auto value = false; static constexpr auto MySpecial = 23; };
26 struct MyOtherSpecialFalseType { static constexpr auto value = false; static constexpr auto MySpecial = 46; };
27 struct HasNoValue {};
operator boolExplicitlyConvertibleToBool28 struct ExplicitlyConvertibleToBool { explicit constexpr operator bool() const { return false; } };
29 struct ValueExplicitlyConvertible { static constexpr ExplicitlyConvertibleToBool value {}; };
30
31 static_assert(!std::disjunction<>::value);
32 static_assert( std::disjunction<std::true_type >::value);
33 static_assert(!std::disjunction<std::false_type>::value);
34
35 static_assert(!std::disjunction_v<>);
36 static_assert( std::disjunction_v<std::true_type >);
37 static_assert(!std::disjunction_v<std::false_type>);
38
39 static_assert( std::disjunction<std::true_type, std::true_type >::value);
40 static_assert( std::disjunction<std::true_type, std::false_type>::value);
41 static_assert( std::disjunction<std::false_type, std::true_type >::value);
42 static_assert(!std::disjunction<std::false_type, std::false_type>::value);
43
44 static_assert( std::disjunction_v<std::true_type, std::true_type >);
45 static_assert( std::disjunction_v<std::true_type, std::false_type>);
46 static_assert( std::disjunction_v<std::false_type, std::true_type >);
47 static_assert(!std::disjunction_v<std::false_type, std::false_type>);
48
49 static_assert( std::disjunction<std::true_type, std::true_type, std::true_type >::value);
50 static_assert( std::disjunction<std::true_type, std::false_type, std::true_type >::value);
51 static_assert( std::disjunction<std::false_type, std::true_type, std::true_type >::value);
52 static_assert( std::disjunction<std::false_type, std::false_type, std::true_type >::value);
53 static_assert( std::disjunction<std::true_type, std::true_type, std::false_type>::value);
54 static_assert( std::disjunction<std::true_type, std::false_type, std::false_type>::value);
55 static_assert( std::disjunction<std::false_type, std::true_type, std::false_type>::value);
56 static_assert(!std::disjunction<std::false_type, std::false_type, std::false_type>::value);
57
58 static_assert( std::disjunction_v<std::true_type, std::true_type, std::true_type >);
59 static_assert( std::disjunction_v<std::true_type, std::false_type, std::true_type >);
60 static_assert( std::disjunction_v<std::false_type, std::true_type, std::true_type >);
61 static_assert( std::disjunction_v<std::false_type, std::false_type, std::true_type >);
62 static_assert( std::disjunction_v<std::true_type, std::true_type, std::false_type>);
63 static_assert( std::disjunction_v<std::true_type, std::false_type, std::false_type>);
64 static_assert( std::disjunction_v<std::false_type, std::true_type, std::false_type>);
65 static_assert(!std::disjunction_v<std::false_type, std::false_type, std::false_type>);
66
67 static_assert ( std::disjunction<True >::value, "" );
68 static_assert (!std::disjunction<False>::value, "" );
69
70 static_assert ( std::disjunction_v<True >, "" );
71 static_assert (!std::disjunction_v<False>, "" );
72
73 static_assert(std::is_base_of_v<MySpecialFalseType, std::disjunction<MyOtherSpecialFalseType, MySpecialFalseType>>);
74 static_assert(std::is_base_of_v<MyOtherSpecialFalseType, std::disjunction<MySpecialFalseType, MyOtherSpecialFalseType>>);
75 static_assert(std::is_base_of_v<MySpecialTrueType, std::disjunction<MySpecialTrueType, MyOtherSpecialFalseType>>);
76 static_assert(std::is_base_of_v<MySpecialTrueType, std::disjunction<MyOtherSpecialFalseType, MySpecialTrueType>>);
77
78 static_assert(std::is_base_of_v<std::true_type, std::disjunction<std::true_type, HasNoValue>>);
79
80 static_assert(std::disjunction<std::true_type, HasNoValue>::value);
81 static_assert(std::disjunction_v<std::true_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::disjunction<std::true_type, HasNoValue, std::true_type>::value);
85 static_assert(std::disjunction_v<std::true_type, HasNoValue, std::true_type>);
86
87 static_assert(std::disjunction<std::true_type, HasNoValue, std::false_type>::value);
88 static_assert(std::disjunction_v<std::true_type, HasNoValue, std::false_type>);
89
90 static_assert(std::disjunction<MySpecialTrueType>::value == -1);
91 static_assert(std::disjunction_v<MySpecialTrueType>);
92
93 static_assert(std::is_base_of_v<ValueExplicitlyConvertible, std::disjunction<ValueExplicitlyConvertible>>);
94 static_assert(std::disjunction_v<ValueExplicitlyConvertible, std::true_type>);
95