123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713 |
- /*=============================================================================
- Copyright (c) 2017 Paul Fultz II
- lazy.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/lazy.hpp>
- #include <memory>
- #include "test.hpp"
- template<int N>
- struct test_placeholder
- {};
- namespace std {
- template<int N>
- struct is_placeholder<test_placeholder<N>>
- : std::integral_constant<int, N>
- {};
- }
- BOOST_HOF_TEST_CASE()
- {
- int i = 5;
- static_assert(std::is_reference<decltype(boost::hof::detail::ref_transformer()(std::ref(i))(0,0,0))>::value, "Reference wrapper failed");
- static_assert(std::is_reference<decltype(boost::hof::detail::pick_transformer(std::ref(i))(0,0,0))>::value, "Reference wrapper failed");
- static_assert(std::is_reference<decltype(boost::hof::detail::lazy_transform(std::ref(i), boost::hof::pack_basic(0,0,0)))>::value, "Reference wrapper failed");
- BOOST_HOF_TEST_CHECK(&boost::hof::detail::ref_transformer()(std::ref(i))(0,0,0) == &i);
- BOOST_HOF_TEST_CHECK(&boost::hof::detail::pick_transformer(std::ref(i))(0,0,0) == &i);
- BOOST_HOF_TEST_CHECK(&boost::hof::detail::lazy_transform(std::ref(i), boost::hof::pack_basic(0,0,0)) == &i);
- }
- BOOST_HOF_TEST_CASE()
- {
- int i = 5;
- BOOST_HOF_TEST_CHECK(boost::hof::detail::id_transformer()(i)(0,0,0) == i);
- BOOST_HOF_TEST_CHECK(boost::hof::detail::pick_transformer(i)(0,0,0) == i);
- BOOST_HOF_TEST_CHECK(boost::hof::detail::lazy_transform(i, boost::hof::pack_basic(0,0,0)) == i);
- }
- BOOST_HOF_TEST_CASE()
- {
- auto id =[](int i){ return i;};
- auto fi = std::bind(id, 5);
- BOOST_HOF_TEST_CHECK(boost::hof::detail::bind_transformer()(fi)(0,0,0) == id(5));
- BOOST_HOF_TEST_CHECK(boost::hof::detail::pick_transformer(fi)(0,0,0) == id(5));
- BOOST_HOF_TEST_CHECK(boost::hof::detail::lazy_transform(fi, boost::hof::pack_basic(0,0,0)) == id(5));
- }
- struct f_0 {
- constexpr long operator()() const
- {
- return 17041L;
- }
- };
- struct f_1 {
- constexpr long operator()(long a) const
- {
- return a;
- }
- };
- struct f_2 {
- constexpr long operator()(long a, long b) const
- {
- return a + 10 * b;
- }
- };
- static long global_result;
- struct fv_0 {
- void operator()() const
- {
- global_result = 17041L;
- }
- };
- struct fv_1 {
- void operator()(long a) const
- {
- global_result = a;
- }
- };
- struct fv_2 {
- void operator()(long a, long b) const
- {
- global_result = a + 10 * b;
- }
- };
- struct Y
- {
- short operator()(short & r) const { return ++r; }
- int operator()(int a, int b) const { return a + 10 * b; }
- long operator() (long a, long b, long c) const { return a + 10 * b + 100 * c; }
- void operator() (long a, long b, long c, long d) const { global_result = a + 10 * b + 100 * c + 1000 * d; }
- };
- BOOST_HOF_TEST_CASE()
- {
- short i(6);
- int const k = 3;
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(Y())( std::ref(i))() == 7 );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(Y())( std::ref(i))() == 8 );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(Y())( i,std::placeholders::_1)(k) == 38 );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(Y())( i,std::placeholders::_1, 9)(k) == 938 );
- global_result = 0;
- boost::hof::lazy(Y())( i,std::placeholders::_1, 9, 4)(k);
- BOOST_HOF_TEST_CHECK( global_result == 4938 );
- }
- BOOST_HOF_TEST_CASE()
- {
- int const x = 1;
- int const y = 2;
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_1())(std::placeholders::_1))(x) == 1L );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_2())(std::placeholders::_1, std::placeholders::_2))(x, y) == 21L );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(f_2())( boost::hof::lazy(f_1())(std::placeholders::_1), boost::hof::lazy(f_1())(std::placeholders::_1))(x) == 11L );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(f_2())( boost::hof::lazy(f_1())(std::placeholders::_1), boost::hof::lazy(f_1())( std::placeholders::_2))(x, y) == 21L );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_0())())() == 17041L );
- BOOST_HOF_STATIC_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_1())(test_placeholder<1>()))(x) == 1L );
- BOOST_HOF_STATIC_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_2())(test_placeholder<1>(), test_placeholder<2>()))(x, y) == 21L );
- BOOST_HOF_STATIC_TEST_CHECK( boost::hof::lazy(f_2())( boost::hof::lazy(f_1())(test_placeholder<1>()), boost::hof::lazy(f_1())(test_placeholder<1>()))(x) == 11L );
- BOOST_HOF_STATIC_TEST_CHECK( boost::hof::lazy(f_2())( boost::hof::lazy(f_1())(test_placeholder<1>()), boost::hof::lazy(f_1())( test_placeholder<2>()))(x, y) == 21L );
- BOOST_HOF_STATIC_TEST_CHECK( boost::hof::lazy(f_1())( boost::hof::lazy(f_0())())() == 17041L );
- BOOST_HOF_TEST_CHECK( (boost::hof::lazy(fv_1())( boost::hof::lazy(f_1())(std::placeholders::_1))(x), (global_result == 1L)) );
- BOOST_HOF_TEST_CHECK( (boost::hof::lazy(fv_1())( boost::hof::lazy(f_2())(std::placeholders::_1, std::placeholders::_2))(x, y), (global_result == 21L)) );
- BOOST_HOF_TEST_CHECK( (boost::hof::lazy(fv_2())( boost::hof::lazy(f_1())(std::placeholders::_1), boost::hof::lazy(f_1())(std::placeholders::_1))(x), (global_result == 11L)) );
- BOOST_HOF_TEST_CHECK( (boost::hof::lazy(fv_2())( boost::hof::lazy(f_1())(std::placeholders::_1), boost::hof::lazy(f_1())( std::placeholders::_2))(x, y), (global_result == 21L)) );
- BOOST_HOF_TEST_CHECK( (boost::hof::lazy(fv_1())( boost::hof::lazy(f_0())())(), (global_result == 17041L)) );
- }
- struct X
- {
- mutable unsigned int hash;
- X(): hash(0) {}
- int f0() { f1(17); return 0; }
- int g0() const { g1(17); return 0; }
- int f1(int a1) { hash = (hash * 17041 + a1) % 32768; return 0; }
- int g1(int a1) const { hash = (hash * 17041 + a1 * 2) % 32768; return 0; }
- int f2(int a1, int a2) { f1(a1); f1(a2); return 0; }
- int g2(int a1, int a2) const { g1(a1); g1(a2); return 0; }
- int f3(int a1, int a2, int a3) { f2(a1, a2); f1(a3); return 0; }
- int g3(int a1, int a2, int a3) const { g2(a1, a2); g1(a3); return 0; }
- int f4(int a1, int a2, int a3, int a4) { f3(a1, a2, a3); f1(a4); return 0; }
- int g4(int a1, int a2, int a3, int a4) const { g3(a1, a2, a3); g1(a4); return 0; }
- int f5(int a1, int a2, int a3, int a4, int a5) { f4(a1, a2, a3, a4); f1(a5); return 0; }
- int g5(int a1, int a2, int a3, int a4, int a5) const { g4(a1, a2, a3, a4); g1(a5); return 0; }
- int f6(int a1, int a2, int a3, int a4, int a5, int a6) { f5(a1, a2, a3, a4, a5); f1(a6); return 0; }
- int g6(int a1, int a2, int a3, int a4, int a5, int a6) const { g5(a1, a2, a3, a4, a5); g1(a6); return 0; }
- int f7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) { f6(a1, a2, a3, a4, a5, a6); f1(a7); return 0; }
- int g7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) const { g6(a1, a2, a3, a4, a5, a6); g1(a7); return 0; }
- int f8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) { f7(a1, a2, a3, a4, a5, a6, a7); f1(a8); return 0; }
- int g8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) const { g7(a1, a2, a3, a4, a5, a6, a7); g1(a8); return 0; }
- };
- struct V
- {
- mutable unsigned int hash;
- V(): hash(0) {}
- void f0() { f1(17); }
- void g0() const { g1(17); }
- void f1(int a1) { hash = (hash * 17041 + a1) % 32768; }
- void g1(int a1) const { hash = (hash * 17041 + a1 * 2) % 32768; }
- void f2(int a1, int a2) { f1(a1); f1(a2); }
- void g2(int a1, int a2) const { g1(a1); g1(a2); }
- void f3(int a1, int a2, int a3) { f2(a1, a2); f1(a3); }
- void g3(int a1, int a2, int a3) const { g2(a1, a2); g1(a3); }
- void f4(int a1, int a2, int a3, int a4) { f3(a1, a2, a3); f1(a4); }
- void g4(int a1, int a2, int a3, int a4) const { g3(a1, a2, a3); g1(a4); }
- void f5(int a1, int a2, int a3, int a4, int a5) { f4(a1, a2, a3, a4); f1(a5); }
- void g5(int a1, int a2, int a3, int a4, int a5) const { g4(a1, a2, a3, a4); g1(a5); }
- void f6(int a1, int a2, int a3, int a4, int a5, int a6) { f5(a1, a2, a3, a4, a5); f1(a6); }
- void g6(int a1, int a2, int a3, int a4, int a5, int a6) const { g5(a1, a2, a3, a4, a5); g1(a6); }
- void f7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) { f6(a1, a2, a3, a4, a5, a6); f1(a7); }
- void g7(int a1, int a2, int a3, int a4, int a5, int a6, int a7) const { g6(a1, a2, a3, a4, a5, a6); g1(a7); }
- void f8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) { f7(a1, a2, a3, a4, a5, a6, a7); f1(a8); }
- void g8(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8) const { g7(a1, a2, a3, a4, a5, a6, a7); g1(a8); }
- };
- BOOST_HOF_TEST_CASE()
- {
- X x;
- // 0
- boost::hof::lazy(&X::f0)(&x)();
- boost::hof::lazy(&X::f0)(std::ref(x))();
- boost::hof::lazy(&X::g0)(&x)();
- boost::hof::lazy(&X::g0)(x)();
- boost::hof::lazy(&X::g0)(std::ref(x))();
- // 1
- boost::hof::lazy(&X::f1)(&x, 1)();
- boost::hof::lazy(&X::f1)(std::ref(x), 1)();
- boost::hof::lazy(&X::g1)(&x, 1)();
- boost::hof::lazy(&X::g1)(x, 1)();
- boost::hof::lazy(&X::g1)(std::ref(x), 1)();
- // 2
- boost::hof::lazy(&X::f2)(&x, 1, 2)();
- boost::hof::lazy(&X::f2)(std::ref(x), 1, 2)();
- boost::hof::lazy(&X::g2)(&x, 1, 2)();
- boost::hof::lazy(&X::g2)(x, 1, 2)();
- boost::hof::lazy(&X::g2)(std::ref(x), 1, 2)();
- // 3
- boost::hof::lazy(&X::f3)(&x, 1, 2, 3)();
- boost::hof::lazy(&X::f3)(std::ref(x), 1, 2, 3)();
- boost::hof::lazy(&X::g3)(&x, 1, 2, 3)();
- boost::hof::lazy(&X::g3)(x, 1, 2, 3)();
- boost::hof::lazy(&X::g3)(std::ref(x), 1, 2, 3)();
- // 4
- boost::hof::lazy(&X::f4)(&x, 1, 2, 3, 4)();
- boost::hof::lazy(&X::f4)(std::ref(x), 1, 2, 3, 4)();
- boost::hof::lazy(&X::g4)(&x, 1, 2, 3, 4)();
- boost::hof::lazy(&X::g4)(x, 1, 2, 3, 4)();
- boost::hof::lazy(&X::g4)(std::ref(x), 1, 2, 3, 4)();
- // 5
- boost::hof::lazy(&X::f5)(&x, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&X::f5)(std::ref(x), 1, 2, 3, 4, 5)();
- boost::hof::lazy(&X::g5)(&x, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&X::g5)(x, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&X::g5)(std::ref(x), 1, 2, 3, 4, 5)();
- // 6
- boost::hof::lazy(&X::f6)(&x, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&X::f6)(std::ref(x), 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&X::g6)(&x, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&X::g6)(x, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&X::g6)(std::ref(x), 1, 2, 3, 4, 5, 6)();
- // 7
- boost::hof::lazy(&X::f7)(&x, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&X::f7)(std::ref(x), 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&X::g7)(&x, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&X::g7)(x, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&X::g7)(std::ref(x), 1, 2, 3, 4, 5, 6, 7)();
- // 8
- boost::hof::lazy(&X::f8)(&x, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&X::f8)(std::ref(x), 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&X::g8)(&x, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&X::g8)(x, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&X::g8)(std::ref(x), 1, 2, 3, 4, 5, 6, 7, 8)();
- BOOST_HOF_TEST_CHECK( x.hash == 23558 );
- }
- BOOST_HOF_TEST_CASE()
- {
- V v;
- // 0
- boost::hof::lazy(&V::f0)(&v)();
- boost::hof::lazy(&V::f0)(std::ref(v))();
- boost::hof::lazy(&V::g0)(&v)();
- boost::hof::lazy(&V::g0)(v)();
- boost::hof::lazy(&V::g0)(std::ref(v))();
- // 1
- boost::hof::lazy(&V::f1)(&v, 1)();
- boost::hof::lazy(&V::f1)(std::ref(v), 1)();
- boost::hof::lazy(&V::g1)(&v, 1)();
- boost::hof::lazy(&V::g1)(v, 1)();
- boost::hof::lazy(&V::g1)(std::ref(v), 1)();
- // 2
- boost::hof::lazy(&V::f2)(&v, 1, 2)();
- boost::hof::lazy(&V::f2)(std::ref(v), 1, 2)();
- boost::hof::lazy(&V::g2)(&v, 1, 2)();
- boost::hof::lazy(&V::g2)(v, 1, 2)();
- boost::hof::lazy(&V::g2)(std::ref(v), 1, 2)();
- // 3
- boost::hof::lazy(&V::f3)(&v, 1, 2, 3)();
- boost::hof::lazy(&V::f3)(std::ref(v), 1, 2, 3)();
- boost::hof::lazy(&V::g3)(&v, 1, 2, 3)();
- boost::hof::lazy(&V::g3)(v, 1, 2, 3)();
- boost::hof::lazy(&V::g3)(std::ref(v), 1, 2, 3)();
- // 4
- boost::hof::lazy(&V::f4)(&v, 1, 2, 3, 4)();
- boost::hof::lazy(&V::f4)(std::ref(v), 1, 2, 3, 4)();
- boost::hof::lazy(&V::g4)(&v, 1, 2, 3, 4)();
- boost::hof::lazy(&V::g4)(v, 1, 2, 3, 4)();
- boost::hof::lazy(&V::g4)(std::ref(v), 1, 2, 3, 4)();
- // 5
- boost::hof::lazy(&V::f5)(&v, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&V::f5)(std::ref(v), 1, 2, 3, 4, 5)();
- boost::hof::lazy(&V::g5)(&v, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&V::g5)(v, 1, 2, 3, 4, 5)();
- boost::hof::lazy(&V::g5)(std::ref(v), 1, 2, 3, 4, 5)();
- // 6
- boost::hof::lazy(&V::f6)(&v, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&V::f6)(std::ref(v), 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&V::g6)(&v, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&V::g6)(v, 1, 2, 3, 4, 5, 6)();
- boost::hof::lazy(&V::g6)(std::ref(v), 1, 2, 3, 4, 5, 6)();
- // 7
- boost::hof::lazy(&V::f7)(&v, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&V::f7)(std::ref(v), 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&V::g7)(&v, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&V::g7)(v, 1, 2, 3, 4, 5, 6, 7)();
- boost::hof::lazy(&V::g7)(std::ref(v), 1, 2, 3, 4, 5, 6, 7)();
- // 8
- boost::hof::lazy(&V::f8)(&v, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&V::f8)(std::ref(v), 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&V::g8)(&v, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&V::g8)(v, 1, 2, 3, 4, 5, 6, 7, 8)();
- boost::hof::lazy(&V::g8)(std::ref(v), 1, 2, 3, 4, 5, 6, 7, 8)();
- BOOST_HOF_TEST_CHECK( v.hash == 23558 );
- }
- struct id
- {
- int operator()(int i) const
- {
- return i;
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(boost::hof::lazy(id())(3)() == 3);
- }
- struct deref
- {
- int operator()(const std::unique_ptr<int>& i) const
- {
- return *i;
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- BOOST_HOF_TEST_CHECK(boost::hof::lazy(deref())(std::unique_ptr<int>(new int(3)))() == 3);
- }
- void fv1( std::unique_ptr<int> p1 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- }
- void fv2( std::unique_ptr<int> p1, std::unique_ptr<int> p2 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- }
- void fv3( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- }
- void fv4( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- }
- void fv5( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4, std::unique_ptr<int> p5 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- BOOST_HOF_TEST_CHECK( *p5 == 5 );
- }
- void fv6( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4, std::unique_ptr<int> p5, std::unique_ptr<int> p6 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- BOOST_HOF_TEST_CHECK( *p5 == 5 );
- BOOST_HOF_TEST_CHECK( *p6 == 6 );
- }
- void fv7( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4, std::unique_ptr<int> p5, std::unique_ptr<int> p6, std::unique_ptr<int> p7 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- BOOST_HOF_TEST_CHECK( *p5 == 5 );
- BOOST_HOF_TEST_CHECK( *p6 == 6 );
- BOOST_HOF_TEST_CHECK( *p7 == 7 );
- }
- void fv8( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4, std::unique_ptr<int> p5, std::unique_ptr<int> p6, std::unique_ptr<int> p7, std::unique_ptr<int> p8 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- BOOST_HOF_TEST_CHECK( *p5 == 5 );
- BOOST_HOF_TEST_CHECK( *p6 == 6 );
- BOOST_HOF_TEST_CHECK( *p7 == 7 );
- BOOST_HOF_TEST_CHECK( *p8 == 8 );
- }
- void fv9( std::unique_ptr<int> p1, std::unique_ptr<int> p2, std::unique_ptr<int> p3, std::unique_ptr<int> p4, std::unique_ptr<int> p5, std::unique_ptr<int> p6, std::unique_ptr<int> p7, std::unique_ptr<int> p8, std::unique_ptr<int> p9 )
- {
- BOOST_HOF_TEST_CHECK( *p1 == 1 );
- BOOST_HOF_TEST_CHECK( *p2 == 2 );
- BOOST_HOF_TEST_CHECK( *p3 == 3 );
- BOOST_HOF_TEST_CHECK( *p4 == 4 );
- BOOST_HOF_TEST_CHECK( *p5 == 5 );
- BOOST_HOF_TEST_CHECK( *p6 == 6 );
- BOOST_HOF_TEST_CHECK( *p7 == 7 );
- BOOST_HOF_TEST_CHECK( *p8 == 8 );
- BOOST_HOF_TEST_CHECK( *p9 == 9 );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- boost::hof::lazy( fv1 )( std::placeholders::_1 )( std::move( p1 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- boost::hof::lazy( fv2 )( std::placeholders::_1, std::placeholders::_2 )( std::move( p1 ), std::move( p2 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- boost::hof::lazy( fv3 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3 )( std::move( p1 ), std::move( p2 ), std::move( p3 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- boost::hof::lazy( fv4 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- std::unique_ptr<int> p5( new int(5) );
- boost::hof::lazy( fv5 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ), std::move( p5 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- std::unique_ptr<int> p5( new int(5) );
- std::unique_ptr<int> p6( new int(6) );
- boost::hof::lazy( fv6 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ), std::move( p5 ), std::move( p6 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- std::unique_ptr<int> p5( new int(5) );
- std::unique_ptr<int> p6( new int(6) );
- std::unique_ptr<int> p7( new int(7) );
- boost::hof::lazy( fv7 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6, std::placeholders::_7 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ), std::move( p5 ), std::move( p6 ), std::move( p7 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- std::unique_ptr<int> p5( new int(5) );
- std::unique_ptr<int> p6( new int(6) );
- std::unique_ptr<int> p7( new int(7) );
- std::unique_ptr<int> p8( new int(8) );
- boost::hof::lazy( fv8 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6, std::placeholders::_7, std::placeholders::_8 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ), std::move( p5 ), std::move( p6 ), std::move( p7 ), std::move( p8 ) );
- }
- BOOST_HOF_TEST_CASE()
- {
- std::unique_ptr<int> p1( new int(1) );
- std::unique_ptr<int> p2( new int(2) );
- std::unique_ptr<int> p3( new int(3) );
- std::unique_ptr<int> p4( new int(4) );
- std::unique_ptr<int> p5( new int(5) );
- std::unique_ptr<int> p6( new int(6) );
- std::unique_ptr<int> p7( new int(7) );
- std::unique_ptr<int> p8( new int(8) );
- std::unique_ptr<int> p9( new int(9) );
- boost::hof::lazy( fv9 )( std::placeholders::_1, std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6, std::placeholders::_7, std::placeholders::_8, std::placeholders::_9 )( std::move( p1 ), std::move( p2 ), std::move( p3 ), std::move( p4 ), std::move( p5 ), std::move( p6 ), std::move( p7 ), std::move( p8 ), std::move( p9 ) );
- }
- struct X_ref
- {
- int f( int x )
- {
- return x;
- }
- int g( int x ) const
- {
- return -x;
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- X_ref x;
- BOOST_HOF_TEST_CHECK( boost::hof::lazy( &X_ref::f )( std::ref( x ), std::placeholders::_1 )( 1 ) == 1 );
- BOOST_HOF_TEST_CHECK( boost::hof::lazy( &X_ref::g )( std::cref( x ), std::placeholders::_1 )( 2 ) == -2 );
- }
- BOOST_HOF_TEST_CASE()
- {
- auto lazy_f_1 = boost::hof::lazy(f_1())(std::placeholders::_1);
- static_assert(boost::hof::is_invocable<decltype(lazy_f_1), long>::value, "Invocable");
- static_assert(boost::hof::is_invocable<decltype(lazy_f_1), long, long>::value, "Invocable");
-
- auto lazy_f_2 = boost::hof::lazy(f_2())(std::placeholders::_1, std::placeholders::_2);
- static_assert(boost::hof::is_invocable<decltype(lazy_f_2), long, long>::value, "Invocable");
- static_assert(!boost::hof::is_invocable<decltype(lazy_f_2), long>::value, "Not SFINAE-friendly");
- }
- struct dummy_unary_fn
- {
- template <typename S>
- int operator()(S const &) const { return 0; }
- };
- struct bad_unary_fn
- {
- template <typename S>
- constexpr int operator()(S const &) const
- {
- static_assert(!std::is_same<S, S>::value, "Failure");
- return 0;
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- auto b = boost::hof::lazy(dummy_unary_fn())(bad_unary_fn());
- b(0);
- }
- struct by_value_fn
- {
- template<typename T, typename U>
- void operator()(T &&, U &&) const
- {
- static_assert(std::is_same<U, int>::value, "");
- }
- };
- BOOST_HOF_TEST_CASE()
- {
- boost::hof::lazy(by_value_fn{})(std::placeholders::_1, 42)("hello");
- }
- #if BOOST_HOF_HAS_NOEXCEPT_DEDUCTION
- struct copy_throws
- {
- copy_throws() {}
- copy_throws(copy_throws const&) {}
- copy_throws(copy_throws&&) noexcept {}
- };
- struct no_throw_fo
- {
- void operator()() const noexcept {}
- void operator()(int) const noexcept {}
- void operator()(copy_throws) const noexcept {}
- };
- struct throws_fo
- {
- void operator()() const {}
- };
- struct member_obj
- {
- int x;
- };
- BOOST_HOF_TEST_CASE()
- {
- no_throw_fo obj;
- copy_throws arg;
- static_assert(noexcept(boost::hof::lazy(no_throw_fo{})()()), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(obj)()()), "noexcept lazy");
- static_assert(!noexcept(boost::hof::lazy(obj)(arg)()), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(obj)(1)()), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(obj)(std::placeholders::_1)), "noexcept lazy");
- // static_assert(noexcept(boost::hof::lazy(obj)(std::placeholders::_1)()), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(obj)(std::placeholders::_1)(1)), "noexcept lazy");
- static_assert(!noexcept(boost::hof::lazy(obj)(std::placeholders::_1)(arg)), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(obj)(std::move(arg))), "noexcept lazy");
- static_assert(!noexcept(boost::hof::lazy(obj)(std::move(arg))()), "noexcept lazy");
- }
- BOOST_HOF_TEST_CASE()
- {
- throws_fo obj;
- static_assert(!noexcept(boost::hof::lazy(obj)()()), "noexcept lazy");
- }
- BOOST_HOF_TEST_CASE()
- {
- member_obj obj{42};
- static_assert(noexcept(boost::hof::lazy(&member_obj::x)(obj)()), "noexcept lazy");
- static_assert(noexcept(boost::hof::lazy(&member_obj::x)(std::placeholders::_1)(obj)), "noexcept lazy");
- }
- #endif
|