libcxx/test/std/utilities/meta/meta.logical/conjunction.compile.pass.cpp

   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>);