為什么新范圍 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 ）