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

rename get_type_family_id to get_family_id

Browse Source
This commit is contained in:
BlackMATov
2021-07-07 00:39:13 +07:00
parent 7f29d73e55
commit 788ce044dc
6 changed files with 34 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
headers/meta.hpp/meta_class_info.hpp
View File

@@ -128,7 +128,7 @@ namespace meta_hpp
template < typename Class >
class_info(detail::typename_arg_t<Class>, std::string id)
: fid_{get_type_family_id<Class>()}
: fid_{get_family_id<Class>()}
, id_{std::move(id)} {}
private:
family_id fid_;

28
headers/meta.hpp/meta_fwd.hpp
View File

@@ -57,32 +57,26 @@ namespace meta_hpp
namespace family_id_detail
{
template < typename Void = void >
class family_base {
static_assert(
std::is_void_v<Void>,
"unexpected internal error");
protected:
static std::atomic<family_id::underlying_type> last_id_;
struct family_id_sequence {
static family_id next() noexcept {
static std::atomic<family_id::underlying_type> id{};
return { ++id };
}
};
template < typename Void >
std::atomic<family_id::underlying_type> family_base<Void>::last_id_{};
template < typename T >
class type_family final : public family_base<> {
public:
struct type_to_family_id {
static family_id id() noexcept {
static family_id self_id{++last_id_};
assert(self_id.id > 0u && "family_id overflow");
return self_id;
static const family_id type_family_id = family_id_sequence::next();
assert(type_family_id.id > 0u && "family_id overflow");
return type_family_id;
}
};
}
template < typename T >
family_id get_type_family_id() noexcept {
return family_id_detail::type_family<T>::id();
family_id get_family_id() noexcept {
return family_id_detail::type_to_family_id<T>::id();
}
}

10
headers/meta.hpp/meta_instance.hpp
View File

@@ -34,7 +34,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<T, cinstance>> >
instance(T& v)
: data_{std::addressof(v)}
, fid_{get_type_family_id<T>()} {}
, fid_{get_family_id<T>()} {}
instance(value& v)
: data_{v.data()}
@@ -56,7 +56,7 @@ namespace meta_hpp
std::add_pointer_t<T>
try_cast() noexcept {
static_assert(!std::is_reference_v<T>);
return fid() == get_type_family_id<T>()
return fid() == get_family_id<T>()
? static_cast<std::add_pointer_t<T>>(data_)
: nullptr;
}
@@ -65,7 +65,7 @@ namespace meta_hpp
std::add_pointer_t<std::add_const_t<T>>
try_cast() const noexcept {
static_assert(!std::is_reference_v<T>);
return fid() == get_type_family_id<T>()
return fid() == get_family_id<T>()
? static_cast<std::add_pointer_t<std::add_const_t<T>>>(data_)
: nullptr;
}
@@ -93,7 +93,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<T, cinstance>> >
cinstance(const T& data)
: data_{std::addressof(data)}
, fid_{get_type_family_id<T>()} {}
, fid_{get_family_id<T>()} {}
cinstance(const value& v)
: data_{v.data()}
@@ -115,7 +115,7 @@ namespace meta_hpp
std::add_pointer_t<std::add_const_t<T>>
try_cast() const noexcept {
static_assert(!std::is_reference_v<T>);
return fid() == get_type_family_id<T>()
return fid() == get_family_id<T>()
? static_cast<std::add_pointer_t<std::add_const_t<T>>>(data_)
: nullptr;
}

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

@@ -23,13 +23,13 @@ namespace meta_hpp
public:
template < typename T >
std::optional<class_info> resolve() const {
const family_id fid = get_type_family_id<T>();
const family_id fid = get_family_id<T>();
return detail::find_opt(types_, fid);
}
template < typename T >
std::optional<class_info> resolve(T&&) const {
const family_id fid = get_type_family_id<std::decay_t<T>>();
const family_id fid = get_family_id<std::decay_t<T>>();
return detail::find_opt(types_, fid);
}

14
headers/meta.hpp/meta_value.hpp
View File

@@ -63,7 +63,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<U, value>> >
value(T&& val)
: raw_{std::forward<T>(val)}
, fid_{get_type_family_id<U>()}
, fid_{get_family_id<U>()}
, traits_{value_detail::get_traits<U>()} {}
template < typename T
@@ -77,13 +77,13 @@ namespace meta_hpp
template < typename T, typename... Args >
explicit value(std::in_place_type_t<T>, Args&&... args)
: raw_{std::in_place_type<T>, std::forward<Args>(args)...}
, fid_{get_type_family_id<T>()}
, fid_{get_family_id<T>()}
, traits_{value_detail::get_traits<T>()} {}
template < typename T, typename U, typename... Args >
explicit value(std::in_place_type_t<T>, std::initializer_list<U> ilist, Args&&... args)
: raw_{std::in_place_type<T>, ilist, std::forward<Args>(args)...}
, fid_{get_type_family_id<T>()}
, fid_{get_family_id<T>()}
, traits_{value_detail::get_traits<T>()} {}
template < typename T >
@@ -139,7 +139,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<U, value>>
, typename = std::enable_if_t<std::is_invocable_v<std::equal_to<>, U, U>> >
friend bool operator==(const value& l, T&& r) {
return l.fid() == get_type_family_id<U>()
return l.fid() == get_family_id<U>()
&& std::equal_to<>{}(*l.try_cast<U>(), std::forward<T>(r));
}
@@ -148,7 +148,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<U, value>>
, typename = std::enable_if_t<std::is_invocable_v<std::equal_to<>, U, U>> >
friend bool operator==(T&& l, const value& r) {
return get_type_family_id<U>() == r.fid()
return get_family_id<U>() == r.fid()
&& std::equal_to<>{}(std::forward<T>(l), *r.try_cast<U>());
}
@@ -157,7 +157,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<U, value>>
, typename = std::enable_if_t<std::is_invocable_v<std::equal_to<>, U, U>> >
friend bool operator!=(const value& l, T&& r) {
return l.fid() != get_type_family_id<U>()
return l.fid() != get_family_id<U>()
|| std::not_equal_to<>{}(*l.try_cast<U>(), std::forward<T>(r));
}
@@ -166,7 +166,7 @@ namespace meta_hpp
, typename = std::enable_if_t<!std::is_same_v<U, value>>
, typename = std::enable_if_t<std::is_invocable_v<std::equal_to<>, U, U>> >
friend bool operator!=(T&& l, const value& r) {
return get_type_family_id<U>() != r.fid()
return get_family_id<U>() != r.fid()
|| std::not_equal_to<>{}(std::forward<T>(l), *r.try_cast<U>());
}

16
untests/meta_value_tests.cpp
View File

@@ -75,19 +75,19 @@ TEST_CASE("meta/value/fid") {
namespace meta = meta_hpp;
using namespace std::string_literals;
CHECK(meta::value{clazz{}}.fid() == meta::get_type_family_id<clazz>());
CHECK(meta::value{clazz2{}}.fid() == meta::get_type_family_id<clazz2>());
CHECK(meta::value{clazz{}}.fid() == meta::get_family_id<clazz>());
CHECK(meta::value{clazz2{}}.fid() == meta::get_family_id<clazz2>());
CHECK(meta::value{clazz{}}.fid() != meta::value{clazz2{}}.fid());
{
meta::value v = clazz{};
CHECK(v.fid() == meta::get_type_family_id<clazz>());
CHECK(v.fid() == meta::get_family_id<clazz>());
v = clazz2{};
CHECK(v.fid() == meta::get_type_family_id<clazz2>());
CHECK(v.fid() == meta::get_family_id<clazz2>());
}
CHECK(meta::value{std::in_place_type<int>, 1}.fid() == meta::get_type_family_id<int>());
CHECK(meta::value{std::in_place_type<std::vector<int>>, {1,2,3,4}}.fid() == meta::get_type_family_id<std::vector<int>>());
CHECK(meta::value{std::in_place_type<int>, 1}.fid() == meta::get_family_id<int>());
CHECK(meta::value{std::in_place_type<std::vector<int>>, {1,2,3,4}}.fid() == meta::get_family_id<std::vector<int>>());
}
TEST_CASE("meta/value/data") {
@@ -213,9 +213,9 @@ TEST_CASE("meta/value/swap") {
meta::value v2{42};
meta::swap(v1, v2);
CHECK(v1.fid() == meta::get_type_family_id<int>());
CHECK(v1.fid() == meta::get_family_id<int>());
CHECK(v1.to_int() == 42);
CHECK(v2.fid() == meta::get_type_family_id<std::string>());
CHECK(v2.fid() == meta::get_family_id<std::string>());
CHECK(v2.to_string() == "hello");
}