std::move 一个将被覆盖的变量

Question

我遇到了一些code

template<class InputIt, class T>
constexpr // since C++20
T accumulate(InputIt first, InputIt last, T init)
{
    for (; first != last; ++first) {
        init = std::move(init) + *first; // std::move since C++20
    }
    return init;
}

我有一个问题。为什么即使init 是int，我们也必须在init 上使用std::move？

Answer 1

你是对的，移动 int 与复制它没有什么不同。

这里，std::move 仅在 T 的重载 operator+ 对左值和右值的行为不同时才会有用。

我从未听说过这样的类，但我想它可能对以巧妙的方式重载 + 的动态数组有用：

struct Vec
{
    std::vector<int> elems;
};

// Returns a completely new vector.
Vec operator+(const Vec &a, const Vec &b)
{
    assert(a.size() == b.size());
    Vec ret(a.size());
    for (std::size_t i = 0; i < a.size(); i++)
        ret.elems[i] = a.elems[i] + b.elems[i];
    return ret;
}
// Reuses storage of `a`.
Vec operator+(Vec &&a, const Vec &b)
{
    assert(a.size() == b.size());
    for (std::size_t i = 0; i < a.size(); i++)
        a.elems[i] += b.elems[i];
    return std::move(a);
}
// Reuses storage of `b`.
Vec operator+(const Vec &a, Vec &&b)
{
    return std::move(b) + a;
}
// Reuses storage of `a`.
Vec operator+(Vec &&a, Vec &&b)
{
    return std::move(a) + b;
}

编辑： 显然std::string 做了类似的事情：如果可能，它的+ 重复使用其中一个操作数的存储。 （感谢@FrançoisAndrieux 和@Artyer。）

Answer 2

在T 是int 的情况下，本身没有“需要”使用std::move。但是，由于我们可以将std::move 认为基本上意味着“请将此表达式转换为右值”，因此在T 是int 的情况下编译此代码时，一个好的编译器不应引入任何开销。因此，从这个意义上说，这段代码肯定会提高某些类型的性能T，并且不太可能会损害移动是无操作的类型的性能。

Answer 3

我们没有“拥有”std::move init。我们（或者更确切地说，本例中的标准库）这样做是因为对于某些类型，移动比复制更有效。

即使init是int？

init 不一定是int。是T，是一个模板类型参数。