在 C++ 可变参数模板中传递可变参数

Question

假设我有一个模板函数，它接受可变参数并使用这些参数调用其他函数...

template<typename... A> func(int i, A... args)
{
  // do something common

  switch (i)
  {
    case 0: x(args...); break;
    case 1: y(args...); break;
    case 2: z(args...); break;

    default: break; 
  }

  // do something common
}

...其他函数定义为...

void x(int a, int b);
void y(int a, int b);  // note: takes same args as x()
void z(std::string a);

这不会编译，因为使用 std::string 参数调用 func() 将找不到与带有 std::string 参数的 x() 和 y() 的匹配项。

请注意，func() 使用一些外部标准（本示例中的参数 i 的值）来决定将参数 args 传递给哪个其他函数。

有没有办法在不诉诸诸如将参数 args 填充到 std:tuple 中并传递它的情况下实现这一目标？

[编辑]

好的，我想出了一种对我的目的来说效果很好的方法。这是一个示例类来说明...

class X
{
  private:

    bool a(int) { return true; }
    bool b(int) { return true; }

    template<typename... A> bool a(const A&...) { return false; }
    template<typename... A> bool b(const A&...) { return false; }

  public:

    template<typename... A> void x(int i, const A&... args)
    {
        if (i == 0)
        {
            a(args...);
        }
        else
        {
            b(args...);
        }
    }
};

a() 和 b() 的可变参数模板方法将捕获对参数不是单个 int 的 X.x() 进行的任何调用。这解决了我收到的编译器错误，并启用了我正在寻找的更简单的类 API。

Answer 1

看看这个帖子我知道你可以使用...作为参数来告诉你使用的是可变数量的参数。

... syntax in C++

这是另一个带有良好注释代码的示例： Functions with Variable Argument Lists in C and C++ using va_list

我希望这会有所帮助。

Answer 2

是的，进行单独的重载：

template <typename A1>
func(A1 arg1)
{
    x(arg1);
}

template <typename A1, typename A2>
func(A1 arg1, A2 arg2)
{
    y(arg1, arg2);
}

template <typename A1, typename A2, typename A3>
func(A1 arg1, A2 arg2, A3 arg3)
{
    z(arg1, arg2, arg3);
}

（当然，任何额外的通用代码都可以分解为单独的通用函数，可能是可变参数函数模板。）