我在看video，Nicolai 说这个例子中自动丢失了移动语义：
template<typename Callable, typename... Args>
auto call(Callable&& op, Args&&... args) {
return std::invoke(std::forward<Callable>(op), std::forward<Args>(args)...);
}
我想知道：
为什么会这样？
guaranteed RVO 是否启动 这个例子？如果是这样，担心搬家有什么意义？
【问题讨论】：
call 将返回一个从该引用构造的对象。所以使用auto 来声明一个返回类型将使它“不那么完美”向前。视频建议改用decltype(auto)。
我认为 Nicolai 可以说得更好一些。
当您通过auto 返回时，您的函数会返回一个值（将推导出其类型）。如果std::invoke 返回一个纯右值或一个xvalue，那么当然会相应地构造call 的结果（如果可能，通过移动）。从这个意义上说，我们不会“失去移动语义”。
但是当我们按值返回时，需要创建那个值对象。它可以通过移动创建，在某些情况下（which aren't present here）可以省略，但必须创建。保证复制省略不允许我们逃避创建这个对象。
如果 std::invoke 给我们返回一个 xvalue（对某物的右值引用），那可能会非常浪费。为什么要构造一个对象来返回它？
这就是为什么一两张幻灯片后他说我们应该在decltype(auto) 之前返回。然后，扣除规则将保留对std::invoke的调用的值类别：
如果它返回一个值，我们的情况不会更糟。我们自己的call 将返回一个值（它可以通过移动std::invoke 的返回值来创建）。
如果std::invoke 返回左值(X&) 或xvalue(X&&)，将按原样返回，而无需通过复制或移动创建另一个对象。
【讨论】：