|
13530 | 13530 | make use of the following exposition-only function templates: |
13531 | 13531 | \begin{codeblock} |
13532 | 13532 | template<class T> |
13533 | | - constexpr void* @\placeholdernc{voidify}@(T& obj) noexcept { |
| 13533 | + constexpr void* @\exposid{voidify}@(T& obj) noexcept { |
13534 | 13534 | return addressof(obj); |
13535 | 13535 | } |
13536 | 13536 |
|
|
13726 | 13726 | Equivalent to: |
13727 | 13727 | \begin{codeblock} |
13728 | 13728 | for (; first != last; ++first) |
13729 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
| 13729 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
13730 | 13730 | \end{codeblock} |
13731 | 13731 | \end{itemdescr} |
13732 | 13732 |
|
|
13748 | 13748 | Equivalent to: |
13749 | 13749 | \begin{codeblock} |
13750 | 13750 | for (; first != last; ++first) |
13751 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>; |
| 13751 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>; |
13752 | 13752 | return first; |
13753 | 13753 | \end{codeblock} |
13754 | 13754 | \end{itemdescr} |
|
13766 | 13766 | Equivalent to: |
13767 | 13767 | \begin{codeblock} |
13768 | 13768 | for (; n > 0; (void)++first, --n) |
13769 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
| 13769 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
13770 | 13770 | return first; |
13771 | 13771 | \end{codeblock} |
13772 | 13772 | \end{itemdescr} |
|
13805 | 13805 | Equivalent to: |
13806 | 13806 | \begin{codeblock} |
13807 | 13807 | for (; first != last; ++first) |
13808 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
| 13808 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
13809 | 13809 | \end{codeblock} |
13810 | 13810 | \end{itemdescr} |
13811 | 13811 |
|
|
13827 | 13827 | Equivalent to: |
13828 | 13828 | \begin{codeblock} |
13829 | 13829 | for (; first != last; ++first) |
13830 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(); |
| 13830 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(); |
13831 | 13831 | return first; |
13832 | 13832 | \end{codeblock} |
13833 | 13833 | \end{itemdescr} |
|
13845 | 13845 | Equivalent to: |
13846 | 13846 | \begin{codeblock} |
13847 | 13847 | for (; n > 0; (void)++first, --n) |
13848 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
| 13848 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
13849 | 13849 | return first; |
13850 | 13850 | \end{codeblock} |
13851 | 13851 | \end{itemdescr} |
|
13888 | 13888 | Equivalent to: |
13889 | 13889 | \begin{codeblock} |
13890 | 13890 | for (; first != last; ++result, (void)++first) |
13891 | | - ::new (@\placeholdernc{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
| 13891 | + ::new (@\exposid{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
13892 | 13892 | \end{codeblock} |
13893 | 13893 |
|
13894 | 13894 | \pnum |
|
13921 | 13921 | Equivalent to: |
13922 | 13922 | \begin{codeblock} |
13923 | 13923 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) |
13924 | | - ::new (@\placeholdernc{voidify}@(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst); |
| 13924 | + ::new (@\exposid{voidify}@(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst); |
13925 | 13925 | return {std::move(ifirst), ofirst}; |
13926 | 13926 | \end{codeblock} |
13927 | 13927 | \end{itemdescr} |
|
13943 | 13943 | Equivalent to: |
13944 | 13944 | \begin{codeblock} |
13945 | 13945 | for (; n > 0; ++result, (void)++first, --n) |
13946 | | - ::new (@\placeholdernc{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
| 13946 | + ::new (@\exposid{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
13947 | 13947 | \end{codeblock} |
13948 | 13948 |
|
13949 | 13949 | \pnum |
|
13996 | 13996 | Equivalent to: |
13997 | 13997 | \begin{codeblock} |
13998 | 13998 | for (; first != last; (void)++result, ++first) |
13999 | | - ::new (@\placeholdernc{voidify}@(*result)) |
| 13999 | + ::new (@\exposid{voidify}@(*result)) |
14000 | 14000 | iterator_traits<NoThrowForwardIterator>::value_type(@\exposid{deref-move}@(first)); |
14001 | 14001 | return result; |
14002 | 14002 | \end{codeblock} |
|
14027 | 14027 | Equivalent to: |
14028 | 14028 | \begin{codeblock} |
14029 | 14029 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) |
14030 | | - ::new (@\placeholder{voidify}@(*ofirst)) |
| 14030 | + ::new (@\exposid{voidify}@(*ofirst)) |
14031 | 14031 | remove_reference_t<iter_reference_t<O>>(ranges::iter_move(ifirst)); |
14032 | 14032 | return {std::move(ifirst), ofirst}; |
14033 | 14033 | \end{codeblock} |
|
14056 | 14056 | Equivalent to: |
14057 | 14057 | \begin{codeblock} |
14058 | 14058 | for (; n > 0; ++result, (void)++first, --n) |
14059 | | - ::new (@\placeholdernc{voidify}@(*result)) |
| 14059 | + ::new (@\exposid{voidify}@(*result)) |
14060 | 14060 | iterator_traits<NoThrowForwardIterator>::value_type(@\exposid{deref-move}@(first)); |
14061 | 14061 | return {first, result}; |
14062 | 14062 | \end{codeblock} |
|
14109 | 14109 | Equivalent to: |
14110 | 14110 | \begin{codeblock} |
14111 | 14111 | for (; first != last; ++first) |
14112 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
| 14112 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
14113 | 14113 | \end{codeblock} |
14114 | 14114 | \end{itemdescr} |
14115 | 14115 |
|
|
14131 | 14131 | Equivalent to: |
14132 | 14132 | \begin{codeblock} |
14133 | 14133 | for (; first != last; ++first) |
14134 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(x); |
| 14134 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(x); |
14135 | 14135 | return first; |
14136 | 14136 | \end{codeblock} |
14137 | 14137 | \end{itemdescr} |
|
14149 | 14149 | Equivalent to: |
14150 | 14150 | \begin{codeblock} |
14151 | 14151 | for (; n--; ++first) |
14152 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
| 14152 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
14153 | 14153 | return first; |
14154 | 14154 | \end{codeblock} |
14155 | 14155 | \end{itemdescr} |
|
14201 | 14201 | Equivalent to: |
14202 | 14202 | \begin{codeblock} |
14203 | 14203 | if constexpr (is_array_v<T>) |
14204 | | - return ::new (@\placeholdernc{voidify}@(*location)) T[1](); |
| 14204 | + return ::new (@\exposid{voidify}@(*location)) T[1](); |
14205 | 14205 | else |
14206 | | - return ::new (@\placeholdernc{voidify}@(*location)) T(std::forward<Args>(args)...); |
| 14206 | + return ::new (@\exposid{voidify}@(*location)) T(std::forward<Args>(args)...); |
14207 | 14207 | \end{codeblock} |
14208 | 14208 | \end{itemdescr} |
14209 | 14209 |
|
|
0 commit comments