468 lines
17 KiB
C++
468 lines
17 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2017 Paul Fultz II
|
|
apply.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.hpp>
|
|
#include "test.hpp"
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(binary_class(), 1, 2) == 3);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(binary_class(), 1, 2) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(boost::hof::apply, binary_class(), 1, 2) == 3);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(boost::hof::apply, binary_class(), 1, 2) == 3);
|
|
}
|
|
|
|
struct member_sum_f
|
|
{
|
|
int i;
|
|
constexpr member_sum_f(int x) : i(x)
|
|
{}
|
|
|
|
constexpr int add(int x) const
|
|
{
|
|
return i+x;
|
|
}
|
|
};
|
|
|
|
struct member_sum_f_derived
|
|
: member_sum_f
|
|
{
|
|
constexpr member_sum_f_derived(int x) : member_sum_f(x)
|
|
{}
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::add, member_sum_f(1), 2) == 3);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::add, member_sum_f_derived(1), 2) == 3);
|
|
|
|
#ifdef __clang__
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(&member_sum_f::add, member_sum_f(1), 2) == 3);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(&member_sum_f::add, member_sum_f_derived(1), 2) == 3);
|
|
#endif
|
|
|
|
static_assert(std::is_base_of<member_sum_f, member_sum_f>::value, "Base of failed");
|
|
std::unique_ptr<member_sum_f> msp(new member_sum_f(1));
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::add, msp, 2) == 3);
|
|
|
|
std::unique_ptr<member_sum_f_derived> mspd(new member_sum_f_derived(1));
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::add, mspd, 2) == 3);
|
|
}
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::i, member_sum_f(3)) == 3);
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::i, member_sum_f_derived(3)) == 3);
|
|
|
|
#ifdef __clang__
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(&member_sum_f::i, member_sum_f(3)) == 3);
|
|
BOOST_HOF_STATIC_TEST_CHECK(boost::hof::apply(&member_sum_f::i, member_sum_f_derived(3)) == 3);
|
|
#endif
|
|
|
|
std::unique_ptr<member_sum_f> msp(new member_sum_f(3));
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::i, msp) == 3);
|
|
|
|
std::unique_ptr<member_sum_f_derived> mspd(new member_sum_f_derived(3));
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&member_sum_f::i, mspd) == 3);
|
|
}
|
|
|
|
|
|
struct mem_hash
|
|
{
|
|
mutable unsigned int hash;
|
|
|
|
mem_hash(): 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; }
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
|
|
mem_hash x;
|
|
|
|
mem_hash const & rcx = x;
|
|
mem_hash const * pcx = &x;
|
|
|
|
std::shared_ptr<mem_hash> sp(new mem_hash);
|
|
|
|
boost::hof::apply(&mem_hash::f0, x);
|
|
boost::hof::apply(&mem_hash::f0, &x);
|
|
boost::hof::apply(&mem_hash::f0, sp);
|
|
|
|
boost::hof::apply(&mem_hash::g0, x);
|
|
boost::hof::apply(&mem_hash::g0, rcx);
|
|
boost::hof::apply(&mem_hash::g0, &x);
|
|
boost::hof::apply(&mem_hash::g0, pcx);
|
|
boost::hof::apply(&mem_hash::g0, sp);
|
|
|
|
boost::hof::apply(&mem_hash::f1, x, 1);
|
|
boost::hof::apply(&mem_hash::f1, &x, 1);
|
|
boost::hof::apply(&mem_hash::f1, sp, 1);
|
|
|
|
boost::hof::apply(&mem_hash::g1, x, 1);
|
|
boost::hof::apply(&mem_hash::g1, rcx, 1);
|
|
boost::hof::apply(&mem_hash::g1, &x, 1);
|
|
boost::hof::apply(&mem_hash::g1, pcx, 1);
|
|
boost::hof::apply(&mem_hash::g1, sp, 1);
|
|
|
|
boost::hof::apply(&mem_hash::f2, x, 1, 2);
|
|
boost::hof::apply(&mem_hash::f2, &x, 1, 2);
|
|
boost::hof::apply(&mem_hash::f2, sp, 1, 2);
|
|
|
|
boost::hof::apply(&mem_hash::g2, x, 1, 2);
|
|
boost::hof::apply(&mem_hash::g2, rcx, 1, 2);
|
|
boost::hof::apply(&mem_hash::g2, &x, 1, 2);
|
|
boost::hof::apply(&mem_hash::g2, pcx, 1, 2);
|
|
boost::hof::apply(&mem_hash::g2, sp, 1, 2);
|
|
|
|
boost::hof::apply(&mem_hash::f3, x, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::f3, &x, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::f3, sp, 1, 2, 3);
|
|
|
|
boost::hof::apply(&mem_hash::g3, x, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::g3, rcx, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::g3, &x, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::g3, pcx, 1, 2, 3);
|
|
boost::hof::apply(&mem_hash::g3, sp, 1, 2, 3);
|
|
|
|
boost::hof::apply(&mem_hash::f4, x, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::f4, &x, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::f4, sp, 1, 2, 3, 4);
|
|
|
|
boost::hof::apply(&mem_hash::g4, x, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::g4, rcx, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::g4, &x, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::g4, pcx, 1, 2, 3, 4);
|
|
boost::hof::apply(&mem_hash::g4, sp, 1, 2, 3, 4);
|
|
|
|
boost::hof::apply(&mem_hash::f5, x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::f5, &x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::f5, sp, 1, 2, 3, 4, 5);
|
|
|
|
boost::hof::apply(&mem_hash::g5, x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::g5, rcx, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::g5, &x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::g5, pcx, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&mem_hash::g5, sp, 1, 2, 3, 4, 5);
|
|
|
|
boost::hof::apply(&mem_hash::f6, x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::f6, &x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::f6, sp, 1, 2, 3, 4, 5, 6);
|
|
|
|
boost::hof::apply(&mem_hash::g6, x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::g6, rcx, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::g6, &x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::g6, pcx, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&mem_hash::g6, sp, 1, 2, 3, 4, 5, 6);
|
|
|
|
boost::hof::apply(&mem_hash::f7, x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::f7, &x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::f7, sp, 1, 2, 3, 4, 5, 6, 7);
|
|
|
|
boost::hof::apply(&mem_hash::g7, x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::g7, rcx, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::g7, &x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::g7, pcx, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&mem_hash::g7, sp, 1, 2, 3, 4, 5, 6, 7);
|
|
|
|
boost::hof::apply(&mem_hash::f8, x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::f8, &x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::f8, sp, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
|
|
boost::hof::apply(&mem_hash::g8, x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::g8, rcx, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::g8, &x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::g8, pcx, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&mem_hash::g8, sp, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&mem_hash::hash, x) == 17610 && boost::hof::apply(&mem_hash::hash, sp) == 2155);
|
|
}
|
|
|
|
struct hash_base
|
|
{
|
|
mutable unsigned int hash;
|
|
|
|
hash_base(): 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 derived_hash: public hash_base
|
|
{
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
|
|
derived_hash x;
|
|
|
|
derived_hash const & rcx = x;
|
|
derived_hash const * pcx = &x;
|
|
|
|
std::shared_ptr<derived_hash> sp(new derived_hash);
|
|
|
|
boost::hof::apply(&derived_hash::f0, x);
|
|
boost::hof::apply(&derived_hash::f0, &x);
|
|
boost::hof::apply(&derived_hash::f0, sp);
|
|
|
|
boost::hof::apply(&derived_hash::g0, x);
|
|
boost::hof::apply(&derived_hash::g0, rcx);
|
|
boost::hof::apply(&derived_hash::g0, &x);
|
|
boost::hof::apply(&derived_hash::g0, pcx);
|
|
boost::hof::apply(&derived_hash::g0, sp);
|
|
|
|
boost::hof::apply(&derived_hash::f1, x, 1);
|
|
boost::hof::apply(&derived_hash::f1, &x, 1);
|
|
boost::hof::apply(&derived_hash::f1, sp, 1);
|
|
|
|
boost::hof::apply(&derived_hash::g1, x, 1);
|
|
boost::hof::apply(&derived_hash::g1, rcx, 1);
|
|
boost::hof::apply(&derived_hash::g1, &x, 1);
|
|
boost::hof::apply(&derived_hash::g1, pcx, 1);
|
|
boost::hof::apply(&derived_hash::g1, sp, 1);
|
|
|
|
boost::hof::apply(&derived_hash::f2, x, 1, 2);
|
|
boost::hof::apply(&derived_hash::f2, &x, 1, 2);
|
|
boost::hof::apply(&derived_hash::f2, sp, 1, 2);
|
|
|
|
boost::hof::apply(&derived_hash::g2, x, 1, 2);
|
|
boost::hof::apply(&derived_hash::g2, rcx, 1, 2);
|
|
boost::hof::apply(&derived_hash::g2, &x, 1, 2);
|
|
boost::hof::apply(&derived_hash::g2, pcx, 1, 2);
|
|
boost::hof::apply(&derived_hash::g2, sp, 1, 2);
|
|
|
|
boost::hof::apply(&derived_hash::f3, x, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::f3, &x, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::f3, sp, 1, 2, 3);
|
|
|
|
boost::hof::apply(&derived_hash::g3, x, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::g3, rcx, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::g3, &x, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::g3, pcx, 1, 2, 3);
|
|
boost::hof::apply(&derived_hash::g3, sp, 1, 2, 3);
|
|
|
|
boost::hof::apply(&derived_hash::f4, x, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::f4, &x, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::f4, sp, 1, 2, 3, 4);
|
|
|
|
boost::hof::apply(&derived_hash::g4, x, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::g4, rcx, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::g4, &x, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::g4, pcx, 1, 2, 3, 4);
|
|
boost::hof::apply(&derived_hash::g4, sp, 1, 2, 3, 4);
|
|
|
|
boost::hof::apply(&derived_hash::f5, x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::f5, &x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::f5, sp, 1, 2, 3, 4, 5);
|
|
|
|
boost::hof::apply(&derived_hash::g5, x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::g5, rcx, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::g5, &x, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::g5, pcx, 1, 2, 3, 4, 5);
|
|
boost::hof::apply(&derived_hash::g5, sp, 1, 2, 3, 4, 5);
|
|
|
|
boost::hof::apply(&derived_hash::f6, x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::f6, &x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::f6, sp, 1, 2, 3, 4, 5, 6);
|
|
|
|
boost::hof::apply(&derived_hash::g6, x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::g6, rcx, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::g6, &x, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::g6, pcx, 1, 2, 3, 4, 5, 6);
|
|
boost::hof::apply(&derived_hash::g6, sp, 1, 2, 3, 4, 5, 6);
|
|
|
|
boost::hof::apply(&derived_hash::f7, x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::f7, &x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::f7, sp, 1, 2, 3, 4, 5, 6, 7);
|
|
|
|
boost::hof::apply(&derived_hash::g7, x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::g7, rcx, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::g7, &x, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::g7, pcx, 1, 2, 3, 4, 5, 6, 7);
|
|
boost::hof::apply(&derived_hash::g7, sp, 1, 2, 3, 4, 5, 6, 7);
|
|
|
|
boost::hof::apply(&derived_hash::f8, x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::f8, &x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::f8, sp, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
|
|
boost::hof::apply(&derived_hash::g8, x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::g8, rcx, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::g8, &x, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::g8, pcx, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
boost::hof::apply(&derived_hash::g8, sp, 1, 2, 3, 4, 5, 6, 7, 8);
|
|
|
|
BOOST_HOF_TEST_CHECK(boost::hof::apply(&derived_hash::hash, x) == 17610 && boost::hof::apply(&derived_hash::hash, sp) == 2155);
|
|
}
|
|
|
|
struct dm_t
|
|
{
|
|
int m;
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
dm_t x = { 0 };
|
|
|
|
boost::hof::apply( &dm_t::m, x ) = 401;
|
|
|
|
BOOST_HOF_TEST_CHECK( x.m == 401 );
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &dm_t::m, x ) == 401 );
|
|
|
|
boost::hof::apply( &dm_t::m, &x ) = 502;
|
|
|
|
BOOST_HOF_TEST_CHECK( x.m == 502 );
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &dm_t::m, &x ) == 502 );
|
|
|
|
dm_t * px = &x;
|
|
|
|
boost::hof::apply( &dm_t::m, px ) = 603;
|
|
|
|
BOOST_HOF_TEST_CHECK( x.m == 603 );
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &dm_t::m, px ) == 603 );
|
|
|
|
dm_t const & cx = x;
|
|
dm_t const * pcx = &x;
|
|
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &dm_t::m, cx ) == 603 );
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &dm_t::m, pcx ) == 603 );
|
|
|
|
}
|
|
|
|
|
|
struct X_ref
|
|
{
|
|
int f()
|
|
{
|
|
return 1;
|
|
}
|
|
|
|
int g() const
|
|
{
|
|
return 2;
|
|
}
|
|
};
|
|
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
X_ref x;
|
|
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &X_ref::f, std::ref( x ) ) == 1 );
|
|
BOOST_HOF_TEST_CHECK( boost::hof::apply( &X_ref::g, std::cref( x ) ) == 2 );
|
|
}
|
|
#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()() noexcept {}
|
|
void operator()(copy_throws) noexcept {}
|
|
};
|
|
|
|
struct throws_fo
|
|
{
|
|
void operator()() {}
|
|
};
|
|
|
|
struct member_obj
|
|
{
|
|
int x;
|
|
};
|
|
// Only newer versions of gcc support deducing noexcept for member function pointers
|
|
#if defined(__GNUC__) && !defined (__clang__) && ((__GNUC__ == 4 && __GNUC_MINOR__ > 8) || (__GNUC__ > 4))
|
|
struct no_throw_member_fun
|
|
{
|
|
void foo_nullary() noexcept {}
|
|
void foo_unary(copy_throws) noexcept {}
|
|
};
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
no_throw_member_fun obj;
|
|
copy_throws arg;
|
|
static_assert(noexcept(boost::hof::apply(&no_throw_member_fun::foo_nullary, obj)), "");
|
|
static_assert(!noexcept(boost::hof::apply(&no_throw_member_fun::foo_unary, obj, arg)), "");
|
|
static_assert(noexcept(boost::hof::apply(&no_throw_member_fun::foo_unary, obj, std::move(arg))), "");
|
|
}
|
|
#endif
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
no_throw_fo obj;
|
|
copy_throws arg;
|
|
static_assert(noexcept(boost::hof::apply(obj)), "");
|
|
static_assert(!noexcept(boost::hof::apply(obj, arg)), "");
|
|
static_assert(noexcept(boost::hof::apply(obj, std::move(arg))), "");
|
|
}
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
throws_fo obj;
|
|
static_assert(!noexcept(boost::hof::apply(obj)), "");
|
|
}
|
|
BOOST_HOF_TEST_CASE()
|
|
{
|
|
member_obj obj{42};
|
|
static_assert(noexcept(boost::hof::apply(&member_obj::x, obj)), "");
|
|
}
|
|
#endif
|