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

Add ForceEnableTuple; Add std::array to ForceEnableTuple; Add TupleMaker

Browse source
This commit is contained in:
sha512sum 2024-03-24 23:34:50 +00:00
parent 5708bd94c2
commit 8fdb31dc6e
1 changed files with 32 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
include/utempl/utils.hpp
View file

@ -74,18 +74,37 @@ inline constexpr std::size_t kTupleSize<M<Ts...>> = sizeof...(Ts);
template <template <typename, std::size_t> typename Array, typename T, std::size_t N>
inline constexpr std::size_t kTupleSize<Array<T, N>> = N;
template <typename T>
struct TupleMaker {
};
template <typename... Ts>
struct TupleMaker<std::tuple<Ts...>> {
template <typename... Args>
static inline constexpr auto Make(Args&&... args) {
return std::tuple{std::forward<Args>(args)...};
};
};
template <typename... Ts>
struct TupleMaker<Tuple<Ts...>> {
template <typename... Args>
static inline constexpr auto Make(Args&&... args) {
return Tuple{std::forward<Args>(args)...};
};
};
template <typename T, std::size_t N>
struct TupleMaker<std::array<T, N>> {
template <typename... Args>
static inline constexpr auto Make(Args&&... args) {
return std::array{std::forward<Args>(args)...};
};
};
template <typename T = Tuple<>, typename... Args>
inline constexpr auto MakeTuple(Args&&... args) {
return Overloaded(
[&]<template <typename...> typename M, typename... Ts>(TypeList<M<Ts...>>){
return M{std::forward<Args>(args)...};
},
[&]<template <typename, std::size_t> typename Array, typename TT, std::size_t N>(TypeList<Array<TT, N>>) {
return Array{std::forward<Args>(args)...};
}
)(kType<std::remove_cvref_t<T>>);
return TupleMaker<std::remove_cvref_t<T>>::Make(std::forward<Args>(args)...);
};
namespace impl {
@ -130,14 +149,17 @@ struct IsSafeTuple<T, bool(TrueF(Get<0>(std::move(Get<0>(Tuple{MakeTuple<T>(0, k
static constexpr bool value = false;
};
} // namespace impl
template <typename T>
inline constexpr bool kForceEnableTuple = false;
template <typename T, std::size_t N>
inline constexpr bool kForceEnableTuple<std::array<T, N>> = true;
template <typename T>
concept TupleLike = requires{Get<0>(MakeTuple<T>(42));} && impl::IsSafeTuple<T>::value;
concept TupleLike = kForceEnableTuple<std::remove_cvref_t<T>> || (requires{Get<0>(MakeTuple<T>(42));} && impl::IsSafeTuple<std::remove_cvref_t<T>>::value);
template <TupleLike Tuple>