函数模板参数包的问题

Question

为什么下面的编译失败？

inline Obj init_output_string() { return open_output_string(); }

template<typename... Args>
Obj init_output_string(Args... prev, int last)
{
    Obj port(init_output_string(prev...));
    write_char(port, last);
    return port;
}

int ch1 = ...;
int ch2 = ...;
Obj port = init_output_string(ch1, ch2);

（对于 MSVC，错误为 'init_output_string': no overloaded function takes 2 arguments，g++ 给出了类似的错误）。

但以下变体确实可以编译

inline Obj init_output_string() { return open_output_string(); }

template<typename... Args>
Obj init_output_string(int first, Args... rest)
{
    Obj port(init_output_string(rest...));
    write_char(port, first);
    return port;
}

int ch1 = ...;
int ch2 = ...;
Obj port = init_output_string(ch1, ch2);

区别在于字符的书写顺序。我可以很容易地解决这个问题，但我很想知道我的第一个示例违反了什么规则。

Answer 1

您的构造不正确。 见https://en.cppreference.com/w/cpp/language/parameter_pack

在函数模板中，模板参数包可能更早出现 在列表中前提是可以从以下所有参数推导出 函数参数，或具有默认参数：

给出的例子是（在你的情况下是后者）：

template<typename... Ts, typename U>
struct Invalid; // Error: Ts.. not at the end 

template<typename ...Ts, typename U, typename=void>
void valid(U, Ts...);  // OK: can deduce U

// void valid(Ts..., U); 
// Can't be used: Ts... is a non-deduced context in this position

问题是“如何推断在哪里停止 int 来回包”？你是不是最后一个 int 部分？

想象一下编译器只是通过参数列表，应该直接知道在哪里停止打包。