在'std:：accumulate'中使用'std:：move'`

Question

在我的Fedora 34环境（g）中，std:：acculate定义为：

template<typename ITER, typename T>
constexpr inline T accumulate(ITER first, ITER last, T init)
{
  for (; first != last; ++first)
      init = std::move(init) + *first; // why move ?

  return init;
}

如果表达式init*first已经是右值，那么std::的目的是什么？




Answer 1

您没有显示宏扩展到什么，但是我刚刚被提醒，当我昨天写了一个大加法的例子作为一个教训时，为什么这更有效。

二进制运算符创建并返回一个临时对象。对于适合机器寄存器的操作数，这可能是零成本的（最多将目标寄存器中之前的内容溢出到堆栈中），但有时需要创建大型数据结构。这似乎是实现该用例的模板代码。

然而，如果左操作数可以被重击，可以实现为=，覆盖操作数并优化新副本的创建。

正如我所提到的，这种编码风格让我觉得有点奇怪，=的语义正是程序员在这里想要的，所以我不确定他们为什么不使用它。

Answer 2

init*first的值类别无关紧要。

init*first中的init是左值。

因此，如果init*first调用一个运算符重载参数的值，它将导致该参数的复制构造

但是init*first之后不再需要init的值，因此将其移到参数中是有意义的。

类似地，操作符重载通过右值引用获取其第一个参数，可用于允许操作修改参数。

这就是std:：move在这里实现的功能。

自C 20以来，该标准规定了这种行为。

Answer 3

std::（init）*first有时可以生成比init*first更有效的代码，因为它允许覆盖init。但是，由于（正如您观察到的）的结果通常是右值，因此不需要在第二个std::移动中包装整个表达式。

例如，如果您正在累积std::字符串s，那么std::移动（init）*first可能能够将*first附加到init的缓冲区，而不必分配一个长度为init和*first长度之和的新缓冲区。