std::ranges::concat_view<Vues...>::iterator<Const>::satisfy, prev, advance-fwd, advance-bwd
Les modèles de fonctions membres d'exposition suivants simplifient la description.
Chaque modèle de fonction auxiliaire a un paramètre de modèle non-type de type std::size_t.
- Si le nom du paramètre de modèle est
N, l'argument de modèle est toujoursit_.index(). - Si le nom du paramètre de modèle est
I, l'argument de modèle peut être n'importe quelle std::size_t valeur dans[0,sizeof...(Views)).
Cependant, l'argument de modèle peut ne pas être une constante de temps de compilation, donc l'effet réel de helper <non_const>(/* arguments */) est similaire à
if (non_const == 0)
helper <0>(/* arguments */);
else if (non_const == 1)
helper <1>(/* arguments */);
/* other indices */
else if (non_const == (sizeof...(Views) - 1))
helper <sizeof...(Views) - 1>(/* arguments */);
.
Modèles d'assistance
Modèles d'assistance miniatures
|
template
<
std::
size_t
N
>
constexpr auto /*get-iter*/ ( ) ; |
(1) | ( exposition uniquement* ) |
|
template
<
std::
size_t
I
>
constexpr auto /*get-view*/ ( ) ; |
(2) | ( exposition uniquement* ) |
|
template
<
std::
size_t
I
>
constexpr auto /*get-begin*/ ( ) ; |
(3) | ( exposition uniquement* ) |
|
template
<
std::
size_t
I
>
constexpr auto /*get-end*/ ( ) ; |
(4) | ( exposition uniquement* ) |
|
template
<
std::
size_t
N
>
constexpr auto /*to-underlying-diff-type*/ ( difference_type value ) ; |
(5) | ( exposition uniquement* ) |
Les modèles d'assistance mini simplifient la description des principaux modèles d'assistance et fonctions membres. Ils ne sont pas inclus dans les documents standards C++.
it_
.
concat_view
.
concat_view
parent.
get-view
<
I
>
(
)
)
.
concat_view
.
get-view
<
I
>
(
)
)
.
it_
.
base-iter
>>>
(
value
)
.
std::ranges::concat_view:: iterator :: satisfy <N>
|
template
<
std::
size_t
N
>
constexpr void /*satisfy*/ ( ) ; |
( exposition uniquement* ) | |
Ajuste la position (globale) actuelle de
it_
.
std::ranges::concat_view:: iterator :: prev <N>
|
template
<
size_t N
>
constexpr void /*prev*/ ( ) ; |
( exposition uniquement* ) | |
Déplace
it_
vers la position (globale) précédente.
std::ranges::concat_view:: iterator :: advance-fwd <N>
|
template
<
size_t N
>
constexpr
void
/*advance-fwd*/
(
difference_type offset,
|
( exposition uniquement* ) | |
Avance la position (globale) actuelle de step pas vers l'avant.
-
Si
N
est égal à
sizeof...
(
Views
)
-
1
, équivalent à
get-iter < N > ( ) + =to-underlying-diff-type ( steps ) ; . -
Sinon, équivalent à
auto
n_size
=
ranges::
distance
(
get-view < N > ( ) ) ) ;
if ( offset + steps < n_size )
get-iter < N > ( ) + =to-underlying-diff-type ( steps ) ;
else
{
it_ . template emplace < N + 1 > (get-begin < N + 1 > ( ) ) ;
advance-fwd < N + 1 > ( 0 , offset + steps - n_size ) ;
} .
Paramètres
| offset | - |
le décalage de la position (globale) actuelle par rapport au début de la plage dans laquelle
it_
se réfère actuellement
|
| steps | - | le nombre de pas à avancer vers l'avant |
std::ranges::concat_view:: iterator :: advance-bwd <N>
|
template
<
size_t N
>
constexpr
void
/*advance-bwd*/
(
difference_type offset,
|
( exposition uniquement* ) | |
Recule la position (globale) actuelle de steps pas vers l'arrière.
-
Si
N
vaut
0
, équivalent à
get-iter < N > ( ) - =to-underlying-diff-type ( steps ) ; . -
Sinon, équivalent à
if
(
offset
>=
steps
)
get-iter < N > ( ) - =to-underlying-diff-type ( steps ) ;
else
{
auto prev_size = ranges:: distance (get-view < N - 1 > ( ) ) ;
it_ . template emplace < N - 1 > (get-end < N - 1 > ( ) ) ;
advance-bwd < N - 1 > ( prev_size, steps - offset ) ;
} .
Paramètres
| offset | - |
le décalage de la position (globale) actuelle depuis le début de la plage dans laquelle
it_
se réfère actuellement
|
| steps | - | le nombre de pas à reculer |