C++20 std::move 在自赋值中

Question

大多数答案，包括这个答案，都指出std::move不打算用于自赋值。
但是，我确实通过自移动分配在官方参考中看到了accumulate的可能实现：

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

只有从 C++20 开始才安全吗？ 内部发生了什么？
EXP63-CPP声明：

应该假设唯一可以在移出的对象实例上安全执行的操作是通过分配给对象重新初始化或通过调用其析构函数终止对象的生命周期

看起来重新初始化是完全合法的。

Answer 1

这不是自我分配。

自赋值将是init = std::move(init); ，你有init = std::move(init) + *first; .