C++：std::invoke需要完美转发吗？
片段
template <typename CallableType, typename... Args>
auto invokeTest(CallableType&& fn, Args&&... args)
{
return std::invoke(fn, std::forward<Args>(args)...);
}
是否std::forward<Args>需要在这里？或者写就够了
template <typename CallableType, typename... Args>
auto invokeTest(CallableType&& fn, Args&&... args)
{
return std::invoke(fn, args...);
}
有什么区别？
回答
好吧，我会说是的，但这取决于具体情况。
在这种情况下您不需要转发：
void bar(int);
int main() {
int i = 0;
invokeTest(bar, i);
}
但是，对于这种情况，您需要转发：
void foo(std::unique_ptr<int>);
int main() {
auto p = std::make_unique<int>();
invokeTest(foo, p); // Won't work, cannot copy unique_ptr
}
编写时std::invoke(fn, args...)，args...都是左值，此时我建议使用参数 byArgs const&...更清晰。
如果向前，则移动参数中作为右值的对象：
template <typename CallableType, typename... Args>
auto invokeTest(CallableType&& fn, Args&&... args)
{
return std::invoke(fn, std::forward<Args>(args)...); // all forward value caterories
}
invokeTest(foo, std::move(p)); // works.
如果您使用Args&&...，请使用转发。