输入迭代器的复制与移动构造函数相关技术疑问

对于你提到的持有T* data私有成员的输入迭代器，直接用默认的复制/移动构造函数完全没问题，浅复制（直接拷贝指针本身）就是标准要求的期望行为，根本不需要实现深复制。

为什么可以用默认实现？ #

• 迭代器的核心定位是「指向容器元素的工具」，它本身不拥有指向的数据的所有权——数据的归属是底层容器（比如数组、vector）。复制迭代器时，只需要让新迭代器也指向同一个元素就够了，这完全符合输入迭代器的语义。
• 从std::input_iterator的概念要求来看，输入迭代器的复制是值语义：两个迭代器指向同一个元素是合法的，就算后续各自独立遍历，只要底层数据存在，就不会有问题。
• 默认复制构造函数会自动完成指针的浅拷贝，完美匹配需求；默认移动构造函数会接管原迭代器的指针（原迭代器会处于合法但未指定的状态，这完全符合C++移动语义的规则），而且noexcept的默认声明也没问题——指针的移动操作不会抛出任何异常。

为什么不需要深复制？ #

深复制完全违背迭代器的设计意图：迭代器是用来定位数据的，不是用来存储数据的。如果给迭代器做深复制，会让每个迭代器都持有一份独立的数据副本，这不仅额外增加了内存开销和性能损耗，还会彻底偏离迭代器的核心功能——毕竟没人会用迭代器来拷贝数据。

举个最简单的例子：普通指针本身就满足std::input_iterator的概念，它的复制就是直接拷贝指针值，这就是标准认可的输入迭代器行为。

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