std::forward<Args>还是std::forward<Args...>？

Question

我遇到了两个带有各种模板参数的std::forward用法变体。

template <typename... Args>
void foo(Args&&... arga)
{
    bar(std::forward<Args>(args)...);      // variant 1
    bar(std::forward<Args...>(args)...);   // variant 2

    // EDIT the above is a fixed version, the initial incorrect version was
    // bar(std::forward<Args>(args...));      // variant 1
    // bar(std::forward<Args...>(args...));   // variant 2

}

我已经用g++和clang尝试过这两种变体，它们看起来都同样工作得很好。不使用-Wall -Wextra -Wpedantic生成警告。

两种变体都是正确的吗？若否，原因为何？标准对此有何看法？

Answer 1

bar(std::forward<Args>(args)...);      // variant 1

这是正确的。

bar(std::forward<Args...>(args...));   // variant 2

这是错误的。

如果参数包是空的，变量1扩展到有效的bar()，而变量2扩展到bar(std::forward<>())，因为forward缺少参数，格式不正确。

如果包中有一个元素，那么两个变体都展开为bar(std::forward<T>(t))，这是有效的。

如果包中有两个元素，变体1将正确扩展为有效的bar(std::forward<T1>(t1), std::forward<T2>(t2))。但是对于两个元素，变体2扩展到bar(std::forward<T1, T2>(t1, t2))，这是错误的，因为std::forward有一个模板参数和一个函数参数。

因此，在所有情况下，变体1都有效，但变体2只对带有一个元素的参数包有效(如果您只关心一个模板参数，则根本不应该使用可变模板！)

基本上，包扩展应该是PATTERN...，其中模式是您希望对包中的每个元素重复的东西。由于您希望对每个元素调用std::forward<T>(t)，所以模式应该是std::forward<Args>(args)，所以整个pack展开后面是... (而不是模式中的...，这导致了两个单独的包扩展，一个是Args中的类型，另一个是args中的变量)。