构造 std::tuple 类型的索引数组
Construct an array of indices of std::tuple types
给定一个包含不同类型元素的元组(没有两个是相同的):
typedef std::tuple<bool, char, int, float, double, std::string> t1;
以及包含仅限于这些类型的元素的元组类型(重复和遗漏是可能的,但没有其他类型):
typedef std::tuple<char, int, int, double, std::string, int, double> t2;
如何为 t2
中的元素构建包含 t1
中匹配元素索引的 std::array
?
{1, 2, 2, 4, 5, 2, 4}
当然可以。
让我们来锻炼一下 std::integer_sequence
, std::tuple
和相关的机器。
首先,编写一种方法来获取某物中任意类型的单个唯一匹配项的索引 tuple-like:
template <class T, class U, std::size_t... N>
static constexpr auto tuple_index_impl(std::index_sequence<N...>) noexcept {
static_assert((std::size_t() + ... + std::is_same_v<T, std::tuple_element_t<N, U>>) == 1,
"There is no single exact match");
return (0 + ... + (N * std::is_same_v<T, std::tuple_element_t<N, U>>));
}
template <class T, class U>
static constexpr std::size_t
tuple_index_v = tuple_index_impl<T, U>(std::make_index_sequence<std::tuple_size_v<U>>());
很遗憾,standard-library 还没有。
接下来,使用它来获取所有索引并将它们放入 std::array
:
template <class T, class U, std::size_t... N>
constexpr auto indices_impl(std::index_sequence<N...>) noexcept {
return std::array<std::size_t, sizeof...(N)>{tuple_index_v<std::tuple_element_t<N, U>, T>...};
}
template <class T, class U>
constexpr auto indices() noexcept {
return indices_impl<T, U>(std::make_index_sequence<std::tuple_size_v<U>>());
}
一个example-use:
for (auto x : indices<t1, t2>())
std::cout << x << '\n';
看到了live on coliru.
给定一个包含不同类型元素的元组(没有两个是相同的):
typedef std::tuple<bool, char, int, float, double, std::string> t1;
以及包含仅限于这些类型的元素的元组类型(重复和遗漏是可能的,但没有其他类型):
typedef std::tuple<char, int, int, double, std::string, int, double> t2;
如何为 t2
中的元素构建包含 t1
中匹配元素索引的 std::array
?
{1, 2, 2, 4, 5, 2, 4}
当然可以。
让我们来锻炼一下 std::integer_sequence
, std::tuple
和相关的机器。
首先,编写一种方法来获取某物中任意类型的单个唯一匹配项的索引 tuple-like:
template <class T, class U, std::size_t... N>
static constexpr auto tuple_index_impl(std::index_sequence<N...>) noexcept {
static_assert((std::size_t() + ... + std::is_same_v<T, std::tuple_element_t<N, U>>) == 1,
"There is no single exact match");
return (0 + ... + (N * std::is_same_v<T, std::tuple_element_t<N, U>>));
}
template <class T, class U>
static constexpr std::size_t
tuple_index_v = tuple_index_impl<T, U>(std::make_index_sequence<std::tuple_size_v<U>>());
很遗憾,standard-library 还没有。
接下来,使用它来获取所有索引并将它们放入 std::array
:
template <class T, class U, std::size_t... N>
constexpr auto indices_impl(std::index_sequence<N...>) noexcept {
return std::array<std::size_t, sizeof...(N)>{tuple_index_v<std::tuple_element_t<N, U>, T>...};
}
template <class T, class U>
constexpr auto indices() noexcept {
return indices_impl<T, U>(std::make_index_sequence<std::tuple_size_v<U>>());
}
一个example-use:
for (auto x : indices<t1, t2>())
std::cout << x << '\n';
看到了live on coliru.