From Jason Turner

[uninitialized.construct.value]

C++20 → C++23 1.1 KB 10 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/tmppkzz2az3/{from.md → to.md} +3 -3
tmp/tmppkzz2az3/{from.md → to.md} RENAMED
@@ -13,14 +13,14 @@ for (; first != last; ++first)
13
  typename iterator_traits<NoThrowForwardIterator>::value_type();
14
  ```
15
 
16
  ``` cpp
17
  namespace ranges {
18
- template<no-throw-forward-iterator I, no-throw-sentinel<I> S>
19
  requires default_initializable<iter_value_t<I>>
20
  I uninitialized_value_construct(I first, S last);
21
- template<no-throw-forward-range R>
22
  requires default_initializable<range_value_t<R>>
23
  borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
24
  }
25
  ```
26
 
@@ -46,11 +46,11 @@ for (; n > 0; (void)++first, --n)
46
  return first;
47
  ```
48
 
49
  ``` cpp
50
  namespace ranges {
51
- template<no-throw-forward-iterator I>
52
  requires default_initializable<iter_value_t<I>>
53
  I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
54
  }
55
  ```
56
 
 
13
  typename iterator_traits<NoThrowForwardIterator>::value_type();
14
  ```
15
 
16
  ``` cpp
17
  namespace ranges {
18
+ template<nothrow-forward-iterator I, nothrow-sentinel-for<I> S>
19
  requires default_initializable<iter_value_t<I>>
20
  I uninitialized_value_construct(I first, S last);
21
+ template<nothrow-forward-range R>
22
  requires default_initializable<range_value_t<R>>
23
  borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
24
  }
25
  ```
26
 
 
46
  return first;
47
  ```
48
 
49
  ``` cpp
50
  namespace ranges {
51
+ template<nothrow-forward-iterator I>
52
  requires default_initializable<iter_value_t<I>>
53
  I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
54
  }
55
  ```
56