1 /*=============================================================================
2 Copyright (c) 2017 Paul Fultz II
3 lift.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 "test.hpp"
8 #include <boost/hof/lift.hpp>
9 #include <boost/hof/function.hpp>
10 #include <boost/hof/detail/move.hpp>
11 #include <tuple>
12 #include <algorithm>
13
14 template<class T, class U>
sum(T x,U y)15 constexpr T sum(T x, U y) BOOST_HOF_RETURNS_DEDUCE_NOEXCEPT(x+y)
16 {
17 return x + y;
18 }
19
20 BOOST_HOF_LIFT_CLASS(max_f, std::max);
21 BOOST_HOF_LIFT_CLASS(sum_f, sum);
22
23 #if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
BOOST_HOF_TEST_CASE()24 BOOST_HOF_TEST_CASE()
25 {
26 static_assert(noexcept(sum_f()(1, 2)), "noexcept lift");
27 static_assert(!noexcept(sum_f()(std::string(), std::string())), "noexcept lift");
28 }
29 #endif
30
BOOST_HOF_TEST_CASE()31 BOOST_HOF_TEST_CASE()
32 {
33 BOOST_HOF_TEST_CHECK(max_f()(3, 4) == std::max(3, 4));
34
35 BOOST_HOF_TEST_CHECK(sum_f()(1, 2) == 3);
36 BOOST_HOF_STATIC_TEST_CHECK(sum_f()(1, 2) == 3);
37 }
38
39 #if BOOST_HOF_HAS_GENERIC_LAMBDA
BOOST_HOF_TEST_CASE()40 BOOST_HOF_TEST_CASE()
41 {
42 auto my_max = BOOST_HOF_LIFT(std::max);
43 BOOST_HOF_TEST_CHECK(my_max(3, 4) == std::max(3, 4));
44
45 BOOST_HOF_TEST_CHECK(BOOST_HOF_LIFT(std::max)(3, 4) == std::max(3, 4));
46 BOOST_HOF_TEST_CHECK(BOOST_HOF_LIFT(sum)(1, 2) == 3);
47 }
48
49 BOOST_HOF_STATIC_FUNCTION(psum) = BOOST_HOF_LIFT(sum);
50 BOOST_HOF_STATIC_FUNCTION(pmax) = BOOST_HOF_LIFT(std::max);
51
BOOST_HOF_TEST_CASE()52 BOOST_HOF_TEST_CASE()
53 {
54 BOOST_HOF_TEST_CHECK(pmax(3, 4) == std::max(3, 4));
55
56 BOOST_HOF_TEST_CHECK(psum(1, 2) == 3);
57 }
58 #endif
59