按照运行时定义的顺序遍历 C++ 元组

Question

可以迭代 boost 或 std 元组，但我可以按照运行时确定的顺序进行迭代，同时仍保留类型信息吗？

假设我的元组中填充了Foo 类型的对象：

#include <tuple>

using namespace std;

template <typename ...> void bar(); // Definition omitted.

template <typename ... Ts>
struct Foo {
  void doit() { bar<Ts...>(); }
  int rank;
};

int main(int argc, char *argv[])
{
  auto tup = make_tuple(Foo<int,double>(),
                        Foo<bool,char,float>());
  get<0>(tup).rank = 2;
  get<1>(tup).rank = 1;
  return 0;
}

我希望能够遍历Foo 类型的列表，调用它们的doit 方法，但是按照由rank 成员的值定义的任意顺序。

Answer 1

为了实现这一点，您需要实现一些类型擦除。类似于

template <typename ...> void bar(); // Definition omitted.

struct FooBase {
    virtual void doit() = 0;
    int rank;
};

template <typename ... Ts>
struct Foo : public FooBase {
  void doit() { bar<Ts...>(); }
};

int main(int argc, char *argv[])
{
  auto tup = make_tuple(Foo<int,double>(),
                        Foo<bool,char,float>());
  get<0>(tup).rank = 2;
  get<1>(tup).rank = 1;
  std::vector<FooBase*> bases;
  // fill bases
  // sort
  // call
  return 0;
}

您可以应用其他机制，例如，它们是功能性的，并且不需要修改 Foo，但它们都归结为相同的原则 - 类型擦除。我只是提供了该擦除的最简单实现。