C++20 是保证与其迭代器类型相同的前向范围的哨兵类型？

Question

前向范围

r

要求其迭代器又是前向迭代器，这又要求迭代器作为其自己的中心点。但是，这是否意味着实际的哨兵类型（例如，

r.end()

返回的类型）与迭代器本身的类型相同还是不同？

Answer 1

不，不是，但必须是

__WeaklyEqualityComparableWith

（仅限说明

concept

）由

begin()

返回的迭代器类型，如

std::sentinel_for

concept

.

中所示。