Início / coding / Perguntas / 78906321
Accepted
SpeakX
Asked: 2024-08-23 22:09:42 +0800 CST

std::ranges::any_of Detalhes de implementação do pedido

  • 772

Estou olhando cppreference mas não vejo nenhuma informação sobre a ordem do loop executado.

Minha pergunta : ao ligar, std::ranges::any_oftenho data.begin(), data.end() certeza de que vai de begin()para end()em ordem e para uma vez true?

c++

2 respostas

  1. Best Answer

    tenho certeza de que vai do início () ao fim () em ordem e para quando é verdade?

    Não, não existe essa garantia.

    De acordo com a complexidade declarada para std::ranges::any_of :

    No máximo, por último - primeiras aplicações do predicado e da projeção.

    A implementação é livre para iterar em uma ordem diferente daquela que você mencionou (por exemplo, na ordem inversa). Também não é obrigatório parar nos primeiros elementos para os quais o predicado é verdadeiro. A única garantia é que usará o predicado/projeção em cada elemento no máximo 1 vez.

    Dito isto, o que você mencionou é uma expectativa muito razoável de qualquer implementação "normal", e presumo que todos eles a seguirão (embora, como eu disse, não seja obrigatório).

    • 1

  2. A rigor, a norma não especifica.

    No entanto, de acordo com o padrão C++, [alg.any.of] any_ofé definido como:

    template<class InputIterator, class Predicate>
constexpr bool any_of(InputIterator first, InputIterator last, Predicate pred);

    [algorithms.requirements]/4.1diz:

    Se o parâmetro do modelo de um algoritmo for nomeado InputIterator, InputIterator1ou InputIterator2, o argumento do modelo deverá atender aos requisitos do Cpp17InputIterator

    E [tab:inputiterator](de ) tem apenas os [input.iterators]requisitos de a != b,,,,,, e*aa->m++r(void)r++*r++

    Assim, como o único requisito nos iteradores (em termos de travessia) é ++ror r++, é lógico supor que a função irá de firstpara lastem ordem.

    • 1

relate perguntas