123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154 |
- /*=============================================================================
- Copyright (c) 2017 Paul Fultz II
- if.cpp
- Distributed under the Boost Software License, Version 1.0. (See accompanying
- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- ==============================================================================*/
- #include <boost/hof/if.hpp>
- #include "test.hpp"
- #include <boost/hof/first_of.hpp>
- #include <boost/hof/placeholders.hpp>
- struct is_5
- {
- template<class T>
- constexpr bool operator()(T i) const
- {
- return i == 5;
- }
- };
- struct is_not_5
- {
- template<class T>
- constexpr bool operator()(T i) const
- {
- return i != 5;
- }
- };
- template<class F>
- struct test_int
- {
- template<class T>
- constexpr bool operator()(T x) const
- {
- return boost::hof::first_of(
- boost::hof::if_(std::is_integral<T>())(F()),
- boost::hof::always(true)
- )(x);
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(test_int<is_5>()(5));
- BOOST_HOF_TEST_CHECK(test_int<is_5>()(5L));
- BOOST_HOF_TEST_CHECK(test_int<is_5>()(5.0));
- BOOST_HOF_TEST_CHECK(test_int<is_5>()(6.0));
- BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6));
- BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6L));
- BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(5.0));
- BOOST_HOF_TEST_CHECK(test_int<is_not_5>()(6.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5L));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(5.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_5>()(6.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6L));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(5.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int<is_not_5>()(6.0));
- }
- template<class F>
- struct test_int_c
- {
- template<class T>
- constexpr bool operator()(T x) const
- {
- return boost::hof::first_of(
- boost::hof::if_c<std::is_integral<T>::value>(F()),
- boost::hof::always(true)
- )(x);
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5));
- BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5L));
- BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(5.0));
- BOOST_HOF_TEST_CHECK(test_int_c<is_5>()(6.0));
- BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6));
- BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6L));
- BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(5.0));
- BOOST_HOF_TEST_CHECK(test_int_c<is_not_5>()(6.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5L));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(5.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_5>()(6.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6L));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(5.0));
- BOOST_HOF_STATIC_TEST_CHECK(test_int_c<is_not_5>()(6.0));
- }
- struct sum_f
- {
- template<class T>
- constexpr int operator()(T x, T y) const
- {
- return boost::hof::first_of(
- boost::hof::if_(std::is_integral<T>())(boost::hof::_ + boost::hof::_),
- boost::hof::always(0)
- )(x, y);
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(sum_f()(1, 2) == 3);
- BOOST_HOF_TEST_CHECK(sum_f()(1.0, 2.0) == 0);
- BOOST_HOF_TEST_CHECK(sum_f()("", "") == 0);
- BOOST_HOF_STATIC_TEST_CHECK(sum_f()(1, 2) == 3);
- BOOST_HOF_STATIC_TEST_CHECK(sum_f()("", "") == 0);
- }
- struct sum_f_c
- {
- template<class T>
- constexpr int operator()(T x, T y) const
- {
- return boost::hof::first_of(
- boost::hof::if_c<std::is_integral<T>::value>(boost::hof::_ + boost::hof::_),
- boost::hof::always(0)
- )(x, y);
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(sum_f_c()(1, 2) == 3);
- BOOST_HOF_TEST_CHECK(sum_f_c()(1.0, 2.0) == 0);
- BOOST_HOF_TEST_CHECK(sum_f_c()("", "") == 0);
- BOOST_HOF_STATIC_TEST_CHECK(sum_f_c()(1, 2) == 3);
- BOOST_HOF_STATIC_TEST_CHECK(sum_f_c()("", "") == 0);
- }
- #if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
- BOOST_HOF_TEST_CASE()
- {
- static_assert(noexcept(boost::hof::if_(std::is_integral<int>())(boost::hof::identity)(1)), "noexcept if");
- }
- #endif
|