From Jason Turner

[uninitialized.copy]

C++20 → C++23 2.5 KB 20 lines
Current Draft | LaTeX Source
Archived: C++20 | C++23
Markdown: C++20 | C++23
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp0dz8_r15/{from.md → to.md} +6 -8
tmp/tmp0dz8_r15/{from.md → to.md} RENAMED
@@ -20,15 +20,15 @@ for (; first != last; ++result, (void) ++first)
20
  *Returns:* `result`.
21
 
22
  ``` cpp
23
  namespace ranges {
24
  template<input_iterator I, sentinel_for<I> S1,
25
- no-throw-forward-iterator O, no-throw-sentinel<O> S2>
26
  requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
27
  uninitialized_copy_result<I, O>
28
  uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
29
- template<input_range IR, no-throw-forward-range OR>
30
  requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
31
  uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
32
  uninitialized_copy(IR&& in_range, OR&& out_range);
33
  }
34
  ```
@@ -37,13 +37,12 @@ namespace ranges {
37
  `ilast`).
38
 
39
  *Effects:* Equivalent to:
40
 
41
  ``` cpp
42
- for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) {
43
  ::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst);
44
- }
45
  return {std::move(ifirst), ofirst};
46
  ```
47
 
48
  ``` cpp
49
  template<class InputIterator, class Size, class NoThrowForwardIterator>
@@ -55,21 +54,20 @@ template<class InputIterator, class Size, class NoThrowForwardIterator>
55
  `n`).
56
 
57
  *Effects:* Equivalent to:
58
 
59
  ``` cpp
60
- for ( ; n > 0; ++result, (void) ++first, --n) {
61
  ::new (voidify(*result))
62
  typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
63
- }
64
  ```
65
 
66
  *Returns:* `result`.
67
 
68
  ``` cpp
69
  namespace ranges {
70
- template<input_iterator I, no-throw-forward-iterator O, no-throw-sentinel<O> S>
71
  requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
72
  uninitialized_copy_n_result<I, O>
73
  uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
74
  }
75
  ```
@@ -78,10 +76,10 @@ namespace ranges {
78
  `ifirst`+\[0, `n`).
79
 
80
  *Effects:* Equivalent to:
81
 
82
  ``` cpp
83
- auto t = uninitialized_copy(counted_iterator(ifirst, n),
84
  default_sentinel, ofirst, olast);
85
  return {std::move(t.in).base(), t.out};
86
  ```
87
 
 
20
  *Returns:* `result`.
21
 
22
  ``` cpp
23
  namespace ranges {
24
  template<input_iterator I, sentinel_for<I> S1,
25
+ nothrow-forward-iterator O, nothrow-sentinel-for<O> S2>
26
  requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
27
  uninitialized_copy_result<I, O>
28
  uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
29
+ template<input_range IR, nothrow-forward-range OR>
30
  requires constructible_from<range_value_t<OR>, range_reference_t<IR>>
31
  uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
32
  uninitialized_copy(IR&& in_range, OR&& out_range);
33
  }
34
  ```
 
37
  `ilast`).
38
 
39
  *Effects:* Equivalent to:
40
 
41
  ``` cpp
42
+ for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst)
43
  ::new (voidify(*ofirst)) remove_reference_t<iter_reference_t<O>>(*ifirst);
 
44
  return {std::move(ifirst), ofirst};
45
  ```
46
 
47
  ``` cpp
48
  template<class InputIterator, class Size, class NoThrowForwardIterator>
 
54
  `n`).
55
 
56
  *Effects:* Equivalent to:
57
 
58
  ``` cpp
59
+ for ( ; n > 0; ++result, (void) ++first, --n)
60
  ::new (voidify(*result))
61
  typename iterator_traits<NoThrowForwardIterator>::value_type(*first);
 
62
  ```
63
 
64
  *Returns:* `result`.
65
 
66
  ``` cpp
67
  namespace ranges {
68
+ template<input_iterator I, nothrow-forward-iterator O, nothrow-sentinel-for<O> S>
69
  requires constructible_from<iter_value_t<O>, iter_reference_t<I>>
70
  uninitialized_copy_n_result<I, O>
71
  uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
72
  }
73
  ```
 
76
  `ifirst`+\[0, `n`).
77
 
78
  *Effects:* Equivalent to:
79
 
80
  ``` cpp
81
+ auto t = uninitialized_copy(counted_iterator(std::move(ifirst), n),
82
  default_sentinel, ofirst, olast);
83
  return {std::move(t.in).base(), t.out};
84
  ```
85