ceph/src/boost/libs/hof/test/if.cpp

   1 /*=============================================================================
   2     Copyright (c) 2017 Paul Fultz II
   3     if.cpp
   4     Distributed under the Boost Software License, Version 1.0. (See accompanying
   5     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   6 ==============================================================================*/
   7 #include <boost/hof/if.hpp>
   8 #include "test.hpp"
   9
  10 #include <boost/hof/first_of.hpp>
  11 #include <boost/hof/placeholders.hpp>
  12
  13
  14 struct is_5
  15 {
  16     template<class T>
  17     constexpr bool operator()(T i) const
  18     {
  19         return i == 5;
  20     }
  21 };
  22
  23 struct is_not_5
  24 {
  25     template<class T>
  26     constexpr bool operator()(T i) const
  27     {
  28         return i != 5;
  29     }
  30 };
  31
  32 template<class F>
  33 struct test_int
  34 {
  35     template<class T>
  36     constexpr bool operator()(T x) const
  37     {
  38         return boost::hof::first_of(
  39             boost::hof::if_(std::is_integral<T>())(F()),
  40             boost::hof::always(true)
  41         )(x);
  42     }
  43 };
  44
  45 BOOST_HOF_TEST_CASE()
  46 {
  47     BOOST_HOF_TEST_CHECK(test_int<is_5>()(5));
  48     BOOST_HOF_TEST_CHECK(test_int<is_5>()(5L));
  49     BOOST_HOF_TEST_CHECK(test_int<is_5>()(5.0));
  50     BOOST_HOF_TEST_CHECK(test_int<is_5>()(6.0));
  51
  52     BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6));
  53     BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6L));
  54     BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(5.0));
  55     BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6.0));
  56
  57     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5));
  58     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5L));
  59     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5.0));
  60     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(6.0));
  61
  62     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6));
  63     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6L));
  64     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(5.0));
  65     BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6.0));
  66 }
  67
  68 template<class F>
  69 struct test_int_c
  70 {
  71     template<class T>
  72     constexpr bool operator()(T x) const
  73     {
  74         return boost::hof::first_of(
  75             boost::hof::if_c<std::is_integral<T>::value>(F()),
  76             boost::hof::always(true)
  77         )(x);
  78     }
  79 };
  80
  81 BOOST_HOF_TEST_CASE()
  82 {
  83     BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5));
  84     BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5L));
  85     BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5.0));
  86     BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(6.0));
  87
  88     BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6));
  89     BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6L));
  90     BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(5.0));
  91     BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6.0));
  92
  93     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5));
  94     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5L));
  95     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5.0));
  96     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(6.0));
  97
  98     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6));
  99     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6L));
 100     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(5.0));
 101     BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6.0));
 102 }
 103
 104 struct sum_f
 105 {
 106     template<class T>
 107     constexpr int operator()(T x, T y) const
 108     {
 109         return boost::hof::first_of(
 110             boost::hof::if_(std::is_integral<T>())(boost::hof::_ + boost::hof::_),
 111             boost::hof::always(0)
 112         )(x, y);
 113     }
 114 };
 115
 116 BOOST_HOF_TEST_CASE()
 117 {
 118     BOOST_HOF_TEST_CHECK(sum_f()(1, 2) == 3);
 119     BOOST_HOF_TEST_CHECK(sum_f()(1.0, 2.0) == 0);
 120     BOOST_HOF_TEST_CHECK(sum_f()("", "") == 0);
 121
 122     BOOST_HOF_STATIC_TEST_CHECK(sum_f()(1, 2) == 3);
 123     BOOST_HOF_STATIC_TEST_CHECK(sum_f()("", "") == 0);
 124 }
 125
 126
 127 struct sum_f_c
 128 {
 129     template<class T>
 130     constexpr int operator()(T x, T y) const
 131     {
 132         return boost::hof::first_of(
 133             boost::hof::if_c<std::is_integral<T>::value>(boost::hof::_ + boost::hof::_),
 134             boost::hof::always(0)
 135         )(x, y);
 136     }
 137 };
 138
 139 BOOST_HOF_TEST_CASE()
 140 {
 141     BOOST_HOF_TEST_CHECK(sum_f_c()(1, 2) == 3);
 142     BOOST_HOF_TEST_CHECK(sum_f_c()(1.0, 2.0) == 0);
 143     BOOST_HOF_TEST_CHECK(sum_f_c()("", "") == 0);
 144
 145     BOOST_HOF_STATIC_TEST_CHECK(sum_f_c()(1, 2) == 3);
 146     BOOST_HOF_STATIC_TEST_CHECK(sum_f_c()("", "") == 0);
 147 }
 148
 149 #if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
 150 BOOST_HOF_TEST_CASE()
 151 {
 152     static_assert(noexcept(boost::hof::if_(std::is_integral<int>())(boost::hof::identity)(1)), "noexcept if");
 153 }
 154 #endif