非右值引用的可变参数的 C++ 转发

Question

考虑：

template <typename... Args>
void foo(Args... args) {
    bar(std::forward<Args>(args)...);
}

template <typename... Args>
void foo2(Args&&... args) {
    bar(std::forward<Args>(args)...);
}

我了解foo2 的完美右值引用转发，但是转发foo 的可变参数值的目的是什么？

如果foo 看起来像这样会有什么不同？

template <typename... Args>
void foo(Args... args) {
    bar(args...);
}

Answer 1

这不是一回事。

在这

template <typename... Args>
void foo(Args... args) {
    bar(std::forward<Args>(args)...);
}

• Args 永远不会被推论为引用（foo(Args...) 表示 foo 按值而非引用获取参数）；
• 另一方面std::forward<T>(t) is nothing more than static_cast<T&&>(t), just with a more explicit intent from the programmer;

这两件事加起来就是static_cast<Args&&>(args)...有一个右值引用返回类型，即返回一个右值（因为Args不是一个引用，所以Args和&&之间不会发生引用折叠给一个左值引用返回类型，这意味着一个左值返回值）。

所以不，在您的第一个版本 foo 中没有完美的转发。其中的std::forward 无条件地将其参数转换为右值；这通常是std::move 的工作：

// this is equivalent to the code above
template <typename... Args>
void foo(Args... args) {
    bar(std::move(args)...);
}