tupleやarrayに関するテンプレート他 (src/Internal/tuple_traits.hpp)

View this file on GitHub
View document part on GitHub
Last update: 2023-10-31 18:36:36+09:00
Include: #include "src/Internal/tuple_traits.hpp"
Link: View error logs on GitHub Actions

名前	概要
`tuple_like_v<T>`	`T` が tuple, array, pair なら true.
`array_like_v<T>`	`T` が array, pair<U,U>, tuple<U,…,U> なら true.
`to_tuple(t)`	`t` を tuple に変換したものを返す. tuple like じゃないなら void.
`forward_tuple(t)`	`t` を tuple に変換したもの (forwad) を返す. tuple like じゃないなら void.
`to_array(t)`	`t` を array に変換したものを返す. array like じゃないなら void.
`to_tuple_t<T>`	`T` を tuple に変換した型を返す. tuple like じゃないなら void.
`to_array_t<T>`	`T` を array に変換した型を返す. array like じゃないなら void.
`other_than_first_argument_type_t<T>`	`T=tuple<U,Args...>` から `tuple<Args...>` を作る

Required by

Verified with

Code

#pragma once
#include <tuple>
#include <array>
#include <type_traits>
#include <cstddef>
template <class T> static constexpr bool tuple_like_v= false;
template <class... Args> static constexpr bool tuple_like_v<std::tuple<Args...>> = true;
template <class T, class U> static constexpr bool tuple_like_v<std::pair<T, U>> = true;
template <class T, size_t K> static constexpr bool tuple_like_v<std::array<T, K>> = true;
template <class T> auto to_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::make_tuple(x...); }, t);
}
template <class T> auto forward_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::forward_as_tuple(x...); }, t);
}
template <class T> static constexpr bool array_like_v= false;
template <class T, size_t K> static constexpr bool array_like_v<std::array<T, K>> = true;
template <class T, class U> static constexpr bool array_like_v<std::pair<T, U>> = std::is_convertible_v<T, U>;
template <class T> static constexpr bool array_like_v<std::tuple<T>> = true;
template <class T, class U, class... Args> static constexpr bool array_like_v<std::tuple<T, U, Args...>> = array_like_v<std::tuple<T, Args...>> && std::is_convertible_v<U, T>;
template <class T> auto to_array(const T &t) {
 if constexpr (array_like_v<T>) return std::apply([](auto &&...x) { return std::array{x...}; }, t);
}
template <class T> using to_tuple_t= decltype(to_tuple(T()));
template <class T> using to_array_t= decltype(to_array(T()));

#line 2 "src/Internal/tuple_traits.hpp"
#include <tuple>
#include <array>
#include <type_traits>
#include <cstddef>
template <class T> static constexpr bool tuple_like_v= false;
template <class... Args> static constexpr bool tuple_like_v<std::tuple<Args...>> = true;
template <class T, class U> static constexpr bool tuple_like_v<std::pair<T, U>> = true;
template <class T, size_t K> static constexpr bool tuple_like_v<std::array<T, K>> = true;
template <class T> auto to_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::make_tuple(x...); }, t);
}
template <class T> auto forward_tuple(const T &t) {
 if constexpr (tuple_like_v<T>) return std::apply([](auto &&...x) { return std::forward_as_tuple(x...); }, t);
}
template <class T> static constexpr bool array_like_v= false;
template <class T, size_t K> static constexpr bool array_like_v<std::array<T, K>> = true;
template <class T, class U> static constexpr bool array_like_v<std::pair<T, U>> = std::is_convertible_v<T, U>;
template <class T> static constexpr bool array_like_v<std::tuple<T>> = true;
template <class T, class U, class... Args> static constexpr bool array_like_v<std::tuple<T, U, Args...>> = array_like_v<std::tuple<T, Args...>> && std::is_convertible_v<U, T>;
template <class T> auto to_array(const T &t) {
 if constexpr (array_like_v<T>) return std::apply([](auto &&...x) { return std::array{x...}; }, t);
}
template <class T> using to_tuple_t= decltype(to_tuple(T()));
template <class T> using to_array_t= decltype(to_array(T()));

tupleやarrayに関するテンプレート 他 (src/Internal/tuple_traits.hpp)

Required by

Verified with

Code

tupleやarrayに関するテンプレート他 (src/Internal/tuple_traits.hpp)