[istream.iterator.cons] - C++20 → C++23

Files changed (1) hide show

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

@@ -20,17 +20,21 @@ istream_iterator(istream_type& s);
 *Effects:* Initializes `in_stream` with `addressof(s)`,
 value-initializes `value`, and then calls `operator++()`.
 ``` cpp
-istream_iterator(const istream_iterator& x) = default;
 ```
-*Ensures:* `in_stream == x.in_stream` is `true`.
-*Remarks:* If `is_trivially_copy_constructible_v<T>` is `true`, then
-this constructor is trivial.
 ``` cpp
 ~istream_iterator() = default;
 ```

 *Effects:* Initializes `in_stream` with `addressof(s)`,
 value-initializes `value`, and then calls `operator++()`.
 ``` cpp
+constexpr istream_iterator(const istream_iterator& x) noexcept(see below);
 ```
+*Effects:* Initializes `in_stream` with `x.in_stream` and initializes
+`value` with `x.value`.
+*Remarks:* An invocation of this constructor may be used in a core
+constant expression if and only if the initialization of `value` from
+`x.value` is a constant subexpression [[defns.const.subexpr]]. The
+exception specification is equivalent to
+`is_nothrow_copy_constructible_v<T>`.
 ``` cpp
 ~istream_iterator() = default;
 ```

Diff to HTML by rtfpessoa