std::ranges:: views:: drop, std::ranges:: drop_view
|
Défini dans l'en-tête
<ranges>
|
||
|
template
<
ranges::
view
V
>
class
drop_view
|
(1) | (depuis C++20) |
|
namespace
views
{
inline
constexpr
/* non spécifié */
drop
=
/* non spécifié */
;
|
(2) | (depuis C++20) |
|
Signature d'appel
|
||
|
template
<
ranges::
viewable_range
R
>
requires
/* voir ci-dessous */
|
(depuis C++20) | |
|
template
<
class
DifferenceType
>
constexpr /* adaptateur de plage de fermeture */ drop ( DifferenceType && count ) ; |
(depuis C++20) | |
T
is
std::
remove_cvref_t
<
decltype
(
(
e
)
)
>
and
D
is
ranges::
range_difference_t
<
decltype
(
(
e
)
)
>
), the expression
vues
::
drop
(
e, f
)
is
expression-équivalente
to:
-
(
(
void
)
f,
decay-copy ( e ) ) , siTest un ranges::empty_view , sauf que les évaluations de e et f sont séquencées de manière indéterminée ; -
sinon,
T
(
ranges::
begin
(
e
)
+
inc,
ranges::
end
(
e
)
,
/*to-unsigned-like*/ ( ranges:: distance ( e ) - inc ) ) , siTest une spécialisation de ranges:: subrange qui modélise à la foisrandom_access_rangeetsized_range, etTdoit stocker la taille (voir ranges::subrange::subrange() pour les détails), où inc est std:: min < D > ( ranges:: distance ( e ) , f ) ; -
sinon,
U
(
ranges::
begin
(
e
)
+
inc,
ranges::
end
(
e
)
)
, si
Test une spécialisation de std:: span , std::basic_string_view , ranges:: iota_view , ou ranges:: subrange qui modélise à la foisrandom_access_rangeetsized_range, oùUest
-
-
std::
span
<
typename
T
::
element_type
>
, si
Test une spécialisation de std:: span ; -
Tsinon ;
-
std::
span
<
typename
T
::
element_type
>
, si
|
(depuis C++23) |
- sinon, drop_view ( e, f ) .
drop_view
modélise les concepts
contiguous_range
,
random_access_range
,
bidirectional_range
,
forward_range
,
input_range
,
common_range
, et
sized_range
lorsque la vue sous-jacente
V
modélise les concepts respectifs.
Table des matières |
Membres de données
| Membre | Description |
V
base_
(privé)
|
la vue sous-jacente
( objet membre d'exposition seulement* ) |
ranges::
range_difference_t
<
V
>
count_
(privé)
|
le nombre d'éléments à ignorer
( objet membre d'exposition seulement* ) |
non-propagating-cache
<
ranges::
iterator_t
<
V
>>
cache_
(privé)
(présent seulement si
V
satisfait
forward_range
mais pas
random_access_range
et
sized_range
)
|
un objet qui met en cache le résultat des appels à
begin()
( objet membre d'exposition seulement* ) |
Fonctions membres
construit un
drop_view
(fonction membre publique) |
|
|
retourne une copie de la vue sous-jacente (adaptée)
(fonction membre publique) |
|
|
retourne un itérateur vers le début
(fonction membre publique) |
|
|
retourne un itérateur ou un sentinelle vers la fin
(fonction membre publique) |
|
retourne le nombre d'éléments, fourni uniquement si la plage sous-jacente (adaptée) satisfait
sized_range
(fonction membre publique) |
|
|
(C++26)
|
retourne la taille approximative de la
approximately_sized_range
résultante
(fonction membre publique) |
Hérité de std::ranges::view_interface |
|
indique si la vue dérivée est vide, fourni uniquement si elle satisfait
sized_range
ou
forward_range
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
|
(C++23)
|
retourne un itérateur constant vers le début de la plage
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
(C++23)
|
retourne un sentinelle pour l'itérateur constant de la plage
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
indique si la vue dérivée n'est pas vide, fourni uniquement si
ranges::empty
lui est applicable
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
obtient l'adresse des données de la vue dérivée, fourni uniquement si son type d'itérateur satisfait
contiguous_iterator
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
retourne le premier élément de la vue dérivée, fourni si elle satisfait
forward_range
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
retourne le dernier élément de la vue dérivée, fourni uniquement si elle satisfait
bidirectional_range
et
common_range
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
retourne le
n
ème
élément de la vue dérivée, fourni uniquement si elle satisfait
random_access_range
(fonction membre publique de
std::ranges::view_interface<D>
)
|
|
Guides de déduction
Modèles d'assistance
|
template
<
class
T
>
constexpr
bool
enable_borrowed_range
<
std
::
ranges
::
drop_view
<
T
>>
=
|
(depuis C++20) | |
Cette spécialisation de
ranges::enable_borrowed_range
permet à
drop_view
de satisfaire
borrowed_range
lorsque la vue sous-jacente la satisfait.
Exemple
#include <initializer_list> #include <iostream> #include <ranges> int main() { const auto nums = {1, 2, 3, 4, 5, 6, 7}; std::cout << "drop " << 2 << ": "; for (int i : std::ranges::drop_view{nums, 2}) std::cout << i << ' '; std::cout << '\n'; std::cout << "drop " << 3 << ": "; for (int i : nums | std::views::drop(3)) std::cout << i << ' '; std::cout << '\n'; std::cout << "drop " << 4 << ": "; for (int i : std::views::iota(1, 8) | std::views::drop(4)) std::cout << i << ' '; std::cout << '\n'; // Notez que supprimer plus d'éléments que le nombre total est acceptable : for (int dp : {5, 6, 7, 890, 100500}) { std::cout << "drop " << dp << ": "; for (int i : std::views::iota(1, 8) | std::views::drop(dp)) std::cout << i << ' '; std::cout << '\n'; } }
Sortie :
drop 2: 3 4 5 6 7 drop 3: 4 5 6 7 drop 4: 5 6 7 drop 5: 6 7 drop 6: 7 drop 7: drop 890: drop 100500:
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.
| DR | Applicable à | Comportement publié | Comportement corrigé |
|---|---|---|---|
| LWG 3407 | C++20 |
views::drop
échoue parfois à
construire une plage à accès aléatoire dimensionnée |
la construction est ajustée
pour qu'elle soit toujours valide |
| LWG 3494 | C++20 |
drop_view
n'était jamais une
borrowed_range
|
c'est une
borrowed_range
si sa vue sous-jacente l'est
|
Voir aussi
une
view
constituée des éléments d'une autre
view
, ignorant la sous-séquence initiale des éléments jusqu'au premier élément où le prédicat retourne
false
(modèle de classe) (objet adaptateur de gamme) |