|
13562 | 13562 | make use of the following exposition-only function templates: |
13563 | 13563 | \begin{codeblock} |
13564 | 13564 | template<class T> |
13565 | | - constexpr void* @\placeholdernc{voidify}@(T& obj) noexcept { |
| 13565 | + constexpr void* @\exposid{voidify}@(T& obj) noexcept { |
13566 | 13566 | return addressof(obj); |
13567 | 13567 | } |
13568 | 13568 |
|
|
13758 | 13758 | Equivalent to: |
13759 | 13759 | \begin{codeblock} |
13760 | 13760 | for (; first != last; ++first) |
13761 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
| 13761 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
13762 | 13762 | \end{codeblock} |
13763 | 13763 | \end{itemdescr} |
13764 | 13764 |
|
|
13780 | 13780 | Equivalent to: |
13781 | 13781 | \begin{codeblock} |
13782 | 13782 | for (; first != last; ++first) |
13783 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>; |
| 13783 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>; |
13784 | 13784 | return first; |
13785 | 13785 | \end{codeblock} |
13786 | 13786 | \end{itemdescr} |
|
13798 | 13798 | Equivalent to: |
13799 | 13799 | \begin{codeblock} |
13800 | 13800 | for (; n > 0; (void)++first, --n) |
13801 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
| 13801 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type; |
13802 | 13802 | return first; |
13803 | 13803 | \end{codeblock} |
13804 | 13804 | \end{itemdescr} |
|
13837 | 13837 | Equivalent to: |
13838 | 13838 | \begin{codeblock} |
13839 | 13839 | for (; first != last; ++first) |
13840 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
| 13840 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
13841 | 13841 | \end{codeblock} |
13842 | 13842 | \end{itemdescr} |
13843 | 13843 |
|
|
13859 | 13859 | Equivalent to: |
13860 | 13860 | \begin{codeblock} |
13861 | 13861 | for (; first != last; ++first) |
13862 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(); |
| 13862 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(); |
13863 | 13863 | return first; |
13864 | 13864 | \end{codeblock} |
13865 | 13865 | \end{itemdescr} |
|
13877 | 13877 | Equivalent to: |
13878 | 13878 | \begin{codeblock} |
13879 | 13879 | for (; n > 0; (void)++first, --n) |
13880 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
| 13880 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(); |
13881 | 13881 | return first; |
13882 | 13882 | \end{codeblock} |
13883 | 13883 | \end{itemdescr} |
|
13920 | 13920 | Equivalent to: |
13921 | 13921 | \begin{codeblock} |
13922 | 13922 | for (; first != last; ++result, (void)++first) |
13923 | | - ::new (@\placeholdernc{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
| 13923 | + ::new (@\exposid{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
13924 | 13924 | \end{codeblock} |
13925 | 13925 |
|
13926 | 13926 | \pnum |
|
13953 | 13953 | Equivalent to: |
13954 | 13954 | \begin{codeblock} |
13955 | 13955 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) |
13956 | | - ::new (@\placeholdernc{voidify}@(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst); |
| 13956 | + ::new (@\exposid{voidify}@(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst); |
13957 | 13957 | return {std::move(ifirst), ofirst}; |
13958 | 13958 | \end{codeblock} |
13959 | 13959 | \end{itemdescr} |
|
13975 | 13975 | Equivalent to: |
13976 | 13976 | \begin{codeblock} |
13977 | 13977 | for (; n > 0; ++result, (void)++first, --n) |
13978 | | - ::new (@\placeholdernc{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
| 13978 | + ::new (@\exposid{voidify}@(*result)) iterator_traits<NoThrowForwardIterator>::value_type(*first); |
13979 | 13979 | \end{codeblock} |
13980 | 13980 |
|
13981 | 13981 | \pnum |
|
14028 | 14028 | Equivalent to: |
14029 | 14029 | \begin{codeblock} |
14030 | 14030 | for (; first != last; (void)++result, ++first) |
14031 | | - ::new (@\placeholdernc{voidify}@(*result)) |
| 14031 | + ::new (@\exposid{voidify}@(*result)) |
14032 | 14032 | iterator_traits<NoThrowForwardIterator>::value_type(@\exposid{deref-move}@(first)); |
14033 | 14033 | return result; |
14034 | 14034 | \end{codeblock} |
|
14059 | 14059 | Equivalent to: |
14060 | 14060 | \begin{codeblock} |
14061 | 14061 | for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) |
14062 | | - ::new (@\placeholder{voidify}@(*ofirst)) |
| 14062 | + ::new (@\exposid{voidify}@(*ofirst)) |
14063 | 14063 | remove_reference_t<iter_reference_t<O>>(ranges::iter_move(ifirst)); |
14064 | 14064 | return {std::move(ifirst), ofirst}; |
14065 | 14065 | \end{codeblock} |
|
14088 | 14088 | Equivalent to: |
14089 | 14089 | \begin{codeblock} |
14090 | 14090 | for (; n > 0; ++result, (void)++first, --n) |
14091 | | - ::new (@\placeholdernc{voidify}@(*result)) |
| 14091 | + ::new (@\exposid{voidify}@(*result)) |
14092 | 14092 | iterator_traits<NoThrowForwardIterator>::value_type(@\exposid{deref-move}@(first)); |
14093 | 14093 | return {first, result}; |
14094 | 14094 | \end{codeblock} |
|
14141 | 14141 | Equivalent to: |
14142 | 14142 | \begin{codeblock} |
14143 | 14143 | for (; first != last; ++first) |
14144 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
| 14144 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
14145 | 14145 | \end{codeblock} |
14146 | 14146 | \end{itemdescr} |
14147 | 14147 |
|
|
14163 | 14163 | Equivalent to: |
14164 | 14164 | \begin{codeblock} |
14165 | 14165 | for (; first != last; ++first) |
14166 | | - ::new (@\placeholdernc{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(x); |
| 14166 | + ::new (@\exposid{voidify}@(*first)) remove_reference_t<iter_reference_t<I>>(x); |
14167 | 14167 | return first; |
14168 | 14168 | \end{codeblock} |
14169 | 14169 | \end{itemdescr} |
|
14181 | 14181 | Equivalent to: |
14182 | 14182 | \begin{codeblock} |
14183 | 14183 | for (; n--; ++first) |
14184 | | - ::new (@\placeholdernc{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
| 14184 | + ::new (@\exposid{voidify}@(*first)) iterator_traits<NoThrowForwardIterator>::value_type(x); |
14185 | 14185 | return first; |
14186 | 14186 | \end{codeblock} |
14187 | 14187 | \end{itemdescr} |
|
14233 | 14233 | Equivalent to: |
14234 | 14234 | \begin{codeblock} |
14235 | 14235 | if constexpr (is_array_v<T>) |
14236 | | - return ::new (@\placeholdernc{voidify}@(*location)) T[1](); |
| 14236 | + return ::new (@\exposid{voidify}@(*location)) T[1](); |
14237 | 14237 | else |
14238 | | - return ::new (@\placeholdernc{voidify}@(*location)) T(std::forward<Args>(args)...); |
| 14238 | + return ::new (@\exposid{voidify}@(*location)) T(std::forward<Args>(args)...); |
14239 | 14239 | \end{codeblock} |
14240 | 14240 | \end{itemdescr} |
14241 | 14241 |
|
|
0 commit comments