基于范围的for循环中std::move整个范围表达式的差异探究

这两个版本的循环确实存在实际差异，核心区别在于范围表达式的求值类型触发的迭代器行为：

差异的本质 #

• 不带std::move的版本：范围表达式是左值outputs，循环会调用容器的左值重载begin()/end()，遍历的是原容器的元素（迭代器返回左值引用绑定到元素）。
• 带std::move的版本：范围表达式被转换为右值，此时会优先调用容器的右值重载begin()/end()（如果存在），遍历的是右值容器的元素——这可能会完全改变遍历的逻辑。

标准库容器中的表现 #

对于std::vector、std::list、std::map这类标准库容器，几乎观测不到差异。因为标准库没有为容器的右值版本专门重载begin()/end()，无论是否加std::move，循环都会拿到普通迭代器，遍历的都是原容器的元素。循环内的std::move(output)已经会把元素的内容移走，所以最终效果一致。

特殊设计类中的表现 #

如果是自定义的、支持右值迭代器的类，差异会非常显著。比如我们可以设计一个容器，当它作为右值被遍历时，返回std::move_iterator，直接在遍历过程中把元素从容器里移走：

#include <vector>
#include <utility>

template <typename T>
class MoveOptimizedContainer {
private:
    std::vector<T> data;
public:
    // 左值迭代器：返回普通迭代器
    auto begin() & { return data.begin(); }
    auto end() & { return data.end(); }

    // 右值迭代器：返回移动迭代器
    auto begin() && { return std::make_move_iterator(data.begin()); }
    auto end() && { return std::make_move_iterator(data.end()); }
};

这种情况下：

• 带std::move的循环：遍历完成后，原容器内的元素会被全部移走（容器变为空），因为移动迭代器的operator*返回右值引用，迭代过程中就完成了元素的转移。
• 不带std::move的循环：只是逐个移动元素的内容，容器本身的元素结构还保留（比如std::vector的size不变，只是每个元素变成空状态）。

内容的提问来源于stack exchange，提问作者Fedor