BlackMATov/meta.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/meta.hpp.git synced 2025-12-14 19:41:29 +07:00
Code Issues Packages Projects Releases Wiki Activity

add throw dtor uvalues support

Browse Source
This commit is contained in:
BlackMATov
2022-12-30 02:55:00 +07:00
parent 59ac01ae41
commit 398d4012f9
11 changed files with 128 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
headers/meta.hpp/meta_detail/value_traits/deref_traits.hpp
View File

@@ -22,28 +22,32 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<T*> {
uvalue operator()(T* v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<const T*> {
uvalue operator()(const T* v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<std::shared_ptr<T>> {
uvalue operator()(const std::shared_ptr<T>& v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<std::unique_ptr<T>> {
uvalue operator()(const std::unique_ptr<T>& v) const {
return uvalue{*v};

18
headers/meta.hpp/meta_detail/value_traits/index_traits.hpp
View File

@@ -22,7 +22,8 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct index_traits<T*> {
uvalue operator()(T* v, std::size_t i) const {
// NOLINTNEXTLINE(*-pointer-arithmetic)
@@ -30,7 +31,8 @@ namespace meta_hpp::detail
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct index_traits<const T*> {
uvalue operator()(const T* v, std::size_t i) const {
// NOLINTNEXTLINE(*-pointer-arithmetic)
@@ -38,28 +40,32 @@ namespace meta_hpp::detail
}
};
template < std::copy_constructible T, std::size_t Size >
template < typename T, std::size_t Size >
requires std::is_copy_constructible_v<T>
struct index_traits<std::array<T, Size>> {
uvalue operator()(const std::array<T, Size>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, std::size_t Extent >
template < typename T, std::size_t Extent >
requires std::is_copy_constructible_v<T>
struct index_traits<std::span<T, Extent>> {
uvalue operator()(const std::span<T, Extent>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, typename Traits, typename Allocator >
template < typename T, typename Traits, typename Allocator >
requires std::is_copy_constructible_v<T>
struct index_traits<std::basic_string<T, Traits, Allocator>> {
uvalue operator()(const std::basic_string<T, Traits, Allocator>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, typename Allocator >
template < typename T, typename Allocator >
requires std::is_copy_constructible_v<T>
struct index_traits<std::vector<T, Allocator>> {
uvalue operator()(const std::vector<T, Allocator>& v, std::size_t i) {
return uvalue{v[i]};

2
headers/meta.hpp/meta_states/constructor.hpp
View File

@@ -21,7 +21,7 @@ namespace meta_hpp::detail
using argument_types = typename ct::argument_types;
constexpr bool as_object =
std::copy_constructible<class_type> &&
std::is_copy_constructible_v<class_type> &&
std::same_as<Policy, constructor_policy::as_object>;
constexpr bool as_raw_ptr =

2
headers/meta.hpp/meta_states/function.hpp
View File

@@ -21,7 +21,7 @@ namespace meta_hpp::detail
using argument_types = typename ft::argument_types;
constexpr bool as_copy =
std::copy_constructible<return_type> &&
std::is_copy_constructible_v<return_type> &&
std::same_as<Policy, function_policy::as_copy>;
constexpr bool as_void =

2
headers/meta.hpp/meta_states/member.hpp
View File

@@ -22,7 +22,7 @@ namespace meta_hpp::detail
using value_type = typename mt::value_type;
constexpr bool as_copy =
std::copy_constructible<value_type> &&
std::is_copy_constructible_v<value_type> &&
std::same_as<Policy, member_policy::as_copy>;
constexpr bool as_ptr =

2
headers/meta.hpp/meta_states/method.hpp
View File

@@ -23,7 +23,7 @@ namespace meta_hpp::detail
using argument_types = typename mt::argument_types;
constexpr bool as_copy =
std::copy_constructible<return_type> &&
std::is_copy_constructible_v<return_type> &&
std::same_as<Policy, method_policy::as_copy>;
constexpr bool as_void =

2
headers/meta.hpp/meta_states/variable.hpp
View File

@@ -20,7 +20,7 @@ namespace meta_hpp::detail
using data_type = typename pt::data_type;
constexpr bool as_copy =
std::copy_constructible<data_type> &&
std::is_copy_constructible_v<data_type> &&
std::same_as<Policy, variable_policy::as_copy>;
constexpr bool as_ptr =

4
headers/meta.hpp/meta_uvalue.hpp
View File

@@ -38,12 +38,12 @@ namespace meta_hpp
uvalue& operator=(const uvalue& other);
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
// NOLINTNEXTLINE(*-forwarding-reference-overload)
explicit uvalue(T&& val);
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
uvalue& operator=(T&& val);
[[nodiscard]] bool is_valid() const noexcept;

4
headers/meta.hpp/meta_uvalue/uvalue.hpp
View File

@@ -271,14 +271,14 @@ namespace meta_hpp
}
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
// NOLINTNEXTLINE(*-forwarding-reference-overload)
uvalue::uvalue(T&& val) {
vtable_t::construct(*this, std::forward<T>(val));
}
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
uvalue& uvalue::operator=(T&& val) {
uvalue{std::forward<T>(val)}.swap(*this);
return *this;

48
singles/headers/meta.hpp/meta_all.hpp
View File

@@ -2212,12 +2212,12 @@ namespace meta_hpp
uvalue& operator=(const uvalue& other);
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
// NOLINTNEXTLINE(*-forwarding-reference-overload)
explicit uvalue(T&& val);
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
uvalue& operator=(T&& val);
[[nodiscard]] bool is_valid() const noexcept;
@@ -5115,7 +5115,7 @@ namespace meta_hpp::detail
using argument_types = typename ct::argument_types;
constexpr bool as_object =
std::copy_constructible<class_type> &&
std::is_copy_constructible_v<class_type> &&
std::same_as<Policy, constructor_policy::as_object>;
constexpr bool as_raw_ptr =
@@ -5641,7 +5641,7 @@ namespace meta_hpp::detail
using argument_types = typename ft::argument_types;
constexpr bool as_copy =
std::copy_constructible<return_type> &&
std::is_copy_constructible_v<return_type> &&
std::same_as<Policy, function_policy::as_copy>;
constexpr bool as_void =
@@ -6118,7 +6118,7 @@ namespace meta_hpp::detail
using value_type = typename mt::value_type;
constexpr bool as_copy =
std::copy_constructible<value_type> &&
std::is_copy_constructible_v<value_type> &&
std::same_as<Policy, member_policy::as_copy>;
constexpr bool as_ptr =
@@ -6415,7 +6415,7 @@ namespace meta_hpp::detail
using argument_types = typename mt::argument_types;
constexpr bool as_copy =
std::copy_constructible<return_type> &&
std::is_copy_constructible_v<return_type> &&
std::same_as<Policy, method_policy::as_copy>;
constexpr bool as_void =
@@ -6664,7 +6664,7 @@ namespace meta_hpp::detail
using data_type = typename pt::data_type;
constexpr bool as_copy =
std::copy_constructible<data_type> &&
std::is_copy_constructible_v<data_type> &&
std::same_as<Policy, variable_policy::as_copy>;
constexpr bool as_ptr =
@@ -7831,28 +7831,32 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<T*> {
uvalue operator()(T* v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<const T*> {
uvalue operator()(const T* v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<std::shared_ptr<T>> {
uvalue operator()(const std::shared_ptr<T>& v) const {
return uvalue{*v};
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct deref_traits<std::unique_ptr<T>> {
uvalue operator()(const std::unique_ptr<T>& v) const {
return uvalue{*v};
@@ -7897,7 +7901,8 @@ namespace meta_hpp::detail
namespace meta_hpp::detail
{
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct index_traits<T*> {
uvalue operator()(T* v, std::size_t i) const {
// NOLINTNEXTLINE(*-pointer-arithmetic)
@@ -7905,7 +7910,8 @@ namespace meta_hpp::detail
}
};
template < std::copy_constructible T >
template < typename T >
requires std::is_copy_constructible_v<T>
struct index_traits<const T*> {
uvalue operator()(const T* v, std::size_t i) const {
// NOLINTNEXTLINE(*-pointer-arithmetic)
@@ -7913,28 +7919,32 @@ namespace meta_hpp::detail
}
};
template < std::copy_constructible T, std::size_t Size >
template < typename T, std::size_t Size >
requires std::is_copy_constructible_v<T>
struct index_traits<std::array<T, Size>> {
uvalue operator()(const std::array<T, Size>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, std::size_t Extent >
template < typename T, std::size_t Extent >
requires std::is_copy_constructible_v<T>
struct index_traits<std::span<T, Extent>> {
uvalue operator()(const std::span<T, Extent>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, typename Traits, typename Allocator >
template < typename T, typename Traits, typename Allocator >
requires std::is_copy_constructible_v<T>
struct index_traits<std::basic_string<T, Traits, Allocator>> {
uvalue operator()(const std::basic_string<T, Traits, Allocator>& v, std::size_t i) const {
return uvalue{v[i]};
}
};
template < std::copy_constructible T, typename Allocator >
template < typename T, typename Allocator >
requires std::is_copy_constructible_v<T>
struct index_traits<std::vector<T, Allocator>> {
uvalue operator()(const std::vector<T, Allocator>& v, std::size_t i) {
return uvalue{v[i]};
@@ -8266,14 +8276,14 @@ namespace meta_hpp
}
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
// NOLINTNEXTLINE(*-forwarding-reference-overload)
uvalue::uvalue(T&& val) {
vtable_t::construct(*this, std::forward<T>(val));
}
template < detail::decay_non_value_kind T >
requires std::copy_constructible<std::decay_t<T>>
requires std::is_copy_constructible_v<std::decay_t<T>>
uvalue& uvalue::operator=(T&& val) {
uvalue{std::forward<T>(val)}.swap(*this);
return *this;

70
untests/meta_utilities/value4_tests.cpp Normal file
View File

@@ -0,0 +1,70 @@
/*******************************************************************************
* 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 clazz_throw_dtor {
int i{};
clazz_throw_dtor(int ni) : i{ni} {}
clazz_throw_dtor(const clazz_throw_dtor&) = default;
~clazz_throw_dtor() noexcept(false) = default;
static clazz_throw_dtor make(int ni) {
return {ni};
}
};
}
TEST_CASE("meta/meta_utilities/value5/throw_dtor") {
namespace meta = meta_hpp;
meta::class_<clazz_throw_dtor>()
.function_("make", &clazz_throw_dtor::make);
SUBCASE("value") {
meta::uvalue v{clazz_throw_dtor{42}};
CHECK(v.get_type() == meta::resolve_type<clazz_throw_dtor>());
CHECK(v.get_as<clazz_throw_dtor>().i == 42);
}
SUBCASE("ptr_deref") {
clazz_throw_dtor obj{42};
meta::uvalue v_ptr{&obj};
CHECK(v_ptr.get_type() == meta::resolve_type<clazz_throw_dtor*>());
CHECK(v_ptr.get_as<clazz_throw_dtor*>() == &obj);
meta::uvalue v = *v_ptr;
CHECK(v.get_type() == meta::resolve_type<clazz_throw_dtor>());
CHECK(v.get_as<clazz_throw_dtor>().i == 42);
}
SUBCASE("array_index") {
clazz_throw_dtor objs[2]{42, 21};
meta::uvalue v_ptr{objs};
CHECK(v_ptr.get_type() == meta::resolve_type<clazz_throw_dtor*>());
CHECK(v_ptr.get_as<clazz_throw_dtor*>() == objs);
meta::uvalue v = v_ptr[1];
CHECK(v.get_type() == meta::resolve_type<clazz_throw_dtor>());
CHECK(v.get_as<clazz_throw_dtor>().i == 21);
}
SUBCASE("as_return_value") {
meta::class_type clazz_throw_dtor_type = meta::resolve_type<clazz_throw_dtor>();
meta::function clazz_throw_dtor_make_function = clazz_throw_dtor_type.get_function("make");
meta::uvalue v{clazz_throw_dtor_make_function(42)};
CHECK(v.get_type() == meta::resolve_type<clazz_throw_dtor>());
CHECK(v.get_as<clazz_throw_dtor>().i == 42);
}
}