用于迭代器的ts和c++20范围概念是否需要使用“operator->”的能力?

是的,我们已经放弃了 operator-> 要求来自 InputIterator ,以及因此优化它的迭代器概念。(需求仍然是“旧的”输入迭代器需求的一部分,这些需求没有改变。)有很多原因:

1. 没有办法实现 -> 对于许多迭代器类型,例如 i->m 相当于 (*i).m as the "old" requirements expect 是的。 move_iterator 是一个很好的例子: (*i.m) 是rvalue,而 I->米 是左值。(是的,这是另一个不满足迭代器要求的标准迭代器。)
2. 没有办法有效地约束 -> 带着概念。当然,我们可以要求 是 一个 运算符-> ,但我们无法限制它使用合理的语法。
3. 最重要的是, -> 对于标准算法来说是无用的:它们不知道迭代器表示的元素是否有成员,更不用说如何命名这些成员了。

这并不意味着标准迭代器不能提供 运算符-> (尽管见 LWG 2790 ,只是迭代器不需要实现这样一个运算符就可以与标准库一起使用。