为何自定义Iterator不满足std::input_iterator概念？

你的自定义Iterator无法满足std::input_iterator概念，以及导致std::ranges::subrange编译失败的核心原因如下：

1. 违反std::input_iterator的拷贝要求 #

std::input_iterator概念强制要求迭代器类型支持拷贝构造和拷贝赋值，这是C++标准对输入迭代器的核心语义规定——算法在处理输入迭代器时，可能需要保存迭代器的副本（例如遍历过程中临时记录当前位置）。

你显式删除了拷贝构造和拷贝赋值函数：

Iterator(const Iterator&) = delete;
Iterator& operator = (const Iterator&) = delete;

这直接违反了std::input_iterator的必备条件，是static_assert(std::input_iterator<Iterator<int>>)失败的根本原因。

2. std::ranges::subrange的依赖要求 #

std::ranges::subrange要求传入的迭代器必须满足对应范畴的概念要求。当你传入Iterator<T>时，subrange会依据你指定的iterator_category = std::input_iterator_tag，要求它满足std::input_iterator，但你的迭代器不满足拷贝要求，因此subrange无法正常实例化，最终导致std::ranges::equal的调用编译失败。

修正方案 #

如果你的迭代器逻辑允许拷贝，最简单的解决方式是恢复拷贝构造和拷贝赋值函数：

// 恢复拷贝构造与拷贝赋值，使用默认实现即可
Iterator(const Iterator&) = default;
Iterator& operator = (const Iterator&) = default;

如果你的迭代器确实只能移动（比如持有独占资源，无法拷贝），那么它不符合std::input_iterator的语义，你需要重新考虑迭代器的范畴：

• 这类只能移动的迭代器不属于C++标准定义的任何迭代器范畴（input/forward/bidirectional/random_access都要求可拷贝）
• 可以考虑自定义迭代器范畴，但这会导致无法兼容标准算法和ranges组件。

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