使用空参数包函数参数调用初始值设定项列表中的函数

Question

我有

void foo(double &arg, uint8_t *data)
{
    // ...
}

template <class T>
void foo(T &arg, uint8_t *data)
{
    // ...
}

我称之为

template <class ...T>
void bar(T... arg)
{
    uint8_t *data = new uint8_t[SOME_VALUE];

    // guaranteed to be executed in order
    auto list = {(foo(arg, data), 1)...};

   // ...
}

但是当使用 0 个参数调用 bar 时它会失败，因为在初始化列表中调用 foo 的方式。

如何修改它以使bar 使用空参数包？结果应该就像初始化列表从未执行过一样。

当我们在bar 和可变参数模板@ 987654329@ 调用自身，直到其参数包为空。 （主要是因为后者似乎很昂贵——当包有很多参数时，堆栈会下降很多，这会导致生成许多不同的模板版本foo。）

Answer 1

基本上，问题在于auto list = {}; 不起作用。

要么明确指定类型：

std::initializer_list<int> list = {(foo(arg, data), 1)...};

或者给它一个额外的元素：

auto list = {1, (foo(arg, data), 1)...};

旁注：对于完全通用的代码，当您不知道foo 的返回类型时，您需要将foo 的返回值强制转换为void，以防止可能重载的逗号运算符.