boost/hof
2
0
Fork 0
mirror of https://github.com/boostorg/hof.git synced 2026-01-21 17:02:28 +00:00
Code Issues Projects Releases Wiki Activity
Files
0.5
hof/test/protect.cpp
Paul f1845754b2 Use fit placeholders instead
2016-09-10 15:02:31 -05:00

297 lines
22 KiB
C++
Raw Permalink Blame History

#include <fit/protect.hpp>
#include <fit/lazy.hpp>
#include <fit/placeholders.hpp>
#include <memory>
#include "test.hpp"
#include <fit/function.hpp>
int f(int x)
{
return x;
}
int& g(int& x)
{
return x;
}
template<class T>
const T& constify(const T& arg)
{
return arg;
}
FIT_TEST_CASE()
{
int i[9] = {0,1,2,3,4,5,6,7,8};
// non-const
// test nullary
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(1))() == 1);
// test lvalues
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4]) == &i[4]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[4]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[5]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[4]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[5]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[6]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[4]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[5]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[6]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_8))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[7]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[0]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[1]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[2]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[3]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[4]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[5]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[6]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_8))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[7]);
FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_9))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[8]);
// test rvalues
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4) == 4);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5) == 4);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5) == 5);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6) == 4);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6) == 5);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6) == 6);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6, 7) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6, 7) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6, 7) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6, 7) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6, 7) == 4);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6, 7) == 5);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6, 7) == 6);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_8))(0, 1, 2, 3, 4, 5, 6, 7) == 7);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 2);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 3);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 4);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 5);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 6);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_8))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 7);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_9))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 8);
// test mixed perfect forwarding
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(i[0], 1) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(i[0], 1) == 1);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, i[1]) == 0);
FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, i[1]) == 1);
// const
// test nullary
FIT_TEST_CHECK(constify(constify(fit::protect(fit::lazy(f)(1))))() == 1);
// test lvalues
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0]) == &i[0]);
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0], i[1]) == &i[0]);
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_2))))(i[0], i[1]) == &i[1]);
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0], i[1], i[2]) == &i[0]);
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_2))))(i[0], i[1], i[2]) == &i[1]);
FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_3))))(i[0], i[1], i[2]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4]) == &i[4]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[4]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[5]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[4]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[5]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[6]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[4]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[5]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[6]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_8)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[7]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[0]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[1]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[2]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[3]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[4]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[5]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[6]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_8)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[7]);
FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_9)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[8]);
// test rvalues
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4) == 4);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5) == 4);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5) == 5);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6) == 4);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6) == 5);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6) == 6);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6, 7) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6, 7) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6, 7) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6, 7) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6, 7) == 4);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6, 7) == 5);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6, 7) == 6);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_8)))(0, 1, 2, 3, 4, 5, 6, 7) == 7);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 2);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 3);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 4);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 5);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 6);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_8)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 7);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_9)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 8);
// test mixed perfect forwarding
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(i[0], 1) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(i[0], 1) == 1);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, i[1]) == 0);
FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, i[1]) == 1);
}
FIT_TEST_CASE()
{
FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), fit::_1)(17) == 17);
FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), 17)() == 17);
FIT_STATIC_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), fit::_1)(17) == 17);
FIT_STATIC_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), 17)() == 17);
}
namespace test1 {
int id(int x)
{
return x;
}
FIT_TEST_CASE()
{
FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(id)(std::placeholders::_1)), std::placeholders::_1)(17) == 17);
FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(id)(std::placeholders::_1)), 17)() == 17);
}
}
Reference in New Issue View Git Blame Copy Permalink