如何迭代具有相同基数的元素元组 class

Question

遍历元组是 C++ 世界中的一个常见问题，我知道它可以完成的各种方法——通常使用递归和可变参数模板。
原因是元组通常包含不同的元素类型，而正确处理每种类型的唯一方法是具有与该类型匹配的特定重载。然后我们让编译器使用递归将每个元素分派给正确的函数。

我的情况是这样的：我有一个元素元组，每个元素都是模板的实例 class:

std::tuple<my_class<int>, my_class<string>, my_class<float>>

此外，my_class<T> 是 my_class_base 的派生 class，它不是模板。
考虑到这个约束，是否可以在 O(1) 步中编写一个 at(tuple_type& tuple, size_t n) 函数 returns 元组的第 n 个元素，作为对基数 class 的引用？

那我就可以写了

for (size_t i = 0; i < N; i++){
   auto& o = at<my_base_class>(tuple, i);
   o.call_base_method(...);
}

谢谢。

Answer 1

您可能只是使用 std::apply:

std::apply([](auto&...args){ (args.call_base_method(), ...); }, tuple);

要回答您的问题，您可以这样做：

template <std::size_t... Is, typename tuple_type>
my_class_base& at_impl(std::index_sequence<Is...>, tuple_type& tuple, size_t n)
{
    my_class_base* bases[] = {&std::get<Is>(tuple)...};
    *return bases[n];
}

template <typename tuple_type>
my_class_base& at(tuple_type& tuple, size_t n)
{
    auto seq = std::make_index_sequence<std::tuple_size<tuple_type>::value>();
    return at_impl(seq, tuple, n);
}

Demo

如何迭代具有相同基数的元素元组 class

How to iterate over a tuple of elemenets that have the same base class

c++

tuples