C++：如何在可变参数模板参数上调用具有类型参数的函数？

Question

所以我有一个带有可变模板参数的函数，我试图为每个参数调用一个方法（带有一个类型参数），将每个结果值打包到 std::tuple 中并返回它。然而，可变参数模板对我来说很难，我还没有完全理解它们。

甚至有可能在 C++ 中实现这一点吗？

到目前为止，这是我的代码（getMultiple 函数中有错误）。非常感谢您的帮助！

#include <iostream>
#include <fstream>
#include <sstream>

template<typename T>
T get(std::istream &stream) {
    T data;
    stream >> data;
    return data;
}

template<typename ... Ts>
std::tuple<Ts...> getMultiple(std::istream &stream) {
    // What am I doing wrong here?
    return std::make_tuple((get<Ts...>(stream)));
}

int main() {
    std::istringstream stream("count 2");
    auto [command, number] = getMultiple<std::string, int>(stream);

    return 0;
}

Answer 1

首先，你忘记了

#include <tuple>

您可能正在寻找的语法是：

return std::make_tuple(get<Ts>(stream)...);

Answer 2

您几乎是正确的，但您的 ... 放错了位置，

get<Ts...>(stream) 转换为 get<T0, T1, .., Tn>(stream)

应该是

foo(get<Ts>(stream)...) 转换为 foo(get<T0>(stream), get<T1>(stream), .., get<Tn>(stream))

您对评估顺序有疑问

在foo(a(), b())、a() 和b() 中是不确定的，所以a() 可能发生在b() 之前，或者相反。可变参数模板不会改变这一点。

所以你不能使用std::make_tuple。幸运的是，在{..} 内部，顺序是从左到右确定的，因此您可以使用：

return std::tuple{get<Ts>(stream)...};