是否有理由在 iterator::operator-() 上使用 std::distance() ？

Question

我不确定为什么有std::distance(iterator const&, iterator const&)和iterator::operator-(iterator const&) （以及适配器operator-(iterator const&, iterator const&) ），其中iterator是占位符对于任何迭代器。 应该使用一个而不是另一个，如果是，在什么情况下？

Answer 1

operator -不是大多数迭代器类型的成员，因此除非您的算法仅支持随机访问，否则一般使用它是错误的。

另一方面， std::distance知道迭代器类别，并将使用operator -如果可用，如果不可用，它将使用N调用operator --进行减法。

Answer 2

好吧，并非所有迭代器都支持减去两个迭代器。 对于某些人来说，将违反的性能约束放在一边甚至没有意义（它应该是 O(1)，而不是 O(n)）。 即使是，你为什么认为迭代器是类类型的？

std::distance()因此回退到迭代，直到距离被覆盖作为回退，这是一个基本的迭代器操作。

然而，这种退化并不总是可以接受的，如果发生这种情况，距离最好是积极的，因为 UB 的痛苦。

尽管如此，特别是在编写通用代码（或以后可能会通用化的代码）时，保持通用是好的：
写入接口（您需要的最小接口），而不是实现。