boost/compat
2
0
Fork 0
mirror of https://github.com/boostorg/compat.git synced 2026-01-19 04:02:16 +00:00
Code Issues Projects Releases Wiki Activity

Remove use of BOOST_COMPAT_HAS_AUTO_NTTP in function_ref_mfn_test.cpp

Browse Source
This commit is contained in:
Peter Dimov
2025-11-01 18:51:37 +02:00
parent db39b5075c
commit f9dd6181fb
1 changed files with 51 additions and 49 deletions
Download Patch File Download Diff File Expand all files Collapse all files

100
test/function_ref_mfn_test.cpp
View File

@@ -7,19 +7,23 @@
#endif
#include <boost/compat/function_ref.hpp>
#if !defined(BOOST_COMPAT_HAS_AUTO_NTTP)
#include <boost/config/pragma_message.hpp>
BOOST_PRAGMA_MESSAGE("no support for placeholder NTTPs detected, skipping this test")
int main() {}
#else
#include <boost/core/lightweight_test.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#include <memory>
#include <type_traits>
#if defined(__cpp_nontype_template_parameter_auto) && __cpp_nontype_template_parameter_auto >= 201606L
#define NONTYPE(fn) compat::nontype<fn>
#define NONTYPE_T(fn) compat::nontype_t<fn>
#else
#define NONTYPE(fn) compat::detail::nontype11<decltype(fn), fn>{}
#define NONTYPE_T(fn) compat::detail::nontype11<decltype(fn), fn>
#endif
struct F1 {
std::unique_ptr<int> p_;
int q_ = 1337;
@@ -38,121 +42,121 @@ int main() {
{
F1 f1;
compat::function_ref<int(F1&)> fn1(compat::nontype_t<&F1::m1>{});
compat::function_ref<int(F1&)> fn1(NONTYPE(&F1::m1));
BOOST_TEST_EQ(fn1(f1), 0);
int x = 2;
compat::function_ref<int(F1&, int)> fn2(compat::nontype_t<&F1::m2>{});
compat::function_ref<int(F1&, int)> fn2(NONTYPE(&F1::m2));
BOOST_TEST_EQ(fn2(f1, x), 12);
compat::function_ref<int(F1&, int, int)> fn3(compat::nontype_t<&F1::m3>{});
compat::function_ref<int(F1&, int, int)> fn3(NONTYPE(&F1::m3));
BOOST_TEST_EQ(fn3(f1, 2, 3), 123);
compat::function_ref<int(F1&, int, int, int)> fn4(compat::nontype_t<&F1::m4>{});
compat::function_ref<int(F1&, int, int, int)> fn4(NONTYPE(&F1::m4));
BOOST_TEST_EQ(fn4(f1, 2, 3, 4), 1234);
compat::function_ref<int(F1&)> a1(compat::nontype_t<&F1::q_>{});
compat::function_ref<int(F1&)> a1(NONTYPE(&F1::q_));
BOOST_TEST_EQ(a1(f1), 1337);
}
{
F1 f1;
compat::function_ref<int(F1&) const> fn1(compat::nontype_t<&F1::m1>{});
compat::function_ref<int(F1&) const> fn1(NONTYPE(&F1::m1));
BOOST_TEST_EQ(fn1(f1), 0);
compat::function_ref<int(F1&, int) const> fn2(compat::nontype_t<&F1::m2>{});
compat::function_ref<int(F1&, int) const> fn2(NONTYPE(&F1::m2));
BOOST_TEST_EQ(fn2(f1, 2), 12);
compat::function_ref<int(F1&, int, int) const> fn3(compat::nontype_t<&F1::m3>{});
compat::function_ref<int(F1&, int, int) const> fn3(NONTYPE(&F1::m3));
BOOST_TEST_EQ(fn3(f1, 2, 3), 123);
compat::function_ref<int(F1&, int, int, int) const> fn4(compat::nontype_t<&F1::m4>{});
compat::function_ref<int(F1&, int, int, int) const> fn4(NONTYPE(&F1::m4));
BOOST_TEST_EQ(fn4(f1, 2, 3, 4), 1234);
}
{
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(F1 const&)>, compat::nontype_t<&F1::m1>>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(F1 const&)>, NONTYPE_T(&F1::m1)>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(F1 const&, int)>, compat::nontype_t<&F1::m2>>));
(std::is_constructible<compat::function_ref<int(F1 const&, int)>, NONTYPE_T(&F1::m2)>));
F1 f1;
compat::function_ref<int(F1 const&, int, int) const> fn3(compat::nontype_t<&F1::m3>{});
compat::function_ref<int(F1 const&, int, int) const> fn3(NONTYPE(&F1::m3));
BOOST_TEST_EQ(fn3(f1, 2, 3), 123);
compat::function_ref<int(F1 const&, int, int, int) const> fn4(compat::nontype_t<&F1::m4>{});
compat::function_ref<int(F1 const&, int, int, int) const> fn4(NONTYPE(&F1::m4));
BOOST_TEST_EQ(fn4(f1, 2, 3, 4), 1234);
auto const& f2 = f1;
compat::function_ref<int(F1 const&, int, int) const> fn23(compat::nontype_t<&F1::m3>{});
compat::function_ref<int(F1 const&, int, int) const> fn23(NONTYPE(&F1::m3));
BOOST_TEST_EQ(fn3(f2, 2, 3), 123);
compat::function_ref<int(F1 const&, int, int, int) const> fn24(compat::nontype_t<&F1::m4>{});
compat::function_ref<int(F1 const&, int, int, int) const> fn24(NONTYPE(&F1::m4));
BOOST_TEST_EQ(fn4(f2, 2, 3, 4), 1234);
}
{
BOOST_TEST_TRAIT_TRUE((std::is_constructible<compat::function_ref<int(int)>, compat::nontype_t<&F1::m2>, F1&>));
BOOST_TEST_TRAIT_TRUE((std::is_constructible<compat::function_ref<int(int)>, NONTYPE_T(&F1::m2), F1&>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(int)>, compat::nontype_t<&F1::m2>, F1 const&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(int)>, compat::nontype_t<&F1::m2>, F1&&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(int)>, compat::nontype_t<&F1::m2>, F1>));
(std::is_constructible<compat::function_ref<int(int)>, NONTYPE_T(&F1::m2), F1 const&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(int)>, NONTYPE_T(&F1::m2), F1&&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int(int)>, NONTYPE_T(&F1::m2), F1>));
BOOST_TEST_TRAIT_TRUE(
(std::is_constructible<compat::function_ref<int(int, int) const>, compat::nontype_t<&F1::m3>, F1&>));
(std::is_constructible<compat::function_ref<int(int, int) const>, NONTYPE_T(&F1::m3), F1&>));
BOOST_TEST_TRAIT_TRUE(
(std::is_constructible<compat::function_ref<int(int, int) const>, compat::nontype_t<&F1::m3>, F1 const&>));
(std::is_constructible<compat::function_ref<int(int, int) const>, NONTYPE_T(&F1::m3), F1 const&>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(int, int) const>, compat::nontype_t<&F1::m3>, F1&&>));
(std::is_constructible<compat::function_ref<int(int, int) const>, NONTYPE_T(&F1::m3), F1&&>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(int, int) const>, compat::nontype_t<&F1::m3>, F1>));
(std::is_constructible<compat::function_ref<int(int, int) const>, NONTYPE_T(&F1::m3), F1>));
}
{
F1 f1;
compat::function_ref<int()> fn1(compat::nontype_t<&F1::m1>{}, f1);
compat::function_ref<int()> fn1(NONTYPE(&F1::m1), f1);
BOOST_TEST_EQ(fn1(), 0);
compat::function_ref<int(int)> fn2(compat::nontype_t<&F1::m2>{}, f1);
compat::function_ref<int(int)> fn2(NONTYPE(&F1::m2), f1);
BOOST_TEST_EQ(fn2(2), 12);
compat::function_ref<int(int, int)> fn3(compat::nontype_t<&F1::m3>{}, f1);
compat::function_ref<int(int, int)> fn3(NONTYPE(&F1::m3), f1);
BOOST_TEST_EQ(fn3(2, 3), 123);
compat::function_ref<int(int, int, int)> fn4(compat::nontype_t<&F1::m4>{}, f1);
compat::function_ref<int(int, int, int)> fn4(NONTYPE(&F1::m4), f1);
BOOST_TEST_EQ(fn4(2, 3, 4), 1234);
}
{
F1 const f1;
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int() const>, compat::nontype_t<&F1::m1>, F1&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<compat::function_ref<int() const>, NONTYPE_T(&F1::m1), F1&>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(int) const>, compat::nontype_t<&F1::m2>, F1&>));
(std::is_constructible<compat::function_ref<int(int) const>, NONTYPE_T(&F1::m2), F1&>));
compat::function_ref<int(int, int) const> fn3(compat::nontype_t<&F1::m3>{}, f1);
compat::function_ref<int(int, int) const> fn3(NONTYPE(&F1::m3), f1);
BOOST_TEST_EQ(fn3(2, 3), 123);
compat::function_ref<int(int, int, int) const> fn4(compat::nontype_t<&F1::m4>{}, f1);
compat::function_ref<int(int, int, int) const> fn4(NONTYPE(&F1::m4), f1);
BOOST_TEST_EQ(fn4(2, 3, 4), 1234);
}
{
F1 f1;
compat::function_ref<int()> fn1(compat::nontype_t<&F1::m1>{}, &f1);
compat::function_ref<int()> fn1(NONTYPE(&F1::m1), &f1);
BOOST_TEST_EQ(fn1(), 0);
compat::function_ref<int(int)> fn2(compat::nontype_t<&F1::m2>{}, &f1);
compat::function_ref<int(int)> fn2(NONTYPE(&F1::m2), &f1);
BOOST_TEST_EQ(fn2(2), 12);
compat::function_ref<int(int, int)> fn3(compat::nontype_t<&F1::m3>{}, &f1);
compat::function_ref<int(int, int)> fn3(NONTYPE(&F1::m3), &f1);
BOOST_TEST_EQ(fn3(2, 3), 123);
compat::function_ref<int(int, int, int)> fn4(compat::nontype_t<&F1::m4>{}, &f1);
compat::function_ref<int(int, int, int)> fn4(NONTYPE(&F1::m4), &f1);
BOOST_TEST_EQ(fn4(2, 3, 4), 1234);
}
@@ -160,18 +164,16 @@ int main() {
F1 const f1;
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int() const>, compat::nontype_t<&F1::m1>, F1 const*>));
(std::is_constructible<compat::function_ref<int() const>, NONTYPE_T(&F1::m1), F1 const*>));
BOOST_TEST_TRAIT_FALSE(
(std::is_constructible<compat::function_ref<int(int) const>, compat::nontype_t<&F1::m2>, F1 const*>));
(std::is_constructible<compat::function_ref<int(int) const>, NONTYPE_T(&F1::m2), F1 const*>));
compat::function_ref<int(int, int) const> fn3(compat::nontype_t<&F1::m3>{}, &f1);
compat::function_ref<int(int, int) const> fn3(NONTYPE(&F1::m3), &f1);
BOOST_TEST_EQ(fn3(2, 3), 123);
compat::function_ref<int(int, int, int) const> fn4(compat::nontype_t<&F1::m4>{}, &f1);
compat::function_ref<int(int, int, int) const> fn4(NONTYPE(&F1::m4), &f1);
BOOST_TEST_EQ(fn4(2, 3, 4), 1234);
}
return boost::report_errors();
}
#endif