std::ranges::views::counted

inline constexpr /* unspecified */ counted = /* unspecified */;

template< class Iterator, class DifferenceType >
    requires /* see below */
constexpr /*span-or-subrange*/ counted( Iterator&& it, DifferenceType&& count );

Une vue comptée présente une vue des éléments du range compté [i, n) pour un itérateur i et un entier non négatif n.

Un range compté [i, n) est les n éléments commençant par l'élément pointé par i et jusqu'à, mais sans inclure, l'élément, s'il existe, pointé par le résultat de n applications de ++i.

Si n == 0, le range compté est valide et vide. Sinon, le range compté n'est valide que si n est positif, i est déréférençable, et [++i, --n) est un range compté valide.

Formellement, si it et count sont des expressions, T est std::decay_t<decltype((it))>, et D est std::iter_difference_t<T>, alors

si T modélise input_or_output_iterator et decltype((count)) modélise std::convertible_to<D>,

• si T modélise contiguous_iterator, alors views::counted(it, count) est équivalent à l'expression à std::span(std::to_address(it), static_cast<std::size_t>(static_cast<D>(count))),
• sinon, si T modélise random_access_iterator, alors views::counted(it, count) est équivalent à l'expression à ranges::subrange(it, it + static_cast<D>(count)),
• sinon, views::counted(it, count) est équivalent à l'expression à ranges::subrange(std::counted_iterator(it, count), std::default_sentinel).

Sinon, views::counted(it, count) est mal formé.

Objets points de personnalisation

Le nom views::counted désigne un objet point de personnalisation, qui est un objet fonction const d'un type de classe semiregular littéral. Voir CustomizationPointObject pour plus de détails.

Notes

views::counted ne vérifie pas si le range est assez long pour fournir tous les count éléments : utilisez views::take si cette vérification est nécessaire.

Exemple

#include <iostream>
#include <ranges>

int main()
{
    const int a[]{1, 2, 3, 4, 5, 6, 7};
    for (int i : std::views::counted(a, 3))
        std::cout << i << ' ';
    std::cout << '\n';

    const auto il = {1, 2, 3, 4, 5};
    for (int i : std::views::counted(il.begin() + 1, 3))
        std::cout << i << ' ';
    std::cout << '\n';
}

1 2 3
2 3 4

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