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 static_assert(std::conjunction<MyOtherSpecialTrueType>::value == -1); 84 static_assert(std::conjunction_v<MyOtherSpecialTrueType>); 85 86 static_assert(std::is_base_of_v<ValueExplicitlyConvertible, std::conjunction<ValueExplicitlyConvertible>>); 87 static_assert(std::conjunction_v<ValueExplicitlyConvertible, std::true_type>); 88