为何difference_type属于std::weakly_incrementable概念的要求？

difference_type在std::weakly_incrementable层级的设计原因 #

核心设计逻辑 #

• 首先是泛型算法的通用适配需求：大量只涉及迭代器增量、计数逻辑的泛型代码，不需要区分迭代器是输入还是输出类型，只需要一个统一的带符号整数类型来表示迭代次数、两个迭代器的间距。如果difference_type只定义在std::input_iterator层级，这类通用增量逻辑就无法覆盖输出迭代器场景，会导致大量标准库算法的实现变得冗余。
• 其次是对历史规则的明确化：从C98开始，std::iterator_traits就要求所有迭代器类型必须提供difference_type关联类型，这是所有迭代器的通用约定。C20引入概念体系时，只是把这个早已存在的约定下沉到了所有迭代器都必须满足的最基础std::weakly_incrementable概念中，并没有新增额外的要求。
• 输出迭代器本身也存在对应使用场景：比如std::copy_n、std::fill_n这类接收输出迭代器的算法，都需要用统一的类型来标识要写入的元素个数，这个类型就和迭代器的difference_type对齐。

你的场景的解决方案 #

你完全不需要为找不到difference_type的业务关联对象困扰，实现符合要求的输出迭代器时，只需要在类定义中添加一行using difference_type = std::ptrdiff_t;即可，不需要为这个类型实现任何额外逻辑，也不会对你的现有业务实现造成任何影响。

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