sha512sum/utempl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix TypeList Get for clang 18.1.4

Browse source
This commit is contained in:
sha512sum 2024-05-05 19:10:46 +00:00
parent 94c6f53b4f
commit a767c7637a
1 changed files with 17 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
include/utempl/type_list.hpp
View file

@ -8,17 +8,8 @@
namespace utempl { namespace utempl {
namespace impl {
struct Caster {
constexpr Caster(auto&&) {};
};
};
template <typename... Ts> template <typename... Ts>
struct TypeList { struct TypeList {};
};
template <typename T> template <typename T>
struct TypeList<T> { struct TypeList<T> {
@ -38,7 +29,20 @@ concept IsTypeList = Overloaded(
)(kType<std::remove_cvref_t<T>>); )(kType<std::remove_cvref_t<T>>);
namespace impl {
template <std::size_t I, typename T>
struct IndexedType {};
template <typename...>
struct Caster {};
template <std::size_t... Is, typename... Ts>
struct Caster<std::index_sequence<Is...>, Ts...> : IndexedType<Is, Ts>... {};
} // namespace impl
template <typename... Ts, typename... TTs> template <typename... Ts, typename... TTs>
consteval auto operator==(const TypeList<Ts...>& first, const TypeList<TTs...>& second) -> bool { consteval auto operator==(const TypeList<Ts...>& first, const TypeList<TTs...>& second) -> bool {
return std::same_as<decltype(first), decltype(second)>; return std::same_as<decltype(first), decltype(second)>;
@ -49,11 +53,10 @@ consteval auto operator+(const TypeList<Ts...>&, const TypeList<TTs...>&) -> Typ
return {}; return {};
}; };
template <std::size_t... Is, typename T>
consteval auto Get(std::index_sequence<Is...>, decltype(impl::Caster(Is))..., T&& arg, ...) -> T;
template <std::size_t I, typename... Ts> template <std::size_t I, typename... Ts>
consteval auto Get(const TypeList<Ts...>&) -> decltype(Get(std::make_index_sequence<I>(), std::declval<Ts>()...)) requires (I < sizeof...(Ts)); consteval auto Get(TypeList<Ts...>) -> decltype(
[]<typename T>(impl::IndexedType<I, T>&&) -> T {
}(impl::Caster<std::index_sequence_for<Ts...>, Ts...>{}));
template <typename T, typename... Ts> template <typename T, typename... Ts>
consteval auto Find(TypeList<Ts...>) -> std::size_t { consteval auto Find(TypeList<Ts...>) -> std::size_t {