P2325R3対応

Author: onihusube

reference/iterator/back_insert_iterator/op_constructor.md

@@ -5,10 +5,8 @@
 * function[meta id-type]
 
 ```cpp
-constexpr back_insert_iterator() noexcept = default;   // (1) C++20
-
-explicit back_insert_iterator(Container& x);           // (2) C++03
-explicit constexpr back_insert_iterator(Container& x); // (2) C++20
+explicit back_insert_iterator(Container& x);           // C++03
+explicit constexpr back_insert_iterator(Container& x); // C++20
 ```
 
 ## 概要
@@ -17,13 +15,14 @@ explicit constexpr back_insert_iterator(Container& x); // (2) C++20
 
 ## 効果
 
-- (1) : メンバ変数`container`を`nullptr`で初期化する。
-- (2) : `x`へのポインタをメンバ変数`container`に保持する。
-    - C++11まで : `x`へのポインタは、`&x`で取得する
-    - C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
+`x`へのポインタをメンバ変数`container`に保持する。
+
+- C++11まで : `x`へのポインタは、`&x`で取得する
+- C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
 
 
 ## 参照
 - [LWG Issue 2324. Insert iterator constructors should use `addressof()`](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2324)
 - [P1032R1 Misc `constexpr` bits](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1032r1.html)
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/common_iterator/op_constructor.md

@@ -6,7 +6,7 @@
 * cpp20[meta cpp]
 
 ```cpp
-constexpr common_iterator() = default;                        // (1)
+constexpr common_iterator() requires default_initializable<I> = default;  // (1)
 
 constexpr common_iterator(I i);                               // (2)
 
@@ -17,6 +17,7 @@ template<class I2, class S2>
            convertible_to<const S2&, S>
 constexpr common_iterator(const common_iterator<I2, S2>& x);  // (4)
 ```
+* default_initializable[link /reference/concepts/default_initializable.md]
 * convertible_to[link /reference/concepts/convertible_to.md]
 
 ## 概要
@@ -91,3 +92,4 @@ int main() {
 
 ## 参照
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/counted_iterator/op_constructor.md

@@ -6,14 +6,15 @@
 * cpp20[meta cpp]
 
 ```cpp
-constexpr counted_iterator() = default;                     // (1)
+constexpr counted_iterator() requires default_initializable<I> = default; // (1)
 
-constexpr counted_iterator(I x, iter_difference_t<I> n);    // (2)
+constexpr counted_iterator(I x, iter_difference_t<I> n);                  // (2)
 
 template<class I2>
   requires convertible_to<const I2&, I>
-constexpr counted_iterator(const counted_iterator<I2>& x);  // (3)
+constexpr counted_iterator(const counted_iterator<I2>& x);                // (3)
 ```
+* default_initializable[link /reference/concepts/default_initializable.md]
 * iter_difference_t[link /reference/iterator/iter_difference_t.md]
 * convertible_to[link /reference/concepts/convertible_to.md]
 
@@ -71,3 +72,4 @@ int main() {
 
 ## 参照
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/front_insert_iterator/op_constructor.md

@@ -5,10 +5,8 @@
 * function[meta id-type]
 
 ```cpp
-constexpr front_insert_iterator() noexcept = default;   // (1) C++20
-
-explicit front_insert_iterator(Container& x);           // (2) C++03
-explicit constexpr front_insert_iterator(Container& x); // (2) C++20
+explicit front_insert_iterator(Container& x);           // C++03
+explicit constexpr front_insert_iterator(Container& x); // C++20
 ```
 
 ## 概要
@@ -17,13 +15,15 @@ explicit constexpr front_insert_iterator(Container& x); // (2) C++20
 
 ## 効果
 
-- (1) : メンバ変数`container`を`nullptr`で初期化する。
-- (2) : `x`へのポインタをメンバ変数`container`に保持する。
-    - C++11まで : `x`へのポインタは、`&x`で取得する
-    - C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
+`x`へのポインタをメンバ変数`container`に保持する。
+
+- C++11まで : `x`へのポインタは、`&x`で取得する
+- C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
 
 
 ## 参照
 - [LWG Issue 2324. Insert iterator constructors should use `addressof()`](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2324)
 - [P1032R1 Misc `constexpr` bits](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1032r1.html)
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)
+

reference/iterator/insert_iterator/op_constructor.md

@@ -5,10 +5,8 @@
 * function[meta id-type]
 
 ```cpp
-insert_iterator() = default;                                              // (1) C++20
-
-insert_iterator(Container& x, typename Container::iterator i);            // (2) C++03
-constexpr insert_iterator(Container& x, ranges::iterator_t<Container> i); // (2) C++20
+insert_iterator(Container& x, typename Container::iterator i);            // C++03
+constexpr insert_iterator(Container& x, ranges::iterator_t<Container> i); // C++20
 ```
 * iterator_t[link /reference/ranges/iterator_t.md]
 
@@ -18,13 +16,13 @@ constexpr insert_iterator(Container& x, ranges::iterator_t<Container> i); // (2)
 
 ## 効果
 
-- (1) : メンバ変数`container`を`nullptr`で、挿入位置を示すイテレータ`i`を[`ranges::iterator_t`](/reference/ranges/iterator_t.md)`<Container>()`で初期化する。
-- (2) : コンテナ`x`へのポインタをメンバ変数`container`に保持し、挿入位置を示すイテレータ`i`をメンバ変数`iter`に保持する。
-    - C++11まで : `x`へのポインタは、`&x`で取得する
-    - C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
+コンテナ`x`へのポインタをメンバ変数`container`に保持し、挿入位置を示すイテレータ`i`をメンバ変数`iter`に保持する。
 
+- C++11まで : `x`へのポインタは、`&x`で取得する
+- C++14以降 : `x`へのポインタは、[`std::addressof`](/reference/memory/addressof.md)`(x)`で取得する
 
 ## 参照
 - [LWG Issue 2324. Insert iterator constructors should use `addressof()`](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2324)
 - [P1032R1 Misc `constexpr` bits](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1032r1.html)
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/ostream_iterator/op_constructor.md

@@ -44,3 +44,5 @@ int main()
 
 ## 参照
 - [LWG Issue 2576. `istream_iterator` and `ostream_iterator` should use `std::addressof`](https://wg21.cmeerw.net/lwg/issue2576)
+- [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/ostreambuf_iterator/op_constructor.md

@@ -49,4 +49,5 @@ HelloHello
 
 ## 参照
 
-
+- [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/iterator/weakly_incrementable.md

@@ -8,7 +8,7 @@
 namespace std {
   template<class I>
   concept weakly_incrementable =
-    default_initializable<I> && movable<I> &&
+    movable<I> &&
     requires(I i) {
       typename iter_difference_t<I>;
       requires is-signed-integer-like<iter_difference_t<I>>;
@@ -17,7 +17,6 @@ namespace std {
     };
 }
 ```
-* default_initializable[link /reference/concepts/default_initializable.md]
 * movable[link /reference/concepts/movable.md]
 * iter_difference_t[link /reference/iterator/iter_difference_t.md]
 * is-signed-integer-like[link /reference/iterator/is_integer_like.md]
@@ -124,4 +123,4 @@ sample_not_incrementable is not weakly incrementable
 - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
 - [P1522R1 Iterator Difference Type and Integer Overflow](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1522r1.pdf)
 - [P1207R4 Movability of single-pass iterators](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1207r4.pdf)
-
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/ranges/iota_view.md

@@ -7,7 +7,7 @@
 ```cpp
 namespace std::ranges {
   template<weakly_incrementable W, semiregular Bound = unreachable_sentinel_t>
-    requires weakly-equality-comparable-with<W, Bound> && semiregular<W>
+    requires weakly-equality-comparable-with<W, Bound> && copyable<W>
   class iota_view : public view_interface<iota_view<W, Bound>> { …… }; // (1)
 
   namespace views {
@@ -17,7 +17,7 @@ namespace std::ranges {
 ```
 * is_object_v[link /reference/type_traits/is_object.md]
 * weakly_incrementable[link /reference/iterator/weakly_incrementable.md]
-* semiregular[link /reference/concepts/semiregular.md]
+* copyable[link /reference/concepts/copyable.md]
 * unreachable_sentinel_t[link /reference/iterator/unreachable_sentinel_t.md]
 * weakly-equality-comparable-with[link /reference/concepts/equality_comparable.md]
 * view_interface[link view_interface.md]
@@ -45,7 +45,7 @@ namespace std::ranges {
 
 ## テンプレートパラメータ制約
 - [`weakly_incrementable`](/reference/type_traits/is_object.md)`<W>`
-- [`semiregular`](/reference/concepts/semiregular.md)`<W>`
+- [`copyable`](/reference/concepts/copyable.md)`<W>`
 - [`semiregular`](/reference/concepts/semiregular.md)`<Bound>`
 - [`weakly-equality-comparable-with`](/reference/concepts/equality_comparable.md)`<W, Bound>`
 
@@ -118,3 +118,4 @@ int main() {
 ## 参照
 - [N4861 24 Ranges library](https://timsong-cpp.github.io/cppwp/n4861/ranges)
 - [C++20 ranges](https://techbookfest.org/product/5134506308665344)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/ranges/view.md

@@ -7,12 +7,11 @@
 ```cpp
 namespace std::ranges {
   template<class T>
-  concept view = range<T> && movable<T> && default_initializable<T> && enable_view<T>;
+  concept view = range<T> && movable<T> && enable_view<T>;
 }
 ```
 * range[link range.md]
 * movable[link /reference/concepts/movable.md]
-* default_initializable[link /reference/concepts/default_initializable.md]
 * enable_view[link enable_view.md]
 
 ## 概要
@@ -70,3 +69,4 @@ int main()
 ## 参照
 - [N4861 24 Ranges library](https://timsong-cpp.github.io/cppwp/n4861/ranges)
 - [C++20 ranges](https://techbookfest.org/product/5134506308665344)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)

reference/span/span.md

@@ -8,10 +8,21 @@
 namespace std {
   template <class ElementType, size_t Extent = dynamic_extent>
   class span;
+
+
+  // viewコンセプトを有効化する
+  template<class ElementType, size_t Extent>
+  inline constexpr bool ranges::enable_view<span<ElementType, Extent>> = true;
+
+  // borrowed_rangeコンセプトを有効化する
+  template<class ElementType, size_t Extent>
+  inline constexpr bool ranges::enable_borrowed_range<span<ElementType, Extent>> = true;
 }
 ```
 * size_t[link /reference/cstddef/size_t.md]
 * dynamic_extent[link dynamic_extent.md]
+* enable_view[link /reference/ranges/enable_view.md]
+* enable_borrowed_range[link /reference/ranges/enable_borrowed_range.md]
 
 ## 概要
 `std::span`は、シーケンスの所有権を保持せず、部分シーケンスを参照するクラスである。
@@ -263,3 +274,5 @@ int main()
 - [P2051R0 C++ Standard Library Issues to be moved in Prague](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2051r0.html)
     - `const_iterator`, `const_reverse_iterator`, `cbegin()`, `cend()`, `crbegin()`, `crend()`を削除
 - [P2116R0 Remove tuple-like protocol support from fixed-extent `span`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2116r0.html)
+- [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+- [P2325R3 Views should not be required to be default constructible](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2325r3.html)