[move.iter.cons] - C++20 → C++23

Files changed (1) hide show

tmp/tmpvr3ham5q/{from.md → to.md} RENAMED Viewed

@@ -2,34 +2,34 @@
 ``` cpp
 constexpr move_iterator();
 ```
-*Effects:* Constructs a `move_iterator`, value-initializing `current`.
-Iterator operations applied to the resulting iterator have defined
-behavior if and only if the corresponding operations are defined on a
-value-initialized iterator of type `Iterator`.
 ``` cpp
 constexpr explicit move_iterator(Iterator i);
 ```
-*Effects:* Constructs a `move_iterator`, initializing `current` with
-`std::move(i)`.
 ``` cpp
 template<class U> constexpr move_iterator(const move_iterator<U>& u);
 ```
-*Mandates:* `U` is convertible to `Iterator`.
-*Effects:* Constructs a `move_iterator`, initializing `current` with
-`u.base()`.
 ``` cpp
 template<class U> constexpr move_iterator& operator=(const move_iterator<U>& u);
 ```
-*Mandates:* `U` is convertible to `Iterator`.
-*Effects:* Assigns `u.base()` to `current`.

 ``` cpp
 constexpr move_iterator();
 ```
+*Effects:* Value-initializes `current`.
 ``` cpp
 constexpr explicit move_iterator(Iterator i);
 ```
+*Effects:* Initializes `current` with `std::move(i)`.
 ``` cpp
 template<class U> constexpr move_iterator(const move_iterator<U>& u);
 ```
+*Constraints:* `is_same_v<U, Iterator>` is `false` and `const U&` models
+`convertible_to<Iterator>`.
+*Effects:* Initializes `current` with `u.current`.
 ``` cpp
 template<class U> constexpr move_iterator& operator=(const move_iterator<U>& u);
 ```
+*Constraints:* `is_same_v<U, Iterator>` is `false`, `const U&` models
+`convertible_to<Iterator>`, and `assignable_from<Iterator&, const U&>`
+is modeled.
+*Effects:* Assigns `u.current` to `current`.
+*Returns:* `*this`.

Diff to HTML by rtfpessoa