|
13 | 13 | mutating sequence operations,
|
14 | 14 | sorting and related operations,
|
15 | 15 | and algorithms from the ISO C library,
|
16 |
| -as summarized in Table~\ref{tab:algorithms.summary}. |
| 16 | +as summarized in \tref{algorithms.summary}. |
17 | 17 |
|
18 | 18 | \begin{libsumtab}{Algorithms library summary}{tab:algorithms.summary}
|
19 | 19 | \ref{alg.nonmodifying} & Non-modifying sequence operations & \\
|
|
1628 | 1628 | \begin{itemdescr}
|
1629 | 1629 | \pnum
|
1630 | 1630 | \requires \tcode{Function} shall satisfy the requirements of
|
1631 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}). |
| 1631 | +\tcode{MoveConstructible} (\tref{moveconstructible}). |
1632 | 1632 | \begin{note} \tcode{Function} need not meet the requirements of
|
1633 |
| -\tcode{CopyConstructible} (Table~\ref{tab:copyconstructible}). \end{note} |
| 1633 | +\tcode{CopyConstructible} (\tref{copyconstructible}). \end{note} |
1634 | 1634 |
|
1635 | 1635 | \pnum
|
1636 | 1636 | \effects
|
|
2476 | 2476 | \begin{note}
|
2477 | 2477 | For the overload with an \tcode{ExecutionPolicy}, there may be a performance
|
2478 | 2478 | cost if \tcode{iterator_traits<ForwardIterator1>::value_type} is not
|
2479 |
| -\tcode{Move\-Constructible} (Table~\ref{tab:moveconstructible}). |
| 2479 | +\tcode{Move\-Constructible} (\tref{moveconstructible}). |
2480 | 2480 | \end{note}
|
2481 | 2481 |
|
2482 | 2482 | \pnum
|
|
3019 | 3019 | The type of
|
3020 | 3020 | \tcode{*first}
|
3021 | 3021 | shall satisfy the \tcode{MoveAssignable}
|
3022 |
| -requirements (Table~\ref{tab:moveassignable}). |
| 3022 | +requirements (\tref{moveassignable}). |
3023 | 3023 |
|
3024 | 3024 | \pnum
|
3025 | 3025 | \effects
|
|
3088 | 3088 | \begin{note}
|
3089 | 3089 | For the overloads with an \tcode{ExecutionPolicy}, there may be a performance
|
3090 | 3090 | cost if \tcode{iterator_traits<ForwardIterator1>::value_type} is not
|
3091 |
| -\tcode{Move\-Constructible} (Table~\ref{tab:moveconstructible}). |
| 3091 | +\tcode{Move\-Constructible} (\tref{moveconstructible}). |
3092 | 3092 | \end{note}
|
3093 | 3093 |
|
3094 | 3094 | \pnum
|
|
3138 | 3138 | \requires
|
3139 | 3139 | The comparison function shall be an equivalence relation.
|
3140 | 3140 | The type of \tcode{*first} shall satisfy the
|
3141 |
| -\tcode{MoveAssignable} requirements (Table~\ref{tab:moveassignable}). |
| 3141 | +\tcode{MoveAssignable} requirements (\tref{moveassignable}). |
3142 | 3142 |
|
3143 | 3143 | \pnum
|
3144 | 3144 | \effects
|
|
3215 | 3215 | then there are no additional requirements for \tcode{T}.
|
3216 | 3216 | Otherwise, if \tcode{OutputIterator} meets the forward iterator
|
3217 | 3217 | requirements and its value type is the same as \tcode{T},
|
3218 |
| -then \tcode{T} shall be \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}). |
| 3218 | +then \tcode{T} shall be \tcode{CopyAssignable} (\tref{copyassignable}). |
3219 | 3219 | Otherwise, \tcode{T} shall be both
|
3220 |
| -\tcode{CopyConstructible} (Table~\ref{tab:copyconstructible}) and \tcode{CopyAssignable}. |
| 3220 | +\tcode{CopyConstructible} (\tref{copyconstructible}) and \tcode{CopyAssignable}. |
3221 | 3221 | \begin{note}
|
3222 | 3222 | For the overloads with an \tcode{ExecutionPolicy}, there may be a performance
|
3223 | 3223 | cost if the value type of \tcode{ForwardIterator1} is not both
|
|
3349 | 3349 | \tcode{ForwardIterator} shall satisfy the requirements of
|
3350 | 3350 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type of \tcode{*first} shall satisfy
|
3351 | 3351 | the requirements of \tcode{MoveConstructible}
|
3352 |
| -(Table~\ref{tab:moveconstructible}) and the |
| 3352 | +(\tref{moveconstructible}) and the |
3353 | 3353 | requirements of
|
3354 | 3354 | \tcode{MoveAssignable}
|
3355 |
| -(Table~\ref{tab:moveassignable}). |
| 3355 | +(\tref{moveassignable}). |
3356 | 3356 |
|
3357 | 3357 | \pnum
|
3358 | 3358 | \effects
|
|
3679 | 3679 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
3680 | 3680 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
3681 | 3681 | of \tcode{*first} shall satisfy the requirements of
|
3682 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
3683 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 3682 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 3683 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
3684 | 3684 |
|
3685 | 3685 | \pnum
|
3686 | 3686 | \effects
|
|
3717 | 3717 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
3718 | 3718 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
3719 | 3719 | of \tcode{*first} shall satisfy the requirements of
|
3720 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
3721 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 3720 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 3721 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
3722 | 3722 |
|
3723 | 3723 | \pnum
|
3724 | 3724 | \effects
|
|
3768 | 3768 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
3769 | 3769 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
3770 | 3770 | of \tcode{*first} shall satisfy the requirements of
|
3771 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
3772 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 3771 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 3772 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
3773 | 3773 |
|
3774 | 3774 | \pnum
|
3775 | 3775 | \effects
|
|
3830 | 3830 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
3831 | 3831 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
3832 | 3832 | of \tcode{*result_first} shall satisfy the requirements of
|
3833 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
3834 |
| -\tcode{Move\-Assignable} (Table~\ref{tab:moveassignable}). |
| 3833 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 3834 | +\tcode{Move\-Assignable} (\tref{moveassignable}). |
3835 | 3835 |
|
3836 | 3836 | \pnum
|
3837 | 3837 | \effects
|
|
3969 | 3969 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
3970 | 3970 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
3971 | 3971 | of \tcode{*first} shall satisfy the requirements of
|
3972 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
3973 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 3972 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 3973 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
3974 | 3974 |
|
3975 | 3975 | \pnum
|
3976 | 3976 | \effects
|
|
4318 | 4318 | \tcode{BidirectionalIterator} shall satisfy the requirements of
|
4319 | 4319 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
4320 | 4320 | of \tcode{*first} shall satisfy the requirements of
|
4321 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
4322 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 4321 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 4322 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
4323 | 4323 |
|
4324 | 4324 | \pnum
|
4325 | 4325 | \effects
|
|
4378 | 4378 | \begin{itemize}
|
4379 | 4379 | \item
|
4380 | 4380 | For the overload with no \tcode{ExecutionPolicy}, \tcode{InputIterator}'s
|
4381 |
| -value type shall be \tcode{CopyAssignable} (Table~\ref{tab:copyassignable}), |
| 4381 | +value type shall be \tcode{CopyAssignable} (\tref{copyassignable}), |
4382 | 4382 | and shall be writable\iref{iterator.requirements.general} to the \tcode{out_true}
|
4383 | 4383 | and \tcode{out_false} \tcode{OutputIterator}s, and shall be convertible to
|
4384 | 4384 | \tcode{Predicate}'s argument type.
|
|
4519 | 4519 | \tcode{BidirectionalIterator} shall satisfy the requirements of
|
4520 | 4520 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
4521 | 4521 | of \tcode{*first} shall satisfy the requirements of
|
4522 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
4523 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 4522 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 4523 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
4524 | 4524 |
|
4525 | 4525 | \pnum
|
4526 | 4526 | \effects
|
|
4932 | 4932 | shall be a valid heap.
|
4933 | 4933 | The type of \tcode{*first} shall satisfy
|
4934 | 4934 | the \tcode{MoveConstructible} requirements
|
4935 |
| -(Table~\ref{tab:moveconstructible}) and the |
| 4935 | +(\tref{moveconstructible}) and the |
4936 | 4936 | \tcode{MoveAssignable} requirements
|
4937 |
| -(Table~\ref{tab:moveassignable}). |
| 4937 | +(\tref{moveassignable}). |
4938 | 4938 |
|
4939 | 4939 | \pnum
|
4940 | 4940 | \effects
|
|
4971 | 4971 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
4972 | 4972 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
4973 | 4973 | of \tcode{*first} shall satisfy the requirements of
|
4974 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
4975 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 4974 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 4975 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
4976 | 4976 |
|
4977 | 4977 |
|
4978 | 4978 | \pnum
|
|
5007 | 5007 | \pnum
|
5008 | 5008 | \requires The type of \tcode{*first} shall satisfy
|
5009 | 5009 | the \tcode{MoveConstructible} requirements
|
5010 |
| -(Table~\ref{tab:moveconstructible}) and the |
| 5010 | +(\tref{moveconstructible}) and the |
5011 | 5011 | \tcode{MoveAssignable} requirements
|
5012 |
| -(Table~\ref{tab:moveassignable}). |
| 5012 | +(\tref{moveassignable}). |
5013 | 5013 |
|
5014 | 5014 | \pnum
|
5015 | 5015 | \effects
|
|
5041 | 5041 | \tcode{RandomAccessIterator} shall satisfy the requirements of
|
5042 | 5042 | \tcode{ValueSwappable}\iref{swappable.requirements}. The type
|
5043 | 5043 | of \tcode{*first} shall satisfy the requirements of
|
5044 |
| -\tcode{MoveConstructible} (Table~\ref{tab:moveconstructible}) and of |
5045 |
| -\tcode{MoveAssignable} (Table~\ref{tab:moveassignable}). |
| 5044 | +\tcode{MoveConstructible} (\tref{moveconstructible}) and of |
| 5045 | +\tcode{MoveAssignable} (\tref{moveassignable}). |
5046 | 5046 |
|
5047 | 5047 | \pnum
|
5048 | 5048 | \effects
|
|
5160 | 5160 | \pnum
|
5161 | 5161 | \requires
|
5162 | 5162 | For the first form, type \tcode{T} shall be
|
5163 |
| -\tcode{LessThanComparable} (Table~\ref{tab:lessthancomparable}). |
| 5163 | +\tcode{LessThanComparable} (\tref{lessthancomparable}). |
5164 | 5164 |
|
5165 | 5165 | \pnum
|
5166 | 5166 | \returns
|
|
5210 | 5210 | \pnum
|
5211 | 5211 | \requires
|
5212 | 5212 | For the first form, type \tcode{T} shall be
|
5213 |
| -\tcode{LessThanComparable} (Table~\ref{tab:lessthancomparable}). |
| 5213 | +\tcode{LessThanComparable} (\tref{lessthancomparable}). |
5214 | 5214 |
|
5215 | 5215 | \pnum
|
5216 | 5216 | \returns
|
|
5261 | 5261 | \pnum
|
5262 | 5262 | \requires
|
5263 | 5263 | For the first form, type \tcode{T} shall be
|
5264 |
| -\tcode{LessThanComparable} (Table~\ref{tab:lessthancomparable}). |
| 5264 | +\tcode{LessThanComparable} (\tref{lessthancomparable}). |
5265 | 5265 |
|
5266 | 5266 | \pnum
|
5267 | 5267 | \returns
|
|
5445 | 5445 | \requires
|
5446 | 5446 | The value of \tcode{lo} shall be no greater than \tcode{hi}.
|
5447 | 5447 | For the first form, type \tcode{T}
|
5448 |
| -shall be \tcode{LessThan\-Comparable} (Table~\ref{tab:lessthancomparable}). |
| 5448 | +shall be \tcode{LessThan\-Comparable} (\tref{lessthancomparable}). |
5449 | 5449 |
|
5450 | 5450 | \pnum
|
5451 | 5451 | \returns
|
|
0 commit comments