64 lines
2.0 KiB
C++
64 lines
2.0 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2017 Paul Fultz II
|
|
apply_eval.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/apply_eval.hpp>
|
|
#include <boost/hof/always.hpp>
|
|
#include <boost/hof/placeholders.hpp>
|
|
#include "test.hpp"
|
|
|
|
#include <memory>
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply_eval(binary_class(), boost::hof::always(1), boost::hof::always(2)) == 3);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply_eval(binary_class(), []{ return 1; }, []{ return 2;}) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
boost::hof::apply_eval(boost::hof::always(), boost::hof::always(1), boost::hof::always(2));
|
|
}
|
|
#if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
static_assert(noexcept(boost::hof::apply_eval(boost::hof::always(), boost::hof::always(1), boost::hof::always(2))), "noexcept apply_eval");
|
|
}
|
|
#endif
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
int i = 3;
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply_eval(boost::hof::_ - boost::hof::_, [&]{ return i++; }, [&]{ return i++;}) == -1);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply_eval(boost::hof::_ - boost::hof::_, [&]{ return ++i; }, [&]{ return ++i;}) == -1);
|
|
}
|
|
|
|
struct indirect_sum_f
|
|
{
|
|
template<class T, class U>
|
|
auto operator()(T x, U y) const
|
|
BOOST_HOF_RETURNS(*x + *y);
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(
|
|
boost::hof::apply_eval(
|
|
indirect_sum_f(),
|
|
[]{ return std::unique_ptr<int>(new int(1)); },
|
|
[]{ return std::unique_ptr<int>(new int(2)); })
|
|
== 3);
|
|
}
|
|
|
|
std::unique_ptr<int> moveable(int i)
|
|
{
|
|
return std::unique_ptr<int>{new int(i)};
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(*boost::hof::apply_eval(&moveable, boost::hof::always(1)) == 1);
|
|
BOOST_HOF_TEST_CHECK(*boost::hof::apply_eval(&moveable, boost::hof::always(3)) == 3);
|
|
}
|