C++:std::invoke 是否需要完美转发？

Question

片段

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...);
}

有什么区别？

Answer 1

好吧，我会说是，但这要视情况而定。

在这种情况下你不需要转发:

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...都是左值，此时我建议通过Args 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&&...，请使用转发。