std::ranges::subrange<I,S,K>:: advance

Incrémente ou décrémente begin_ :

• Si I modélise bidirectional_iterator et n < 0 est true , décrémente begin_ de - n éléments.

Équivalent à : ranges:: advance ( begin_  , n ) ;
if constexpr ( StoreSize  )
size_ + = to-unsigned-like  ( - n ) ;
return * this ; .

• Sinon, incrémente begin_ de n éléments, ou jusqu'à ce que end_ soit atteint.

Équivalent à : auto d = n - ranges:: advance ( begin_  , n, end_  ) ;
if constexpr ( StoreSize  )
size_ - = to-unsigned-like  ( d ) ;
return * this ; .

Selon les préconditions de ranges::advance , si n < 0 est true et que begin_ ne peut pas être décrémenté de - n éléments, le comportement est indéfini.

Paramètres

Valeur de retour

* this

Exemple

#include <algorithm>
#include <array>
#include <iostream>
#include <iterator>
#include <ranges>
void print(auto name, auto const sub)
{
    std::cout << name << ".size() == " << sub.size() << "; { ";
    std::ranges::for_each(sub, [](int x) { std::cout << x << ' '; });
    std::cout << "}\n";
};
int main()
{
    std::array arr{1, 2, 3, 4, 5, 6, 7};
    std::ranges::subrange sub{std::next(arr.begin()), std::prev(arr.end())};
    print("1) sub", sub);
    print("2) sub", sub.advance(3));
    print("3) sub", sub.advance(-2));
}

1) sub.size() == 5; { 2 3 4 5 6 }
2) sub.size() == 2; { 5 6 }
3) sub.size() == 4; { 3 4 5 6 }

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi