diff options
Diffstat (limited to 'deps/include/entt/meta/factory.hpp')
| -rw-r--r-- | deps/include/entt/meta/factory.hpp | 668 |
1 files changed, 0 insertions, 668 deletions
diff --git a/deps/include/entt/meta/factory.hpp b/deps/include/entt/meta/factory.hpp deleted file mode 100644 index 3f61d69..0000000 --- a/deps/include/entt/meta/factory.hpp +++ /dev/null @@ -1,668 +0,0 @@ -#ifndef ENTT_META_FACTORY_HPP
-#define ENTT_META_FACTORY_HPP
-
-#include <cstddef>
-#include <cstdint>
-#include <functional>
-#include <memory>
-#include <tuple>
-#include <type_traits>
-#include <utility>
-#include "../config/config.h"
-#include "../core/bit.hpp"
-#include "../core/fwd.hpp"
-#include "../core/type_info.hpp"
-#include "../core/type_traits.hpp"
-#include "../locator/locator.hpp"
-#include "context.hpp"
-#include "meta.hpp"
-#include "node.hpp"
-#include "policy.hpp"
-#include "range.hpp"
-#include "resolve.hpp"
-#include "utility.hpp"
-
-namespace entt {
-
-/*! @cond TURN_OFF_DOXYGEN */
-namespace internal {
-
-class basic_meta_factory {
- using invoke_type = std::remove_pointer_t<decltype(meta_func_node::invoke)>;
-
- auto *find_overload() {
- auto *curr = &details->func[bucket];
-
- while(curr->invoke != invoke) {
- curr = curr->next.get();
- }
-
- return curr;
- }
-
-protected:
- void type(const id_type id) noexcept {
- auto &&elem = meta_context::from(*ctx).value[parent];
- ENTT_ASSERT(elem.id == id || !resolve(*ctx, id), "Duplicate identifier");
- invoke = nullptr;
- bucket = parent;
- elem.id = id;
- }
-
- void base(const id_type id, meta_base_node node) {
- details->base.insert_or_assign(id, node);
- invoke = nullptr;
- bucket = parent;
- }
-
- void conv(const id_type id, meta_conv_node node) {
- details->conv.insert_or_assign(id, node);
- invoke = nullptr;
- bucket = parent;
- }
-
- void ctor(const id_type id, meta_ctor_node node) {
- details->ctor.insert_or_assign(id, node);
- invoke = nullptr;
- bucket = parent;
- }
-
- void dtor(meta_dtor_node node) {
- meta_context::from(*ctx).value[parent].dtor = node;
- invoke = nullptr;
- bucket = parent;
- }
-
- void data(const id_type id, meta_data_node node) {
- if(auto it = details->data.find(id); it == details->data.end()) {
- details->data.insert_or_assign(id, std::move(node));
- } else if(it->second.set != node.set || it->second.get != node.get) {
- it->second = std::move(node);
- }
-
- invoke = nullptr;
- bucket = id;
- }
-
- void func(const id_type id, meta_func_node node) {
- if(auto it = details->func.find(id); it == details->func.end()) {
- auto &&elem = details->func.insert_or_assign(id, std::move(node)).first;
- invoke = elem->second.invoke;
- bucket = id;
- } else {
- auto *curr = &it->second;
-
- while(curr->invoke != node.invoke && curr->next) {
- curr = curr->next.get();
- }
-
- if(curr->invoke == node.invoke) {
- invoke = curr->invoke;
- } else {
- invoke = node.invoke;
- curr->next = std::make_shared<meta_func_node>();
- *curr->next = std::move(node);
- }
-
- bucket = id;
- }
- }
-
- void prop(const id_type key, meta_prop_node value) {
- if(bucket == parent) {
- details->prop[key] = std::move(value);
- } else if(invoke == nullptr) {
- details->data[bucket].prop[key] = std::move(value);
- } else {
- find_overload()->prop[key] = std::move(value);
- }
- }
-
- void traits(const meta_traits value) {
- if(bucket == parent) {
- meta_context::from(*ctx).value[bucket].traits |= value;
- } else if(invoke == nullptr) {
- details->data[bucket].traits |= value;
- } else {
- find_overload()->traits |= value;
- }
- }
-
- void custom(meta_custom_node node) {
- if(bucket == parent) {
- meta_context::from(*ctx).value[bucket].custom = std::move(node);
- } else if(invoke == nullptr) {
- details->data[bucket].custom = std::move(node);
- } else {
- find_overload()->custom = std::move(node);
- }
- }
-
-public:
- basic_meta_factory(const id_type id, meta_ctx &area)
- : ctx{&area},
- parent{id},
- bucket{id} {
- auto &&elem = meta_context::from(*ctx).value[parent];
-
- if(!elem.details) {
- elem.details = std::make_shared<meta_type_descriptor>();
- }
-
- details = elem.details.get();
- }
-
-private:
- meta_ctx *ctx{};
- id_type parent{};
- id_type bucket{};
- invoke_type *invoke{};
- meta_type_descriptor *details{};
-};
-
-} // namespace internal
-/*! @endcond */
-
-/**
- * @brief Meta factory to be used for reflection purposes.
- * @tparam Type Reflected type for which the factory was created.
- */
-template<typename Type>
-class meta_factory: private internal::basic_meta_factory {
- using base_type = internal::basic_meta_factory;
-
- template<typename Setter, auto Getter, typename Policy, std::size_t... Index>
- void data(const id_type id, std::index_sequence<Index...>) noexcept {
- using data_type = std::invoke_result_t<decltype(Getter), Type &>;
- using args_type = type_list<typename meta_function_helper_t<Type, decltype(value_list_element_v<Index, Setter>)>::args_type...>;
- static_assert(Policy::template value<data_type>, "Invalid return type for the given policy");
-
- base_type::data(
- id,
- internal::meta_data_node{
- /* this is never static */
- (std::is_member_object_pointer_v<decltype(value_list_element_v<Index, Setter>)> && ... && std::is_const_v<std::remove_reference_t<data_type>>) ? internal::meta_traits::is_const : internal::meta_traits::is_none,
- Setter::size,
- &internal::resolve<std::remove_cv_t<std::remove_reference_t<data_type>>>,
- &meta_arg<type_list<type_list_element_t<type_list_element_t<Index, args_type>::size != 1u, type_list_element_t<Index, args_type>>...>>,
- +[](meta_handle instance, meta_any value) { return (meta_setter<Type, value_list_element_v<Index, Setter>>(*instance.operator->(), value.as_ref()) || ...); },
- &meta_getter<Type, Getter, Policy>});
- }
-
-public:
- /*! @brief Default constructor. */
- meta_factory() noexcept
- : internal::basic_meta_factory{type_id<Type>(), locator<meta_ctx>::value_or()} {}
-
- /**
- * @brief Context aware constructor.
- * @param area The context into which to construct meta types.
- */
- meta_factory(meta_ctx &area) noexcept
- : internal::basic_meta_factory{type_id<Type>().hash(), area} {}
-
- /**
- * @brief Assigns a custom unique identifier to a meta type.
- * @param id A custom unique identifier.
- * @return A meta factory for the given type.
- */
- meta_factory type(const id_type id) noexcept {
- base_type::type(id);
- return *this;
- }
-
- /**
- * @brief Assigns a meta base to a meta type.
- *
- * A reflected base class must be a real base class of the reflected type.
- *
- * @tparam Base Type of the base class to assign to the meta type.
- * @return A meta factory for the parent type.
- */
- template<typename Base>
- meta_factory base() noexcept {
- static_assert(!std::is_same_v<Type, Base> && std::is_base_of_v<Base, Type>, "Invalid base type");
- auto *const op = +[](const void *instance) noexcept { return static_cast<const void *>(static_cast<const Base *>(static_cast<const Type *>(instance))); };
- base_type::base(type_id<Base>().hash(), internal::meta_base_node{&internal::resolve<Base>, op});
- return *this;
- }
-
- /**
- * @brief Assigns a meta conversion function to a meta type.
- *
- * Conversion functions can be either free functions or member
- * functions.<br/>
- * In case of free functions, they must accept a const reference to an
- * instance of the parent type as an argument. In case of member functions,
- * they should have no arguments at all.
- *
- * @tparam Candidate The actual function to use for the conversion.
- * @return A meta factory for the parent type.
- */
- template<auto Candidate>
- auto conv() noexcept {
- using conv_type = std::remove_cv_t<std::remove_reference_t<std::invoke_result_t<decltype(Candidate), Type &>>>;
- auto *const op = +[](const meta_ctx &area, const void *instance) { return forward_as_meta(area, std::invoke(Candidate, *static_cast<const Type *>(instance))); };
- base_type::conv(type_id<conv_type>().hash(), internal::meta_conv_node{op});
- return *this;
- }
-
- /**
- * @brief Assigns a meta conversion function to a meta type.
- *
- * The given type must be such that an instance of the reflected type can be
- * converted to it.
- *
- * @tparam To Type of the conversion function to assign to the meta type.
- * @return A meta factory for the parent type.
- */
- template<typename To>
- meta_factory conv() noexcept {
- using conv_type = std::remove_cv_t<std::remove_reference_t<To>>;
- auto *const op = +[](const meta_ctx &area, const void *instance) { return forward_as_meta(area, static_cast<To>(*static_cast<const Type *>(instance))); };
- base_type::conv(type_id<conv_type>().hash(), internal::meta_conv_node{op});
- return *this;
- }
-
- /**
- * @brief Assigns a meta constructor to a meta type.
- *
- * Both member functions and free function can be assigned to meta types in
- * the role of constructors. All that is required is that they return an
- * instance of the underlying type.<br/>
- * From a client's point of view, nothing changes if a constructor of a meta
- * type is a built-in one or not.
- *
- * @tparam Candidate The actual function to use as a constructor.
- * @tparam Policy Optional policy (no policy set by default).
- * @return A meta factory for the parent type.
- */
- template<auto Candidate, typename Policy = as_is_t>
- meta_factory ctor() noexcept {
- using descriptor = meta_function_helper_t<Type, decltype(Candidate)>;
- static_assert(Policy::template value<typename descriptor::return_type>, "Invalid return type for the given policy");
- static_assert(std::is_same_v<std::remove_cv_t<std::remove_reference_t<typename descriptor::return_type>>, Type>, "The function doesn't return an object of the required type");
- base_type::ctor(type_id<typename descriptor::args_type>().hash(), internal::meta_ctor_node{descriptor::args_type::size, &meta_arg<typename descriptor::args_type>, &meta_construct<Type, Candidate, Policy>});
- return *this;
- }
-
- /**
- * @brief Assigns a meta constructor to a meta type.
- *
- * A meta constructor is uniquely identified by the types of its arguments
- * and is such that there exists an actual constructor of the underlying
- * type that can be invoked with parameters whose types are those given.
- *
- * @tparam Args Types of arguments to use to construct an instance.
- * @return A meta factory for the parent type.
- */
- template<typename... Args>
- meta_factory ctor() noexcept {
- // default constructor is already implicitly generated, no need for redundancy
- if constexpr(sizeof...(Args) != 0u) {
- using descriptor = meta_function_helper_t<Type, Type (*)(Args...)>;
- base_type::ctor(type_id<typename descriptor::args_type>().hash(), internal::meta_ctor_node{descriptor::args_type::size, &meta_arg<typename descriptor::args_type>, &meta_construct<Type, Args...>});
- }
-
- return *this;
- }
-
- /**
- * @brief Assigns a meta destructor to a meta type.
- *
- * Both free functions and member functions can be assigned to meta types in
- * the role of destructors.<br/>
- * The signature of a free function should be identical to the following:
- *
- * @code{.cpp}
- * void(Type &);
- * @endcode
- *
- * Member functions should not take arguments instead.<br/>
- * The purpose is to give users the ability to free up resources that
- * require special treatment before an object is actually destroyed.
- *
- * @tparam Func The actual function to use as a destructor.
- * @return A meta factory for the parent type.
- */
- template<auto Func>
- meta_factory dtor() noexcept {
- static_assert(std::is_invocable_v<decltype(Func), Type &>, "The function doesn't accept an object of the type provided");
- auto *const op = +[](void *instance) { std::invoke(Func, *static_cast<Type *>(instance)); };
- base_type::dtor(internal::meta_dtor_node{op});
- return *this;
- }
-
- /**
- * @brief Assigns a meta data to a meta type.
- *
- * Both data members and static and global variables, as well as constants
- * of any kind, can be assigned to a meta type.<br/>
- * From a client's point of view, all the variables associated with the
- * reflected object will appear as if they were part of the type itself.
- *
- * @tparam Data The actual variable to attach to the meta type.
- * @tparam Policy Optional policy (no policy set by default).
- * @param id Unique identifier.
- * @return A meta factory for the parent type.
- */
- template<auto Data, typename Policy = as_is_t>
- meta_factory data(const id_type id) noexcept {
- if constexpr(std::is_member_object_pointer_v<decltype(Data)>) {
- using data_type = std::invoke_result_t<decltype(Data), Type &>;
- static_assert(Policy::template value<data_type>, "Invalid return type for the given policy");
-
- base_type::data(
- id,
- internal::meta_data_node{
- /* this is never static */
- std::is_const_v<std::remove_reference_t<data_type>> ? internal::meta_traits::is_const : internal::meta_traits::is_none,
- 1u,
- &internal::resolve<std::remove_cv_t<std::remove_reference_t<data_type>>>,
- &meta_arg<type_list<std::remove_cv_t<std::remove_reference_t<data_type>>>>,
- &meta_setter<Type, Data>,
- &meta_getter<Type, Data, Policy>});
- } else {
- using data_type = std::remove_pointer_t<decltype(Data)>;
-
- if constexpr(std::is_pointer_v<decltype(Data)>) {
- static_assert(Policy::template value<decltype(*Data)>, "Invalid return type for the given policy");
- } else {
- static_assert(Policy::template value<data_type>, "Invalid return type for the given policy");
- }
-
- base_type::data(
- id,
- internal::meta_data_node{
- ((std::is_same_v<Type, std::remove_cv_t<std::remove_reference_t<data_type>>> || std::is_const_v<std::remove_reference_t<data_type>>) ? internal::meta_traits::is_const : internal::meta_traits::is_none) | internal::meta_traits::is_static,
- 1u,
- &internal::resolve<std::remove_cv_t<std::remove_reference_t<data_type>>>,
- &meta_arg<type_list<std::remove_cv_t<std::remove_reference_t<data_type>>>>,
- &meta_setter<Type, Data>,
- &meta_getter<Type, Data, Policy>});
- }
-
- return *this;
- }
-
- /**
- * @brief Assigns a meta data to a meta type by means of its setter and
- * getter.
- *
- * Setters and getters can be either free functions, member functions or a
- * mix of them.<br/>
- * In case of free functions, setters and getters must accept a reference to
- * an instance of the parent type as their first argument. A setter has then
- * an extra argument of a type convertible to that of the parameter to
- * set.<br/>
- * In case of member functions, getters have no arguments at all, while
- * setters has an argument of a type convertible to that of the parameter to
- * set.
- *
- * @tparam Setter The actual function to use as a setter.
- * @tparam Getter The actual function to use as a getter.
- * @tparam Policy Optional policy (no policy set by default).
- * @param id Unique identifier.
- * @return A meta factory for the parent type.
- */
- template<auto Setter, auto Getter, typename Policy = as_is_t>
- meta_factory data(const id_type id) noexcept {
- using data_type = std::invoke_result_t<decltype(Getter), Type &>;
- static_assert(Policy::template value<data_type>, "Invalid return type for the given policy");
-
- if constexpr(std::is_same_v<decltype(Setter), std::nullptr_t>) {
- base_type::data(
- id,
- internal::meta_data_node{
- /* this is never static */
- internal::meta_traits::is_const,
- 0u,
- &internal::resolve<std::remove_cv_t<std::remove_reference_t<data_type>>>,
- &meta_arg<type_list<>>,
- &meta_setter<Type, Setter>,
- &meta_getter<Type, Getter, Policy>});
- } else {
- using args_type = typename meta_function_helper_t<Type, decltype(Setter)>::args_type;
-
- base_type::data(
- id,
- internal::meta_data_node{
- /* this is never static nor const */
- internal::meta_traits::is_none,
- 1u,
- &internal::resolve<std::remove_cv_t<std::remove_reference_t<data_type>>>,
- &meta_arg<type_list<type_list_element_t<args_type::size != 1u, args_type>>>,
- &meta_setter<Type, Setter>,
- &meta_getter<Type, Getter, Policy>});
- }
-
- return *this;
- }
-
- /**
- * @brief Assigns a meta data to a meta type by means of its setters and
- * getter.
- *
- * Multi-setter support for meta data members. All setters are tried in the
- * order of definition before returning to the caller.<br/>
- * Setters can be either free functions, member functions or a mix of them
- * and are provided via a `value_list` type.
- *
- * @sa data
- *
- * @tparam Setter The actual functions to use as setters.
- * @tparam Getter The actual getter function.
- * @tparam Policy Optional policy (no policy set by default).
- * @param id Unique identifier.
- * @return A meta factory for the parent type.
- */
- template<typename Setter, auto Getter, typename Policy = as_is_t>
- meta_factory data(const id_type id) noexcept {
- data<Setter, Getter, Policy>(id, std::make_index_sequence<Setter::size>{});
- return *this;
- }
-
- /**
- * @brief Assigns a meta function to a meta type.
- *
- * Both member functions and free functions can be assigned to a meta
- * type.<br/>
- * From a client's point of view, all the functions associated with the
- * reflected object will appear as if they were part of the type itself.
- *
- * @tparam Candidate The actual function to attach to the meta type.
- * @tparam Policy Optional policy (no policy set by default).
- * @param id Unique identifier.
- * @return A meta factory for the parent type.
- */
- template<auto Candidate, typename Policy = as_is_t>
- meta_factory func(const id_type id) noexcept {
- using descriptor = meta_function_helper_t<Type, decltype(Candidate)>;
- static_assert(Policy::template value<typename descriptor::return_type>, "Invalid return type for the given policy");
-
- base_type::func(
- id,
- internal::meta_func_node{
- (descriptor::is_const ? internal::meta_traits::is_const : internal::meta_traits::is_none) | (descriptor::is_static ? internal::meta_traits::is_static : internal::meta_traits::is_none),
- descriptor::args_type::size,
- &internal::resolve<std::conditional_t<std::is_same_v<Policy, as_void_t>, void, std::remove_cv_t<std::remove_reference_t<typename descriptor::return_type>>>>,
- &meta_arg<typename descriptor::args_type>,
- &meta_invoke<Type, Candidate, Policy>});
-
- return *this;
- }
-
- /**
- * @brief Assigns a property to the last created meta object.
- *
- * Both the key and the value (if any) must be at least copy constructible.
- *
- * @tparam Value Optional type of the property value.
- * @param id Property key.
- * @param value Optional property value.
- * @return A meta factory for the parent type.
- */
- template<typename... Value>
- meta_factory prop(id_type id, [[maybe_unused]] Value &&...value) {
- if constexpr(sizeof...(Value) == 0u) {
- base_type::prop(id, internal::meta_prop_node{&internal::resolve<void>});
- } else {
- base_type::prop(id, internal::meta_prop_node{&internal::resolve<std::decay_t<Value>>..., std::make_shared<std::decay_t<Value>>(std::forward<Value>(value))...});
- }
-
- return *this;
- }
-
- /**
- * @brief Sets traits on the last created meta object.
- *
- * The assigned value must be an enum and intended as a bitmask.
- *
- * @tparam Value Type of the traits value.
- * @param value Traits value.
- * @return A meta factory for the parent type.
- */
- template<typename Value>
- meta_factory traits(const Value value) {
- static_assert(std::is_enum_v<Value>, "Invalid enum type");
- base_type::traits(internal::user_to_meta_traits(value));
- return *this;
- }
-
- /**
- * @brief Sets user defined data that will never be used by the library.
- * @tparam Value Type of user defined data to store.
- * @tparam Args Types of arguments to use to construct the user data.
- * @param args Parameters to use to initialize the user data.
- * @return A meta factory for the parent type.
- */
- template<typename Value, typename... Args>
- meta_factory custom(Args &&...args) {
- base_type::custom(internal::meta_custom_node{type_id<Value>().hash(), std::make_shared<Value>(std::forward<Args>(args)...)});
- return *this;
- }
-};
-
-/**
- * @brief Utility function to use for reflection.
- *
- * This is the point from which everything starts.<br/>
- * By invoking this function with a type that is not yet reflected, a meta type
- * is created to which it will be possible to attach meta objects through a
- * dedicated factory.
- *
- * @tparam Type Type to reflect.
- * @param ctx The context into which to construct meta types.
- * @return A meta factory for the given type.
- */
-template<typename Type>
-[[nodiscard]] auto meta(meta_ctx &ctx) noexcept {
- auto &&context = internal::meta_context::from(ctx);
- // make sure the type exists in the context before returning a factory
- context.value.try_emplace(type_id<Type>().hash(), internal::resolve<Type>(context));
- return meta_factory<Type>{ctx};
-}
-
-/**
- * @brief Utility function to use for reflection.
- *
- * This is the point from which everything starts.<br/>
- * By invoking this function with a type that is not yet reflected, a meta type
- * is created to which it will be possible to attach meta objects through a
- * dedicated factory.
- *
- * @tparam Type Type to reflect.
- * @return A meta factory for the given type.
- */
-template<typename Type>
-[[nodiscard]] auto meta() noexcept {
- return meta<Type>(locator<meta_ctx>::value_or());
-}
-
-/**
- * @brief Resets a type and all its parts.
- *
- * Resets a type and all its data members, member functions and properties, as
- * well as its constructors, destructors and conversion functions if any.<br/>
- * Base classes aren't reset but the link between the two types is removed.
- *
- * The type is also removed from the set of searchable types.
- *
- * @param id Unique identifier.
- * @param ctx The context from which to reset meta types.
- */
-inline void meta_reset(meta_ctx &ctx, const id_type id) noexcept {
- auto &&context = internal::meta_context::from(ctx);
-
- for(auto it = context.value.begin(); it != context.value.end();) {
- if(it->second.id == id) {
- it = context.value.erase(it);
- } else {
- ++it;
- }
- }
-}
-
-/**
- * @brief Resets a type and all its parts.
- *
- * Resets a type and all its data members, member functions and properties, as
- * well as its constructors, destructors and conversion functions if any.<br/>
- * Base classes aren't reset but the link between the two types is removed.
- *
- * The type is also removed from the set of searchable types.
- *
- * @param id Unique identifier.
- */
-inline void meta_reset(const id_type id) noexcept {
- meta_reset(locator<meta_ctx>::value_or(), id);
-}
-
-/**
- * @brief Resets a type and all its parts.
- *
- * @sa meta_reset
- *
- * @tparam Type Type to reset.
- * @param ctx The context from which to reset meta types.
- */
-template<typename Type>
-void meta_reset(meta_ctx &ctx) noexcept {
- internal::meta_context::from(ctx).value.erase(type_id<Type>().hash());
-}
-
-/**
- * @brief Resets a type and all its parts.
- *
- * @sa meta_reset
- *
- * @tparam Type Type to reset.
- */
-template<typename Type>
-void meta_reset() noexcept {
- meta_reset<Type>(locator<meta_ctx>::value_or());
-}
-
-/**
- * @brief Resets all meta types.
- *
- * @sa meta_reset
- *
- * @param ctx The context from which to reset meta types.
- */
-inline void meta_reset(meta_ctx &ctx) noexcept {
- internal::meta_context::from(ctx).value.clear();
-}
-
-/**
- * @brief Resets all meta types.
- *
- * @sa meta_reset
- */
-inline void meta_reset() noexcept {
- meta_reset(locator<meta_ctx>::value_or());
-}
-
-} // namespace entt
-
-#endif
|