c++ - 元组和可变参数模板，这是如何工作的？

Question

我见过有人写(关于堆栈溢出本身，询问一些甚至高级的概念)类似的东西:

template<typename... args>
std::tuple<args...> parse(istream stream) 
{
    return std::make_tuple(args(stream)...);
}

并将其用作

auto tup = parse<int, float, char>(stream);

上面的代码是如何通过解析流来构造元组的？数据如何放入流中有什么具体要求吗？

Answer 1

要使其正常工作，必须从 std::istream 到指定为模板参数的所有类型进行隐式转换。

struct A {
    A(std::istream&) {} // A can be constructed from 'std::istream'.
};

struct B {
    B(std::istream&) {} // B can be constructed from 'std::istream'.
};

int main() {
    std::istringstream stream{"t1 t2"};
    auto tup = parse<A, B>(stream);
}

它的工作原理是扩展类型的可变参数列表，并使用提供的 std::istream 作为参数构造每个类型。然后留给每个类型的构造函数从流中读取。

另请注意，未指定构造函数的评估顺序，因此您不能期望可变参数列表中的第一个类型将首先从流中读取等。

目前的代码不与int、float 和char 等内置类型一起使用没有从 std::istream 到任何这些类型的转换。