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

Question

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

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

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

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

那我可以写了

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