2a8ebc4906
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
71 lines
2.1 KiB
C++
71 lines
2.1 KiB
C++
#pragma once
|
|
|
|
#include <mln/util/type_list.hpp>
|
|
|
|
#include <tuple>
|
|
#include <type_traits>
|
|
|
|
namespace mln {
|
|
|
|
template <class T, class... Ts>
|
|
struct TypeIndex;
|
|
|
|
template <class T, class... Ts>
|
|
struct TypeIndex<T, T, Ts...> : std::integral_constant<std::size_t, 0> {};
|
|
|
|
template <class T, class U, class... Ts>
|
|
struct TypeIndex<T, U, Ts...> : std::integral_constant<std::size_t, 1 + TypeIndex<T, Ts...>::value> {};
|
|
|
|
template <class...>
|
|
class IndexedTuple;
|
|
|
|
/// A tuple of Ts, where individual members can be accessed via `t.get<I>()` for I ∈ Is.
|
|
///
|
|
/// See
|
|
/// https://github.com/mapbox/cpp/blob/1bb519ef25edd6169f1d6d8a65414044616590a9/docs/structural-metaprogramming.md
|
|
/// for motivation.
|
|
template <class... Is, class... Ts>
|
|
class IndexedTuple<TypeList<Is...>, TypeList<Ts...>> : public std::tuple<Ts...> {
|
|
public:
|
|
static_assert(sizeof...(Is) == sizeof...(Ts), "IndexedTuple size mismatch");
|
|
|
|
template <class I>
|
|
static constexpr std::size_t getIndex() {
|
|
return TypeIndex<I, Is...>::value;
|
|
}
|
|
|
|
template <class I>
|
|
constexpr auto& get() {
|
|
return std::get<getIndex<I>()>(*this);
|
|
}
|
|
|
|
template <class I>
|
|
constexpr const auto& get() const {
|
|
return std::get<getIndex<I>()>(*this);
|
|
}
|
|
|
|
template <class... Us>
|
|
constexpr IndexedTuple(Us&&... other)
|
|
: std::tuple<Ts...>(std::forward<Us>(other)...) {}
|
|
|
|
template <class... Js, class... Us>
|
|
constexpr IndexedTuple<TypeList<Is..., Js...>, TypeList<Ts..., Us...>> concat(
|
|
const IndexedTuple<TypeList<Js...>, TypeList<Us...>>& other) const {
|
|
return IndexedTuple<TypeList<Is..., Js...>, TypeList<Ts..., Us...>>{get<Is>()..., other.template get<Js>()...};
|
|
}
|
|
|
|
// Help out MSVC++
|
|
constexpr bool operator==(const IndexedTuple<TypeList<Is...>, TypeList<Ts...>>& other) const {
|
|
return static_cast<const std::tuple<Ts...>&>(*this) == static_cast<const std::tuple<Ts...>&>(other);
|
|
}
|
|
|
|
constexpr bool operator!=(const IndexedTuple<TypeList<Is...>, TypeList<Ts...>>& other) const {
|
|
return !(*this == other);
|
|
}
|
|
};
|
|
|
|
template <class, class T>
|
|
using ExpandToType = T;
|
|
|
|
} // namespace mln
|