diff --git a/test/Jamfile b/test/Jamfile index 54f199d..2cd97a4 100644 --- a/test/Jamfile +++ b/test/Jamfile @@ -59,3 +59,4 @@ run bind_front_mfn_test.cpp ; run bind_front_md_test.cpp ; compile bind_front_fn_constexpr_test.cpp ; +compile bind_front_obj_constexpr_test.cpp ; diff --git a/test/bind_front_obj_constexpr_test.cpp b/test/bind_front_obj_constexpr_test.cpp new file mode 100644 index 0000000..dd0b634 --- /dev/null +++ b/test/bind_front_obj_constexpr_test.cpp @@ -0,0 +1,96 @@ +// Copyright 2024 Peter Dimov +// Distributed under the Boost Software License, Version 1.0. +// https://www.boost.org/LICENSE_1_0.txt + +#include +#include +#include + +#if defined(BOOST_NO_CXX14_CONSTEXPR) + +BOOST_PRAGMA_MESSAGE( "Test skipped because BOOST_NO_CXX14_CONSTEXPR is defined" ) +int main() {} + +#else + +#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__) +#define BOOST_TEST_EQ(x, y) STATIC_ASSERT((x) == (y)) + +struct F1 +{ + constexpr int operator()() + { + return -1; + } + + constexpr int operator()( int x1 ) noexcept + { + return x1; + } + + constexpr int operator()( int x1, int x2 ) const + { + return 10*x1+x2; + } + + constexpr int operator()( int x1, int x2, int x3 ) const noexcept + { + return 100*x1 + 10*x2 + x3; + } +}; + +struct F2 +{ + constexpr int operator()( int x1, int x2 ) & + { + return 100*x1 + 10*x2 + 1; + } + + constexpr int operator()( int x1, int x2 ) const & + { + return 100*x1 + 10*x2 + 2; + } + constexpr int operator()( int x1, int x2 ) && + { + return 100*x1 + 10*x2 + 3; + } + constexpr int operator()( int x1, int x2 ) const && + { + return 100*x1 + 10*x2 + 4; + } +}; + +int main() +{ + { + BOOST_TEST_EQ( boost::compat::bind_front( F1() )(), -1 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1() )( 1 ), 1 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1() )( 1, 2 ), 12 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1() )( 1, 2, 3 ), 123 ); + + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1 )(), 1 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1 )( 2 ), 12 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1 )( 2, 3 ), 123 ); + + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1, 2 )(), 12 ); + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1, 2 )( 3 ), 123 ); + + BOOST_TEST_EQ( boost::compat::bind_front( F1(), 1, 2, 3 )(), 123 ); + } + + { + BOOST_TEST_EQ( boost::compat::bind_front( F2(), 9 )( 8 ), 983 ); + } + + { + constexpr auto fn = boost::compat::bind_front( F2(), 9 ); + BOOST_TEST_EQ( fn( 8 ), 982 ); + } + + { + constexpr auto fn = boost::compat::bind_front( F2(), 9 ); + BOOST_TEST_EQ( std::move( fn )( 8 ), 984 ); + } +} + +#endif