217 lines
6.7 KiB
C++
217 lines
6.7 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2017 Paul Fultz II
|
|
first_of.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/first_of.hpp>
|
|
#include <boost/hof/static.hpp>
|
|
#include <boost/hof/lambda.hpp>
|
|
#include <boost/hof/function.hpp>
|
|
#include <memory>
|
|
#include "test.hpp"
|
|
|
|
namespace conditional_test {
|
|
|
|
#define CONDITIONAL_FUNCTION(n) \
|
|
struct t ## n {}; \
|
|
struct f ## n \
|
|
{ \
|
|
constexpr int operator()(t ## n) const \
|
|
{ \
|
|
return n; \
|
|
} \
|
|
};
|
|
|
|
CONDITIONAL_FUNCTION(1)
|
|
CONDITIONAL_FUNCTION(2)
|
|
CONDITIONAL_FUNCTION(3)
|
|
|
|
#define CONDITIONAL_MOVE_FUNCTION(n) \
|
|
struct t_move ## n {}; \
|
|
struct f_move ## n \
|
|
{ \
|
|
std::unique_ptr<int> i;\
|
|
f_move ## n(int ip) : i(new int(ip)) {}; \
|
|
int operator()(t_move ## n) const \
|
|
{ \
|
|
return *i; \
|
|
} \
|
|
};
|
|
|
|
CONDITIONAL_MOVE_FUNCTION(1)
|
|
CONDITIONAL_MOVE_FUNCTION(2)
|
|
CONDITIONAL_MOVE_FUNCTION(3)
|
|
|
|
struct ff
|
|
{
|
|
constexpr int operator()(t2) const
|
|
{
|
|
return 500;
|
|
}
|
|
};
|
|
|
|
static constexpr boost::hof::static_<boost::hof::first_of_adaptor<f1, f2, f3, ff> > f = {};
|
|
|
|
BOOST_HOF_STATIC_FUNCTION(f_constexpr) = boost::hof::first_of_adaptor<f1, f2, f3, ff>();
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(f(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(f(t2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(f(t3()) == 3);
|
|
|
|
BOOST_HOF_STATIC_TEST_CHECK(f_constexpr(t1()) == 1);
|
|
BOOST_HOF_STATIC_TEST_CHECK(f_constexpr(t2()) == 2);
|
|
BOOST_HOF_STATIC_TEST_CHECK(f_constexpr(t3()) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(f1{}, f2{})(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(f1{}, f2{})(t2()) == 2);
|
|
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(f1{}, f2{})(t1()) == 1);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(f1{}, f2{})(t2()) == 2);
|
|
}
|
|
|
|
#if (defined(__GNUC__) && !defined (__clang__) && __GNUC__ == 4 && __GNUC_MINOR__ < 7)
|
|
#else
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f1{}, f2{}))(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f1{}, f2{}))(t2()) == 2);
|
|
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f1{}, f2{}))(t1()) == 1);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f1{}, f2{}))(t2()) == 2);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t3()) == 3);
|
|
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t1()) == 1);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t2()) == 2);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(f1{}, boost::hof::first_of(f2{}, f3{}))(t3()) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t3()) == 3);
|
|
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t1()) == 1);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t2()) == 2);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::first_of(boost::hof::first_of(f1{}, f2{}), boost::hof::first_of(f2{}, f3{}))(t3()) == 3);
|
|
}
|
|
|
|
#endif
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
auto f_move_local = boost::hof::first_of(f_move1(1), f_move2(2), f_move3(3));
|
|
STATIC_ASSERT_MOVE_ONLY(decltype(f_move_local));
|
|
BOOST_HOF_TEST_CHECK(f_move_local(t_move1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(f_move_local(t_move2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(f_move_local(t_move3()) == 3);
|
|
}
|
|
#ifndef _MSC_VER
|
|
static constexpr auto lam = boost::hof::first_of(
|
|
BOOST_HOF_STATIC_LAMBDA(t1)
|
|
{
|
|
return 1;
|
|
},
|
|
BOOST_HOF_STATIC_LAMBDA(t2)
|
|
{
|
|
return 2;
|
|
},
|
|
BOOST_HOF_STATIC_LAMBDA(t3)
|
|
{
|
|
return 3;
|
|
}
|
|
);
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(lam(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(lam(t2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(lam(t3()) == 3);
|
|
}
|
|
#endif
|
|
|
|
BOOST_HOF_STATIC_LAMBDA_FUNCTION(static_fun) = boost::hof::first_of(
|
|
[](t1)
|
|
{
|
|
return 1;
|
|
},
|
|
[](t2)
|
|
{
|
|
return 2;
|
|
},
|
|
[](t3)
|
|
{
|
|
return 3;
|
|
}
|
|
);
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(static_fun(t1()) == 1);
|
|
BOOST_HOF_TEST_CHECK(static_fun(t2()) == 2);
|
|
BOOST_HOF_TEST_CHECK(static_fun(t3()) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::first_of(boost::hof::identity, boost::hof::identity)(3) == 3);
|
|
}
|
|
|
|
template<class T>
|
|
struct throw_fo
|
|
{
|
|
void operator()(T) const {}
|
|
};
|
|
|
|
template<class T>
|
|
struct no_throw_fo
|
|
{
|
|
void operator()(T) const noexcept {}
|
|
};
|
|
#if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
typedef boost::hof::first_of_adaptor<throw_fo<t1>, no_throw_fo<t2>> fun;
|
|
auto g = fun{};
|
|
static_assert(noexcept(g(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(g(t1{})), "noexcept conditional");
|
|
|
|
static_assert(noexcept(fun{}(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(fun{}(t1{})), "noexcept conditional");
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
typedef boost::hof::first_of_adaptor<no_throw_fo<t2>, throw_fo<t1>> fun;
|
|
auto g = fun{};
|
|
static_assert(noexcept(g(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(g(t1{})), "noexcept conditional");
|
|
|
|
static_assert(noexcept(fun{}(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(fun{}(t1{})), "noexcept conditional");
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
static_assert(noexcept(boost::hof::first_of_adaptor<no_throw_fo<t2>, throw_fo<t1>>{}(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(boost::hof::first_of_adaptor<no_throw_fo<t2>, throw_fo<t1>>{}(t1{})), "noexcept conditional");
|
|
|
|
static_assert(noexcept(boost::hof::first_of(no_throw_fo<t2>{}, throw_fo<t1>{})(t2{})), "noexcept conditional");
|
|
static_assert(!noexcept(boost::hof::first_of(no_throw_fo<t2>{}, throw_fo<t1>{})(t1{})), "noexcept conditional");
|
|
}
|
|
#endif
|
|
}
|