为什么新范围 remove_* 算法移动第一个迭代器？

Question

当我注意到以下行时，我正在阅读std::ranges::remove的 MSVC STL 实现：

_First = _RANGES _Find_if_unchecked(_STD move(_First), _Last, _Pred, _Proj);

实际上， cppreference在其“可能的实现”中也有以下行：

first = ranges::find_if(std::move(first), last, pred, proj);

令我困惑的是，我几乎从未见过有人移动迭代器； 它们通常复制起来很便宜（或者至少应该是），即使这是一个复制问题，我们也可以采用通用引用并将迭代器std::forward给find_if吗？

与简单地按值传递相比，强制转换为右值引用有什么优势？

Answer 1

ranges::find_if接受input_iterator ，它不一定是可copyable的（标准中的一个例子是basic_istream_view::iterator ）。

在C++20的迭代器系统中，只有model forward_iterator这样的迭代器保证是可复制的，所以这里需要std::move 。

即使这是副本问题，我们也可以采用通用引用并将 std::forward 迭代器改为 find_if 吗？

迭代器通常按值传递。

当第first迭代器不能保证可复制时，我们需要通过std::move将其所有权转移给ranges::find_if ，并通过其返回重新接受其所有权。

（尽管在您的示例中std::move可以省略，因为ranges::remove已经需要forward_iterator ）