为何C++标准未让std::istream_iterator<T>::operator*()返回非const引用以支持移动语义？

先看你的代码，你尝试用std::move(*pos)把istream_iterator读出来的字符串移动到vector里，但发现实际是拷贝——这确实挺让人困惑的，明明用了std::move，怎么还是拷贝？

#include <fstream>
#include <string>
#include <vector>
#include <iterator>

int main() {
    auto fin = std::ifstream("tmp.txt");
    auto pos = std::istream_iterator<std::string>(fin);
    auto last = std::istream_iterator<std::string>{};
    auto strs = std::vector<std::string>{};
    for (; pos != last; ++pos) {
        // 本想移动，结果却是拷贝！
        strs.emplace_back(std::move(*pos));
    }
}

问题出在std::istream_iterator<T>::operator*()的定义上：它返回的是const T&，也就是常量引用。std::move作用在常量引用上，最终会调用拷贝构造函数（因为移动操作需要非const的右值，常量右值会优先匹配拷贝），所以你的移动操作根本没生效。

那为什么C++标准不把这个operator*()改成返回非const引用，让我们能直接移动这些元素呢？这里面有几个关键的设计考量：

1. 输入迭代器的语义约束 #

std::istream_iterator属于输入迭代器（InputIterator），这是C++迭代器概念里最基础的一类。输入迭代器的核心语义是“单通、只读”——你只能按顺序读取每个元素一次，迭代之后之前的元素就失效了，而且你不能修改这些元素。

标准里给输入迭代器的operator*()定义成返回const引用，就是为了强化这个“只读”语义：它明确告诉你，这个迭代器指向的元素是用来读的，不是用来改的，更不是用来移动的（移动本质上是一种破坏性的修改）。哪怕输入迭代器是单通的，标准也不想打破这个语义约定——如果允许返回非const引用，就相当于允许用户修改缓存的元素，这和输入迭代器“只读”的定位冲突了。

2. 向后兼容性的权衡 #

C++11引入移动语义的时候，std::istream_iterator已经存在很多年了，大量现有代码依赖它返回const引用的行为。如果突然把返回类型改成非const，很多老代码可能会出问题：比如有些代码可能会把*pos的地址保存下来后续再访问；或者有些不规范的代码会多次解引用同一个输入迭代器（虽然这不符合输入迭代器语义，但现实中确实存在）。改成非const引用后，这些代码的行为可能会突然变化，甚至编译失败。

标准委员会在做任何修改的时候，都会优先考虑向后兼容——毕竟不能因为新特性就把老代码都搞坏了。

3. 避免误用导致的未定义行为 #

如果operator*()返回非const引用，用户可能会误以为可以多次移动同一个迭代器的元素，或者修改元素。但输入迭代器内部是缓存了一个元素的，如果你对同一个迭代器解引用两次，第二次拿到的是被移动后的空对象，这会导致未定义行为。

而const引用可以从语法上阻止这种误用：你不能对const引用的对象执行移动操作，这样就避免了用户不小心把缓存的元素移走，导致后续访问出问题。当然，你可能会说“我知道我只会移动一次”，但标准要考虑的是所有用户的使用场景，不能只照顾少数知道自己在做什么的人，而是要设计一个不容易被误用的接口。

4. 已有替代方案解决问题 #

标准其实并没有把路堵死——如果你真的想从输入流里移动元素，有很多替代方案：

• 用std::getline配合std::move手动读取，每次读取后把字符串移动到容器里；
• C++20及以后，可以用std::ranges::istream_view<std::string>，它的元素是右值引用，可以直接移动，代码更简洁：

  #include <fstream>
  #include <string>
  #include <vector>
  #include <ranges>
  
  int main() {
      auto fin = std::ifstream("tmp.txt");
      auto strs = std::vector<std::string>{};
      for (auto&& s : std::ranges::istream_view<std::string>(fin)) {
          strs.emplace_back(std::move(s));
      }
  }
  

所以不是解决不了移动的问题，而是标准选择了保持输入迭代器的语义一致性，同时提供了更现代的工具来满足移动的需求。

内容来源于stack exchange