1#ifndef ENTT_POLY_POLY_HPP
2#define ENTT_POLY_POLY_HPP
9#include "../core/any.hpp"
10#include "../core/type_info.hpp"
11#include "../core/type_traits.hpp"
22 template<
typename Type>
23 operator Type &&()
const;
32 template<std::size_t Member,
typename... Args>
36 template<std::size_t Member,
typename... Args>
46template<
typename Concept, std::
size_t Len, std::
size_t Align>
50 template<
typename Ret,
typename Clazz,
typename... Args>
51 static auto vtable_entry(Ret (*)(Clazz &, Args...))
54 template<
typename Ret,
typename... Args>
55 static auto vtable_entry(Ret (*)(Args...))
58 template<
typename Ret,
typename Clazz,
typename... Args>
59 static auto vtable_entry(Ret (Clazz::*)(Args...))
62 template<
typename Ret,
typename Clazz,
typename... Args>
63 static auto vtable_entry(Ret (Clazz::*)(Args...)
const)
64 -> std::enable_if_t<std::is_base_of_v<Clazz, inspector>, Ret (*)(
const basic_any<Len, Align> &, Args...)>;
66 template<
auto... Candidate>
68 ->
decltype(std::make_tuple(vtable_entry(Candidate)...));
70 template<
typename... Func>
72 if constexpr(
sizeof...(Func) == 0u) {
73 return decltype(make_vtable(
typename Concept::template impl<inspector>{})){};
74 }
else if constexpr((std::is_function_v<Func> && ...)) {
75 return decltype(std::make_tuple(vtable_entry(std::declval<Func inspector::*>())...)){};
79 template<
typename Type,
auto Candidate,
typename Ret,
typename Any,
typename... Args>
80 static void fill_vtable_entry(Ret (*&entry)(Any &, Args...))
noexcept {
81 if constexpr(std::is_invocable_r_v<Ret,
decltype(Candidate), Args...>) {
82 entry = +[](Any &, Args... args) -> Ret {
83 return std::invoke(Candidate, std::forward<Args>(args)...);
86 entry = +[](Any &
instance, Args... args) -> Ret {
92 template<
typename Type,
auto... Index>
93 [[nodiscard]]
static auto fill_vtable(std::index_sequence<Index...>)
noexcept {
95 (fill_vtable_entry<Type, value_list_element_v<Index, typename Concept::template impl<Type>>>(std::get<Index>(impl)), ...);
99 using vtable_type =
decltype(make_vtable(Concept{}));
100 static constexpr bool is_mono = std::tuple_size_v<vtable_type> == 1u;
104 using type = std::conditional_t<is_mono, std::tuple_element_t<0u, vtable_type>,
const vtable_type *>;
111 template<
typename Type>
113 static_assert(std::is_same_v<Type, std::decay_t<Type>>,
"Type differs from its decayed form");
114 static const vtable_type vtable = fill_vtable<Type>(std::make_index_sequence<Concept::template impl<Type>::size>{});
116 if constexpr(is_mono) {
117 return std::get<0>(vtable);
128template<
typename Poly>
138 template<std::size_t Member,
typename... Args>
140 const auto &
poly =
static_cast<const Poly &
>(self);
142 if constexpr(std::is_function_v<std::remove_pointer_t<
decltype(
poly.vtable)>>) {
143 return poly.vtable(
poly.storage, std::forward<Args>(args)...);
145 return std::get<Member>(*
poly.vtable)(
poly.storage, std::forward<Args>(args)...);
150 template<std::size_t Member,
typename... Args>
152 auto &
poly =
static_cast<Poly &
>(self);
154 if constexpr(std::is_function_v<std::remove_pointer_t<
decltype(
poly.vtable)>>) {
155 static_assert(Member == 0u,
"Unknown member");
156 return poly.vtable(
poly.storage, std::forward<Args>(args)...);
158 return std::get<Member>(*
poly.vtable)(
poly.storage, std::forward<Args>(args)...);
172template<std::size_t Member,
typename Poly,
typename... Args>
174 return std::forward<Poly>(self).template
invoke<Member>(self, std::forward<Args>(args)...);
192template<
typename Concept, std::
size_t Len, std::
size_t Align>
193class basic_poly:
private Concept::template
type<poly_base<basic_poly<Concept, Len, Align>>> {
211 template<typename Type, typename... Args>
212 explicit
basic_poly(std::in_place_type_t<Type>, Args &&...args)
213 : storage{std::in_place_type<Type>, std::forward<Args>(args)...},
221 template<
typename Type,
typename = std::enable_if_t<!std::is_same_v<std::remove_cv_t<std::remove_reference_t<Type>>, basic_poly>>>
223 :
basic_poly{std::in_place_type<std::remove_cv_t<std::remove_reference_t<Type>>>, std::forward<Type>(value)} {}
230 return storage.type();
237 [[nodiscard]]
const void *
data() const noexcept {
238 return storage.data();
242 [[nodiscard]]
void *
data() noexcept {
243 return storage.data();
252 template<
typename Type,
typename... Args>
268 [[nodiscard]]
explicit operator bool() const noexcept {
269 return static_cast<bool>(storage);
291 ref.storage = storage.as_ref();
299 ref.storage = storage.as_ref();
A SBO friendly, type-safe container for single values of any type.
const type_info & type() const noexcept
Returns the object type if any, type_id<void>() otherwise.
basic_poly as_ref() noexcept
Aliasing constructor.
void * data() noexcept
Returns an opaque pointer to the contained instance.
void reset()
Destroys contained object.
concept_type * operator->() noexcept
Returns a pointer to the underlying concept.
void emplace(Args &&...args)
Replaces the contained object by creating a new instance directly.
typename Concept::template type< poly_base< basic_poly > > concept_type
basic_poly as_ref() const noexcept
Aliasing constructor.
const concept_type * operator->() const noexcept
Returns a pointer to the underlying concept.
basic_poly(Type &&value) noexcept
Constructs a poly from a given value.
typename poly_vtable< Concept, Len, Align >::type vtable_type
const void * data() const noexcept
Returns an opaque pointer to the contained instance.
basic_poly() noexcept=default
Default constructor.
Static virtual table factory.
static type instance() noexcept
Returns a static virtual table for a specific concept and type.
std::conditional_t< is_mono, std::tuple_element_t< 0u, vtable_type >, const vtable_type * > type
Virtual table type.
typename constness_as< To, From >::type constness_as_t
Alias template to facilitate the transcription of the constness.
std::remove_const_t< Type > any_cast(const basic_any< Len, Align > &data) noexcept
Performs type-safe access to the contained object.
decltype(auto) poly_call(Poly &&self, Args &&...args)
Shortcut for calling poly_base<Type>::invoke.
basic_poly< Concept > poly
Alias declaration for the most common use case.
void invoke(Registry ®, const typename Registry::entity_type entt)
Helper to create a listener that directly invokes a member function.
@ ref
Aliasing mode, the object points to a non-const element.
basic_storage< Type > storage
Alias declaration for the most common use case.
Poly base class used to inject functionalities into concepts.
decltype(auto) invoke(const poly_base &self, Args &&...args) const
Invokes a function from the static virtual table.
decltype(auto) invoke(poly_base &self, Args &&...args)
Invokes a function from the static virtual table.
Inspector class used to infer the type of the virtual table.
poly_inspector invoke(Args &&...args) const
Dummy invocation function (definition only).
poly_inspector invoke(Args &&...args)
Dummy invocation function (definition only).
Implementation specific information about a type.
A class to use to push around lists of types, nothing more.
A class to use to push around lists of constant values, nothing more.