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

foreach for all types and scopes

Browse Source
This commit is contained in:
BlackMATov
2023-01-20 23:10:22 +07:00
parent 43bcc14c1a
commit 9a369e235a
4 changed files with 98 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

70
develop/singles/headers/meta.hpp/meta_all.hpp
View File

@@ -3294,6 +3294,15 @@ namespace meta_hpp::detail
return instance;
}
public:
template < typename F >
void for_each_scope(F&& f) const {
const locker lock;
for ( auto&& [name, scope] : scopes_ ) {
std::invoke(f, scope);
}
}
[[nodiscard]] scope get_scope_by_name(std::string_view name) const noexcept {
const locker lock;
@@ -3311,7 +3320,7 @@ namespace meta_hpp::detail
return iter->second;
}
auto&& [iter, _] = scopes_.insert_or_assign(
auto&& [iter, _] = scopes_.emplace(
std::string{name},
scope_state::make(std::string{name}, metadata_map{}));
@@ -3348,10 +3357,19 @@ namespace meta_hpp::detail
return instance;
}
public:
template < typename F >
void for_each_type(F&& f) const {
const locker lock;
for ( const any_type& type : types_ ) {
std::invoke(f, type);
}
}
[[nodiscard]] any_type get_type_by_id(type_id id) const noexcept {
const locker lock;
if ( auto iter{type_by_id_.find(id)}; iter != type_by_id_.end() ) {
if ( auto iter{types_.find(id)}; iter != types_.end() ) {
return *iter;
}
@@ -3361,7 +3379,7 @@ namespace meta_hpp::detail
[[nodiscard]] any_type get_type_by_rtti(const std::type_index& index) const noexcept {
const locker lock;
if ( auto iter{type_by_rtti_.find(index)}; iter != type_by_rtti_.end() ) {
if ( auto iter{rtti_types_.find(index)}; iter != rtti_types_.end() ) {
return iter->second;
}
@@ -3538,16 +3556,16 @@ namespace meta_hpp::detail
std::call_once(init_flag, [this, &type_data](){
const locker lock;
auto&& [position, emplaced] = type_by_id_.emplace(any_type{&type_data});
auto&& [position, emplaced] = types_.emplace(any_type{&type_data});
if ( !emplaced ) {
return;
}
#if !defined(META_HPP_NO_RTTI)
META_HPP_TRY {
type_by_rtti_.emplace(typeid(Type), any_type{&type_data});
rtti_types_.emplace(typeid(Type), any_type{&type_data});
} META_HPP_CATCH(...) {
type_by_id_.erase(position);
types_.erase(position);
META_HPP_RETHROW();
}
#endif
@@ -3555,15 +3573,22 @@ namespace meta_hpp::detail
}
private:
std::recursive_mutex mutex_;
std::set<any_type, std::less<>> type_by_id_;
std::set<any_type, std::less<>> types_;
#if !defined(META_HPP_NO_RTTI)
std::map<std::type_index, any_type, std::less<>> type_by_rtti_;
std::map<std::type_index, any_type, std::less<>> rtti_types_;
#endif
};
}
namespace meta_hpp
{
template < typename F >
void for_each_type(F&& f) {
using namespace detail;
type_registry& registry = type_registry::instance();
registry.for_each_type(std::forward<F>(f));
}
template < typename T >
[[nodiscard]] auto resolve_type() {
using namespace detail;
@@ -3571,18 +3596,17 @@ namespace meta_hpp
return registry.resolve_type<std::remove_cv_t<T>>();
}
template < typename T >
[[nodiscard]] auto resolve_type(T&&) {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_type<std::remove_cvref_t<T>>();
}
template < typename... Ts >
[[nodiscard]] any_type_list resolve_types() {
return { resolve_type<Ts>()... };
}
}
namespace meta_hpp
{
template < typename T >
[[nodiscard]] auto resolve_type(T&&) {
return resolve_type<std::remove_reference_t<T>>();
}
template < typename... Ts >
[[nodiscard]] any_type_list resolve_types(type_list<Ts...>) {
@@ -3593,22 +3617,19 @@ namespace meta_hpp
namespace meta_hpp
{
template < detail::class_kind Class, typename... Args >
constructor_type resolve_constructor_type() {
[[nodiscard]] constructor_type resolve_constructor_type() {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_constructor_type<Class, Args...>();
}
template < detail::class_kind Class >
destructor_type resolve_destructor_type() {
[[nodiscard]] destructor_type resolve_destructor_type() {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_destructor_type<Class>();
}
}
namespace meta_hpp
{
template < typename T >
[[nodiscard]] any_type resolve_polymorphic_type(T&& v) noexcept {
#if !defined(META_HPP_NO_RTTI)
@@ -3624,6 +3645,13 @@ namespace meta_hpp
namespace meta_hpp
{
template < typename F >
void for_each_scope(F&& f) {
using namespace detail;
state_registry& registry = state_registry::instance();
registry.for_each_scope(std::forward<F>(f));
}
[[nodiscard]] inline scope resolve_scope(std::string_view name) {
using namespace detail;
state_registry& registry = state_registry::instance();

11
headers/meta.hpp/meta_detail/state_registry.hpp
View File

@@ -32,6 +32,15 @@ namespace meta_hpp::detail
return instance;
}
public:
template < typename F >
void for_each_scope(F&& f) const {
const locker lock;
for ( auto&& [name, scope] : scopes_ ) {
std::invoke(f, scope);
}
}
[[nodiscard]] scope get_scope_by_name(std::string_view name) const noexcept {
const locker lock;
@@ -49,7 +58,7 @@ namespace meta_hpp::detail
return iter->second;
}
auto&& [iter, _] = scopes_.insert_or_assign(
auto&& [iter, _] = scopes_.emplace(
std::string{name},
scope_state::make(std::string{name}, metadata_map{}));

23
headers/meta.hpp/meta_detail/type_registry.hpp
View File

@@ -32,10 +32,19 @@ namespace meta_hpp::detail
return instance;
}
public:
template < typename F >
void for_each_type(F&& f) const {
const locker lock;
for ( const any_type& type : types_ ) {
std::invoke(f, type);
}
}
[[nodiscard]] any_type get_type_by_id(type_id id) const noexcept {
const locker lock;
if ( auto iter{type_by_id_.find(id)}; iter != type_by_id_.end() ) {
if ( auto iter{types_.find(id)}; iter != types_.end() ) {
return *iter;
}
@@ -45,7 +54,7 @@ namespace meta_hpp::detail
[[nodiscard]] any_type get_type_by_rtti(const std::type_index& index) const noexcept {
const locker lock;
if ( auto iter{type_by_rtti_.find(index)}; iter != type_by_rtti_.end() ) {
if ( auto iter{rtti_types_.find(index)}; iter != rtti_types_.end() ) {
return iter->second;
}
@@ -222,16 +231,16 @@ namespace meta_hpp::detail
std::call_once(init_flag, [this, &type_data](){
const locker lock;
auto&& [position, emplaced] = type_by_id_.emplace(any_type{&type_data});
auto&& [position, emplaced] = types_.emplace(any_type{&type_data});
if ( !emplaced ) {
return;
}
#if !defined(META_HPP_NO_RTTI)
META_HPP_TRY {
type_by_rtti_.emplace(typeid(Type), any_type{&type_data});
rtti_types_.emplace(typeid(Type), any_type{&type_data});
} META_HPP_CATCH(...) {
type_by_id_.erase(position);
types_.erase(position);
META_HPP_RETHROW();
}
#endif
@@ -239,9 +248,9 @@ namespace meta_hpp::detail
}
private:
std::recursive_mutex mutex_;
std::set<any_type, std::less<>> type_by_id_;
std::set<any_type, std::less<>> types_;
#if !defined(META_HPP_NO_RTTI)
std::map<std::type_index, any_type, std::less<>> type_by_rtti_;
std::map<std::type_index, any_type, std::less<>> rtti_types_;
#endif
};
}

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

@@ -15,6 +15,13 @@
namespace meta_hpp
{
template < typename F >
void for_each_type(F&& f) {
using namespace detail;
type_registry& registry = type_registry::instance();
registry.for_each_type(std::forward<F>(f));
}
template < typename T >
[[nodiscard]] auto resolve_type() {
using namespace detail;
@@ -22,18 +29,17 @@ namespace meta_hpp
return registry.resolve_type<std::remove_cv_t<T>>();
}
template < typename T >
[[nodiscard]] auto resolve_type(T&&) {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_type<std::remove_cvref_t<T>>();
}
template < typename... Ts >
[[nodiscard]] any_type_list resolve_types() {
return { resolve_type<Ts>()... };
}
}
namespace meta_hpp
{
template < typename T >
[[nodiscard]] auto resolve_type(T&&) {
return resolve_type<std::remove_reference_t<T>>();
}
template < typename... Ts >
[[nodiscard]] any_type_list resolve_types(type_list<Ts...>) {
@@ -44,22 +50,19 @@ namespace meta_hpp
namespace meta_hpp
{
template < detail::class_kind Class, typename... Args >
constructor_type resolve_constructor_type() {
[[nodiscard]] constructor_type resolve_constructor_type() {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_constructor_type<Class, Args...>();
}
template < detail::class_kind Class >
destructor_type resolve_destructor_type() {
[[nodiscard]] destructor_type resolve_destructor_type() {
using namespace detail;
type_registry& registry = type_registry::instance();
return registry.resolve_destructor_type<Class>();
}
}
namespace meta_hpp
{
template < typename T >
[[nodiscard]] any_type resolve_polymorphic_type(T&& v) noexcept {
#if !defined(META_HPP_NO_RTTI)
@@ -75,6 +78,13 @@ namespace meta_hpp
namespace meta_hpp
{
template < typename F >
void for_each_scope(F&& f) {
using namespace detail;
state_registry& registry = state_registry::instance();
registry.for_each_scope(std::forward<F>(f));
}
[[nodiscard]] inline scope resolve_scope(std::string_view name) {
using namespace detail;
state_registry& registry = state_registry::instance();