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

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);
}

演示