Início / coding / Perguntas / 77558990
Accepted
ABu
Asked: 2023-11-28 01:52:48 +0800 CST

Em C++20, é garantido que o tipo sentinela de um intervalo direto seja do mesmo tipo que seu iterador?

  • 772

Um intervalo direto rrequer que seu iterador seja, por sua vez, um iterador direto, o que, por sua vez, exige que o iterador funcione como seu próprio sentinela. Mas isso implica que o tipo sentinela real (por exemplo, o tipo retornado por r.end()) é do mesmo tipo que o próprio iterador ou não?

c++

2 respostas

  1. Best Answer

    Não, não importa, mas tem que ser __WeaklyEqualityComparableWith(apenas uma exposição concept) o tipo de iterador retornado, begin()como pode ser visto em which é um conceito que ...std::sentinel_for concept

    especifica o relacionamento entre um input_or_output_iteratortipo e um semiregulartipo cujos valores denotam um intervalo. O conceito apenas de exposição __WeaklyEqualityComparableWithé descrito em equality_comparable.

    É utilizado o sentinel_forconceito std::ranges:end()que pode ser visto em sua assinatura de chamada:

    template< class T >
    requires /* see link */
constexpr std::sentinel_for<ranges::iterator_t<T>> auto end( T&& t );

    Esta nota sentinel_fortambém é de interesse:

    Um tipo sentinela e seu tipo de iterador correspondente não são necessários para modelar equality_comparable_with, porque o tipo sentinela pode não ser comparável a si mesmo e não é necessário que eles tenham um tipo de referência comum.

    • 3

  2. Nenhum dos conceitos básicos de tipo de intervalo (entrada, encaminhamento, bidirecional, etc.) exige que o sentinela seja um iterador. Até mesmo um contiguous_rangepode funcionar com um sentinela em vez de um iterador. No entanto, o conceito common_rangesim . Portanto, você pode combinar esse conceito com um dos conceitos básicos da linha.

    Mas você só deve empregar isso quando realmente precisar manipular o sentinela final como um iterador. O que para uma faixa estritamente direta... não é realmente possível. Você não pode desreferenciar isso, pois desreferenciar o iterador final é ruim. Você não pode diminuí-lo, pois é um intervalo direto; seus iteradores não podem voltar atrás.

    Basicamente, nunca há uma razão para um modelo que exige um forward_rangetambém exigir que seja um arquivo common_range.

    • 1

relate perguntas