BlackMATov/meta.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/meta.hpp.git synced 2025-12-15 03:45:30 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
aa24ed37e885ec4cc1f0a7be8280e7af5fde6ea3
meta.hpp/untests/meta_utilities/inst_tests.cpp
BlackMATov aa24ed37e8 binds opts with metadata
2022-02-12 08:07:46 +07:00

385 lines
16 KiB
C++
Raw Blame History

/*******************************************************************************
* This file is part of the "https://github.com/blackmatov/meta.hpp"
* For conditions of distribution and use, see copyright notice in LICENSE.md
* Copyright (C) 2021-2022, by Matvey Cherevko (blackmatov@gmail.com)
******************************************************************************/
#include "../meta_untests.hpp"
namespace
{
struct fake {
int i = 10;
};
struct clazz {
int ii = 1;
[[nodiscard]] int m1() { return ii; }
[[nodiscard]] int m2() & { return ii; }
[[nodiscard]] int m3() && { return ii; }
[[nodiscard]] int m4() const { return ii; }
[[nodiscard]] int m5() const & { return ii; }
[[nodiscard]] int m6() const && { return ii; }
};
struct dclazz : fake, clazz {};
}
// NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
#define META_HPP_CHECK_INVOCABLE(Inst, FName, Qualifiers)\
{\
using namespace meta::detail;\
auto method_ptr = meta::select_overload<int() Qualifiers>(&clazz::FName);\
meta::method m_state{method_state::make<meta::method_policy::as_copy>("", method_ptr, {})};\
\
if ( std::is_invocable_v<decltype(method_ptr), decltype(Inst)> ) {\
CHECK(uinst{Inst}.can_cast_to<clazz Qualifiers>());\
CHECK(uinst_base{type_list<decltype(Inst)>{}}.can_cast_to<clazz Qualifiers>());\
CHECK_NOTHROW(std::ignore = uinst{Inst}.cast<clazz Qualifiers>());\
\
CHECK(m_state.is_invocable_with<decltype(Inst)>());\
CHECK(m_state.invoke(Inst) == 1);\
} else {\
CHECK_FALSE(uinst{Inst}.can_cast_to<clazz Qualifiers>());\
CHECK_FALSE(uinst_base{type_list<decltype(Inst)>{}}.can_cast_to<clazz Qualifiers>());\
CHECK_THROWS(std::ignore = uinst{Inst}.cast<clazz Qualifiers>());\
\
CHECK_FALSE(m_state.is_invocable_with<decltype(Inst)>());\
CHECK_THROWS(m_state.invoke(Inst));\
}\
}
// NOLINTNEXTLINE(cppcoreguidelines-macro-usage)
#define META_HPP_CHECK_INVOCABLE_2(FromValue, FName, FromType, ToQualifiers)\
{\
using namespace meta::detail;\
auto method_ptr = meta::select_overload<int() ToQualifiers>(&clazz::FName);\
meta::method m_state{method_state::make<meta::method_policy::as_copy>("", method_ptr, {})};\
\
if ( std::is_invocable_v<decltype(method_ptr), FromType> ) {\
CHECK(m_state.is_invocable_with<FromType>());\
CHECK(m_state.is_invocable_with(FromValue));\
CHECK(m_state.invoke(FromValue) == 1);\
} else {\
CHECK_FALSE(m_state.is_invocable_with<FromType>());\
CHECK_FALSE(m_state.is_invocable_with(FromValue));\
CHECK_THROWS(m_state.invoke(FromValue));\
}\
}
TEST_CASE("meta/meta_utilities/inst2") {
namespace meta = meta_hpp;
meta::class_<fake>();
meta::class_<clazz>();
meta::class_<dclazz>().base_<fake>().base_<clazz>();
}
TEST_CASE("meta/meta_utilities/inst2/refs") {
namespace meta = meta_hpp;
{
// lvalue
auto LV = []() -> clazz& { static clazz v; return v; };
auto LV2 = []() -> dclazz& { static dclazz v; return v; };
{
meta::detail::uinst i{LV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::lvalue);
}
META_HPP_CHECK_INVOCABLE(LV(), m1, )
META_HPP_CHECK_INVOCABLE(LV(), m2, &)
META_HPP_CHECK_INVOCABLE(LV(), m3, &&)
META_HPP_CHECK_INVOCABLE(LV(), m4, const)
META_HPP_CHECK_INVOCABLE(LV(), m5, const &)
META_HPP_CHECK_INVOCABLE(LV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(LV2(), m1, )
META_HPP_CHECK_INVOCABLE(LV2(), m2, &)
META_HPP_CHECK_INVOCABLE(LV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(LV2(), m4, const)
META_HPP_CHECK_INVOCABLE(LV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(LV2(), m6, const &&)
}
{
// const lvalue
auto CLV = []() -> const clazz& { static clazz v; return v; };
auto CLV2 = []() -> const dclazz& { static dclazz v; return v; };
{
meta::detail::uinst i{CLV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::const_lvalue);
}
META_HPP_CHECK_INVOCABLE(CLV(), m1, )
META_HPP_CHECK_INVOCABLE(CLV(), m2, &)
META_HPP_CHECK_INVOCABLE(CLV(), m3, &&)
META_HPP_CHECK_INVOCABLE(CLV(), m4, const)
META_HPP_CHECK_INVOCABLE(CLV(), m5, const &)
META_HPP_CHECK_INVOCABLE(CLV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(CLV2(), m1, )
META_HPP_CHECK_INVOCABLE(CLV2(), m2, &)
META_HPP_CHECK_INVOCABLE(CLV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(CLV2(), m4, const)
META_HPP_CHECK_INVOCABLE(CLV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(CLV2(), m6, const &&)
}
{
// xvalue
auto XV = []() -> clazz&& { static clazz v; return std::move(v); };
auto XV2 = []() -> dclazz&& { static dclazz v; return std::move(v); };
{
meta::detail::uinst i{XV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::rvalue);
}
META_HPP_CHECK_INVOCABLE(XV(), m1, )
META_HPP_CHECK_INVOCABLE(XV(), m2, &)
META_HPP_CHECK_INVOCABLE(XV(), m3, &&)
META_HPP_CHECK_INVOCABLE(XV(), m4, const)
META_HPP_CHECK_INVOCABLE(XV(), m5, const &)
META_HPP_CHECK_INVOCABLE(XV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(XV2(), m1, )
META_HPP_CHECK_INVOCABLE(XV2(), m2, &)
META_HPP_CHECK_INVOCABLE(XV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(XV2(), m4, const)
META_HPP_CHECK_INVOCABLE(XV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(XV2(), m6, const &&)
}
{
// const xvalue
auto CXV = []() -> const clazz&& { static clazz v; return std::move(v); };
auto CXV2 = []() -> const dclazz&& { static dclazz v; return std::move(v); };
{
meta::detail::uinst i{CXV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::const_rvalue);
}
META_HPP_CHECK_INVOCABLE(CXV(), m1, )
META_HPP_CHECK_INVOCABLE(CXV(), m2, &)
META_HPP_CHECK_INVOCABLE(CXV(), m3, &&)
META_HPP_CHECK_INVOCABLE(CXV(), m4, const)
META_HPP_CHECK_INVOCABLE(CXV(), m5, const &)
META_HPP_CHECK_INVOCABLE(CXV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(CXV2(), m1, )
META_HPP_CHECK_INVOCABLE(CXV2(), m2, &)
META_HPP_CHECK_INVOCABLE(CXV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(CXV2(), m4, const)
META_HPP_CHECK_INVOCABLE(CXV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(CXV2(), m6, const &&)
}
{
// prvalue
auto PRV = []() -> clazz { return clazz{}; };
auto PRV2 = []() -> dclazz { return dclazz{}; };
{
meta::detail::uinst i{PRV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::rvalue);
}
META_HPP_CHECK_INVOCABLE(PRV(), m1, )
META_HPP_CHECK_INVOCABLE(PRV(), m2, &)
META_HPP_CHECK_INVOCABLE(PRV(), m3, &&)
META_HPP_CHECK_INVOCABLE(PRV(), m4, const)
META_HPP_CHECK_INVOCABLE(PRV(), m5, const &)
META_HPP_CHECK_INVOCABLE(PRV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(PRV2(), m1, )
META_HPP_CHECK_INVOCABLE(PRV2(), m2, &)
META_HPP_CHECK_INVOCABLE(PRV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(PRV2(), m4, const)
META_HPP_CHECK_INVOCABLE(PRV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(PRV2(), m6, const &&)
}
{
// const prvalue
auto CPRV = []() -> const clazz { return clazz{}; };
auto CPRV2 = []() -> const dclazz { return dclazz{}; };
{
meta::detail::uinst i{CPRV()};
CHECK(i.get_raw_type() == meta::resolve_type<clazz>());
CHECK(i.get_ref_type() == meta::detail::uinst::ref_types::const_rvalue);
}
META_HPP_CHECK_INVOCABLE(CPRV(), m1, )
META_HPP_CHECK_INVOCABLE(CPRV(), m2, &)
META_HPP_CHECK_INVOCABLE(CPRV(), m3, &&)
META_HPP_CHECK_INVOCABLE(CPRV(), m4, const)
META_HPP_CHECK_INVOCABLE(CPRV(), m5, const &)
META_HPP_CHECK_INVOCABLE(CPRV(), m6, const &&)
META_HPP_CHECK_INVOCABLE(CPRV2(), m1, )
META_HPP_CHECK_INVOCABLE(CPRV2(), m2, &)
META_HPP_CHECK_INVOCABLE(CPRV2(), m3, &&)
META_HPP_CHECK_INVOCABLE(CPRV2(), m4, const)
META_HPP_CHECK_INVOCABLE(CPRV2(), m5, const &)
META_HPP_CHECK_INVOCABLE(CPRV2(), m6, const &&)
}
}
TEST_CASE("meta/meta_utilities/inst2/values") {
namespace meta = meta_hpp;
{
// lvalue
auto LV = []() -> meta::uvalue& { static meta::uvalue v{clazz{}}; return v; };
auto LV2 = []() -> meta::uvalue& { static meta::uvalue v{dclazz{}}; return v; };
meta::detail::uarg a{LV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::lvalue);
META_HPP_CHECK_INVOCABLE_2(LV(), m1, clazz&, )
META_HPP_CHECK_INVOCABLE_2(LV(), m2, clazz&, &)
META_HPP_CHECK_INVOCABLE_2(LV(), m3, clazz&, &&)
META_HPP_CHECK_INVOCABLE_2(LV(), m4, clazz&, const)
META_HPP_CHECK_INVOCABLE_2(LV(), m5, clazz&, const &)
META_HPP_CHECK_INVOCABLE_2(LV(), m6, clazz&, const &&)
META_HPP_CHECK_INVOCABLE_2(LV2(), m1, dclazz&, )
META_HPP_CHECK_INVOCABLE_2(LV2(), m2, dclazz&, &)
META_HPP_CHECK_INVOCABLE_2(LV2(), m3, dclazz&, &&)
META_HPP_CHECK_INVOCABLE_2(LV2(), m4, dclazz&, const)
META_HPP_CHECK_INVOCABLE_2(LV2(), m5, dclazz&, const &)
META_HPP_CHECK_INVOCABLE_2(LV2(), m6, dclazz&, const &&)
}
{
// const lvalue
auto CLV = []() -> const meta::uvalue& { static meta::uvalue v{clazz{}}; return v; };
auto CLV2 = []() -> const meta::uvalue& { static meta::uvalue v{dclazz{}}; return v; };
meta::detail::uarg a{CLV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::const_lvalue);
META_HPP_CHECK_INVOCABLE_2(CLV(), m1, const clazz&, )
META_HPP_CHECK_INVOCABLE_2(CLV(), m2, const clazz&, &)
META_HPP_CHECK_INVOCABLE_2(CLV(), m3, const clazz&, &&)
META_HPP_CHECK_INVOCABLE_2(CLV(), m4, const clazz&, const)
META_HPP_CHECK_INVOCABLE_2(CLV(), m5, const clazz&, const &)
META_HPP_CHECK_INVOCABLE_2(CLV(), m6, const clazz&, const &&)
META_HPP_CHECK_INVOCABLE_2(CLV2(), m1, const dclazz&, )
META_HPP_CHECK_INVOCABLE_2(CLV2(), m2, const dclazz&, &)
META_HPP_CHECK_INVOCABLE_2(CLV2(), m3, const dclazz&, &&)
META_HPP_CHECK_INVOCABLE_2(CLV2(), m4, const dclazz&, const)
META_HPP_CHECK_INVOCABLE_2(CLV2(), m5, const dclazz&, const &)
META_HPP_CHECK_INVOCABLE_2(CLV2(), m6, const dclazz&, const &&)
}
{
// xvalue
auto XV = []() -> meta::uvalue&& { static meta::uvalue v{clazz{}}; return std::move(v); };
auto XV2 = []() -> meta::uvalue&& { static meta::uvalue v{dclazz{}}; return std::move(v); };
meta::detail::uarg a{XV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::rvalue);
META_HPP_CHECK_INVOCABLE_2(XV(), m1, clazz&&, )
META_HPP_CHECK_INVOCABLE_2(XV(), m2, clazz&&, &)
META_HPP_CHECK_INVOCABLE_2(XV(), m3, clazz&&, &&)
META_HPP_CHECK_INVOCABLE_2(XV(), m4, clazz&&, const)
META_HPP_CHECK_INVOCABLE_2(XV(), m5, clazz&&, const &)
META_HPP_CHECK_INVOCABLE_2(XV(), m6, clazz&&, const &&)
META_HPP_CHECK_INVOCABLE_2(XV2(), m1, dclazz&&, )
META_HPP_CHECK_INVOCABLE_2(XV2(), m2, dclazz&&, &)
META_HPP_CHECK_INVOCABLE_2(XV2(), m3, dclazz&&, &&)
META_HPP_CHECK_INVOCABLE_2(XV2(), m4, dclazz&&, const)
META_HPP_CHECK_INVOCABLE_2(XV2(), m5, dclazz&&, const &)
META_HPP_CHECK_INVOCABLE_2(XV2(), m6, dclazz&&, const &&)
}
{
// const xvalue
auto CXV = []() -> const meta::uvalue&& { static meta::uvalue v{clazz{}}; return std::move(v); };
auto CXV2 = []() -> const meta::uvalue&& { static meta::uvalue v{dclazz{}}; return std::move(v); };
meta::detail::uarg a{CXV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::const_rvalue);
META_HPP_CHECK_INVOCABLE_2(CXV(), m1, const clazz&&, )
META_HPP_CHECK_INVOCABLE_2(CXV(), m2, const clazz&&, &)
META_HPP_CHECK_INVOCABLE_2(CXV(), m3, const clazz&&, &&)
META_HPP_CHECK_INVOCABLE_2(CXV(), m4, const clazz&&, const)
META_HPP_CHECK_INVOCABLE_2(CXV(), m5, const clazz&&, const &)
META_HPP_CHECK_INVOCABLE_2(CXV(), m6, const clazz&&, const &&)
META_HPP_CHECK_INVOCABLE_2(CXV2(), m1, const dclazz&&, )
META_HPP_CHECK_INVOCABLE_2(CXV2(), m2, const dclazz&&, &)
META_HPP_CHECK_INVOCABLE_2(CXV2(), m3, const dclazz&&, &&)
META_HPP_CHECK_INVOCABLE_2(CXV2(), m4, const dclazz&&, const)
META_HPP_CHECK_INVOCABLE_2(CXV2(), m5, const dclazz&&, const &)
META_HPP_CHECK_INVOCABLE_2(CXV2(), m6, const dclazz&&, const &&)
}
{
// prvalue
auto PRV = []() -> meta::uvalue { return meta::uvalue{clazz{}}; };
auto PRV2 = []() -> meta::uvalue { return meta::uvalue{dclazz{}}; };
meta::detail::uarg a{PRV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::rvalue);
META_HPP_CHECK_INVOCABLE_2(PRV(), m1, clazz, )
META_HPP_CHECK_INVOCABLE_2(PRV(), m2, clazz, &)
META_HPP_CHECK_INVOCABLE_2(PRV(), m3, clazz, &&)
META_HPP_CHECK_INVOCABLE_2(PRV(), m4, clazz, const)
META_HPP_CHECK_INVOCABLE_2(PRV(), m5, clazz, const &)
META_HPP_CHECK_INVOCABLE_2(PRV(), m6, clazz, const &&)
META_HPP_CHECK_INVOCABLE_2(PRV2(), m1, dclazz, )
META_HPP_CHECK_INVOCABLE_2(PRV2(), m2, dclazz, &)
META_HPP_CHECK_INVOCABLE_2(PRV2(), m3, dclazz, &&)
META_HPP_CHECK_INVOCABLE_2(PRV2(), m4, dclazz, const)
META_HPP_CHECK_INVOCABLE_2(PRV2(), m5, dclazz, const &)
META_HPP_CHECK_INVOCABLE_2(PRV2(), m6, dclazz, const &&)
}
{
// const prvalue
auto CPRV = []() -> const meta::uvalue { return meta::uvalue{clazz{}}; };
auto CPRV2 = []() -> const meta::uvalue { return meta::uvalue{dclazz{}}; };
meta::detail::uarg a{CPRV()};
CHECK(a.get_raw_type() == meta::resolve_type<clazz>());
CHECK(a.get_ref_type() == meta::detail::uarg::ref_types::const_rvalue);
META_HPP_CHECK_INVOCABLE_2(CPRV(), m1, const clazz, )
META_HPP_CHECK_INVOCABLE_2(CPRV(), m2, const clazz, &)
META_HPP_CHECK_INVOCABLE_2(CPRV(), m3, const clazz, &&)
META_HPP_CHECK_INVOCABLE_2(CPRV(), m4, const clazz, const)
META_HPP_CHECK_INVOCABLE_2(CPRV(), m5, const clazz, const &)
META_HPP_CHECK_INVOCABLE_2(CPRV(), m6, const clazz, const &&)
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m1, const dclazz, )
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m2, const dclazz, &)
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m3, const dclazz, &&)
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m4, const dclazz, const)
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m5, const dclazz, const &)
META_HPP_CHECK_INVOCABLE_2(CPRV2(), m6, const dclazz, const &&)
}
}
Reference in New Issue View Git Blame Copy Permalink