残りのアルゴリズムも、できるだけ用語「イテレータ範囲」を使用するよう修正 #1011

Author: faithandbrave

reference/algorithm/adjacent_find.md

@@ -43,7 +43,7 @@ namespace std {
 ```
 
 ## 概要
-隣接する要素で条件を満たしている最初の要素を検索する。
+イテレータ範囲`[first, last)`から、隣接する要素で条件を満たしている最初の要素を検索する。
 
 
 ## 戻り値

reference/algorithm/binary_search.md

@@ -30,7 +30,7 @@ namespace std {
 ```
 
 ## 概要
-二分探索法による検索を行う。
+イテレータ範囲`[first, last)`から、二分探索法によって条件一致する要素の検索を行う。
 
 
 ## 要件

reference/algorithm/copy_n.md

@@ -30,7 +30,7 @@ namespace std {
 ```
 
 ## 概要
-指定された数の要素をコピーする。
+イテレータ範囲`[first, first + n)` (範囲の先頭N個) の要素をコピーする。
 
 
 ## 効果

reference/algorithm/count.md

@@ -28,11 +28,11 @@ namespace std {
 * iterator_traits[link /reference/iterator/iterator_traits.md]
 
 ## 概要
-指定された値と等値な要素の数を数える。
+イテレータ範囲`[first, last)`から、指定された値と等値な要素の数を数える。
 
 
 ## 戻り値
-`[first,last)` 内のイテレータ `i` について、`*i == value` であるイテレータの数を返す
+イテレータ範囲`[first,last)` 内のイテレータ `i` について、`*i == value` であるイテレータの数を返す
 
 
 ## 計算量

reference/algorithm/count_if.md

@@ -28,11 +28,11 @@ namespace std {
 * iterator_traits[link /reference/iterator/iterator_traits.md]
 
 ## 概要
-条件を満たしている要素の数を数える。
+イテレータ範囲`[first, last)`から、条件を満たしている要素の数を数える。
 
 
 ## 戻り値
-`[first,last)` 内のイテレータ `i` について、`pred(*i) != false` であるイテレータの数を返す
+イテレータ範囲`[first,last)` 内のイテレータ `i` について、`pred(*i) != false` であるイテレータの数を返す
 
 
 ## 計算量

reference/algorithm/find.md

@@ -24,7 +24,7 @@ namespace std {
 ```
 
 ## 概要
-指定された値を検索する。
+イテレータ範囲`[first, last)`から、指定された値を検索する。
 
 
 ## 戻り値

reference/algorithm/find_first_of.md

@@ -71,7 +71,7 @@ namespace std {
 ```
 
 ## 概要
-ある集合の1つとマッチする最初の要素を検索する。
+イテレータ範囲`[first1, last1)`から、集合`[first2, last2)`のいずれかの要素とマッチする最初の要素を検索する。
 
 
 ## 戻り値

reference/algorithm/iter_swap.md

@@ -6,10 +6,10 @@
 ```cpp
 namespace std {
   template <class ForwardIterator1, class ForwardIterator2>
-  void iter_swap(ForwardIterator1 a, ForwardIterator2 b);           // C++03
+  void iter_swap(ForwardIterator1 a, ForwardIterator2 b);           // (1) C++03
 
   template <class ForwardIterator1, class ForwardIterator2>
-  constexpr void iter_swap(ForwardIterator1 a, ForwardIterator2 b); // C++20
+  constexpr void iter_swap(ForwardIterator1 a, ForwardIterator2 b); // (1) C++20
 }
 ```
 

reference/algorithm/ranges_binary_search.md

@@ -6,13 +6,30 @@
 
 ```cpp
 namespace std::ranges {
-  template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity,
-           indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less>
-  constexpr bool binary_search(I first, S last, const T& value, Comp comp = {}, Proj proj = {});
-
-  template<forward_range R, class T, class Proj = identity,
-           indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = ranges::less>
-  constexpr bool binary_search(R&& r, const T& value, Comp comp = {}, Proj proj = {});
+  template <forward_iterator I,
+            sentinel_for<I> S,
+            class T,
+            class Proj = identity,
+            indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less>
+  constexpr bool
+    binary_search(I first,
+                  S last,
+                  const T& value,
+                  Comp comp = {},
+                  Proj proj = {}); // (1) C++20
+
+  template <forward_range R,
+            class T,
+            class Proj = identity,
+            indirect_strict_weak_order<
+              const T*,
+              projected<iterator_t<R>, Proj>
+            > Comp = ranges::less>
+  constexpr bool
+    binary_search(R&& r,
+                  const T& value,
+                  Comp comp = {},
+                  Proj proj = {}); // (2) C++20
 }
 ```
 * forward_iterator[link /reference/iterator/forward_iterator.md]
@@ -28,6 +45,9 @@ namespace std::ranges {
 ## 概要
 二分探索法による検索を行う。
 
+- (1): イテレータ範囲を指定する
+- (2): Rangeを直接指定する
+
 
 ## 事前条件
 `[first,last)` の要素 `e` は `e < value` および `!(value < e)`、または `comp(e, value)` および `!comp(value, e)` によって[区分化](/reference/algorithm.md#sequence-is-partitioned)されていなければならない。

reference/algorithm/ranges_copy_n.md

@@ -7,9 +7,13 @@
 
 ```cpp
 namespace std::ranges {
-  template<input_iterator I, weakly_incrementable O>
+  template <input_iterator I,
+            weakly_incrementable O>
     requires indirectly_copyable<I, O>
-  constexpr copy_n_result<I, O> copy_n(I first, iter_difference_t<I> n, O result);
+  constexpr copy_n_result<I, O>
+    copy_n(I first,
+           iter_difference_t<I> n,
+           O result); // (1) C++20
 }
 ```
 * copy_n_result[link ranges_in_out_result.md]
@@ -20,6 +24,8 @@ namespace std::ranges {
 ## 概要
 指定された数の要素をコピーする。
 
+- (1): イテレータ範囲を指定する
+
 
 ## 効果
 0 以上 `n` 未満であるそれぞれの `i` について、`*(result + i) = *(first + i)` を行う。

reference/algorithm/ranges_upper_bound.md

@@ -6,13 +6,30 @@
 
 ```cpp
 namespace std::ranges {
-  template<forward_iterator I, sentinel_for<I> S, class T, class Proj = identity,
-           indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less>
-  constexpr I upper_bound(I first, S last, const T& value, Comp comp = {}, Proj proj = {});
-
-  template<forward_range R, class T, class Proj = identity,
-           indirect_strict_weak_order<const T*, projected<iterator_t<R>, Proj>> Comp = ranges::less>
-  constexpr borrowed_iterator_t<R> upper_bound(R&& r, const T& value, Comp comp = {}, Proj proj = {});
+  template <forward_iterator I,
+            sentinel_for<I> S,
+            class T,
+            class Proj = identity,
+            indirect_strict_weak_order<const T*, projected<I, Proj>> Comp = ranges::less>
+  constexpr I
+    upper_bound(I first,
+                S last,
+                const T& value,
+                Comp comp = {},
+                Proj proj = {}); // (1) C++20
+
+  template <forward_range R,
+            class T,
+            class Proj = identity,
+            indirect_strict_weak_order<
+              const T*,
+              projected<iterator_t<R>, Proj>
+            > Comp = ranges::less>
+  constexpr borrowed_iterator_t<R>
+    upper_bound(R&& r,
+                const T& value,
+                Comp comp = {},
+                Proj proj = {}); // (2) C++20
 }
 ```
 * forward_iterator[link /reference/iterator/forward_iterator.md]
@@ -28,6 +45,9 @@ namespace std::ranges {
 ## 概要
 指定された要素より大きい値が現れる最初の位置のイテレータを取得する
 
+- (1): イテレータ範囲を指定する
+- (2): Rangeを直接指定する
+
 
 ## 事前条件
 - `[first,last)` の要素 `e` は `!(value < e)` または `!comp(value, e)` によって[区分化](/reference/algorithm.md#sequence-is-partitioned)されていること。  

reference/array/array/op_equal.md

@@ -77,7 +77,7 @@ equal
 
 ## 参照
 - [LWG Issue 2257. Simplify container requirements with the new algorithms](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2257)
-    - C++14から、2つ目の範囲のendイテレータをとる`equal()`アルゴリズムを使用するようになった。
+    - C++14から、2つ目のイテレータ範囲のendイテレータをとる`equal()`アルゴリズムを使用するようになった。
 - [P1023R0 `constexpr` comparison operators for `std::array`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1023r0.pdf)
 - [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
     - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/charconv/from_chars.md

@@ -21,13 +21,13 @@ namespace std {
 ```
 
 ## 概要
-与えられた`[first, last)`内の文字列から、オーバーロードと基数・フォーマット指定によって決まるパターンにマッチングする最初の数字文字列を見つけて、数値へ変換する。  
+与えられたイテレータ範囲`[first, last)`内の文字列から、オーバーロードと基数・フォーマット指定によって決まるパターンにマッチングする最初の数字文字列を見つけて、数値へ変換する。  
 変換に際し、メモリ確保を行わず例外を投げることもない。
 
 C++標準はこれら関数の実装の詳細について何も規定しない。これは、各実装において可能な最も高速なアルゴリズムが選択されることを意図しての事である。
 
 ## 要件
-- 全て : 出力範囲`[first, last)`は有効な範囲であること（charのオブジェクトが構築済みであり、連続していること）。
+- 全て : 出力イテレータ範囲`[first, last)`は有効な範囲であること（charのオブジェクトが構築済みであり、連続していること）。
 - (1) : `base`は2～36までの値であること。
 - (2)～(4)  : `fmt`は[`chars_format`](../charconv/chars_format.md)の列挙値のうちの一つであること。
 

reference/charconv/to_chars.md

@@ -41,7 +41,7 @@ namespace std {
 C++標準はこれら関数の実装の詳細について何も規定しない。これは、各実装において可能な最も高速なアルゴリズムが選択されることを意図しての事である。
 
 ## 要件
-- 全て : 出力範囲`[first, last)`は有効な範囲であること（charのオブジェクトが構築済みであり、連続していること）。
+- 全て : 出力イテレータ範囲`[first, last)`は有効な範囲であること（charのオブジェクトが構築済みであり、連続していること）。
 - (1) : `base`は2～36までの値であること。
 - (5)～(10)  : `fmt`は[`chars_format`](../charconv/chars_format.md)の列挙値のうちの一つであること。
 

reference/deque/deque/assign.md

@@ -19,7 +19,7 @@ void assign(initializer_list<T> init);                // (3) C++11
 
 
 ## 効果
-- (1) : `*this`の全ての要素を解放し、`[first, last)`の範囲の要素のコピーを`*this`にコピーする。
+- (1) : `*this`の全ての要素を解放し、イテレータ範囲`[first, last)`の要素のコピーを`*this`にコピーする。
 - (2) : `*this`の全ての要素が解放され、`t`オブジェクトの`n`個のコピーから`*this`を再構築する。
 - (3) : `*this`の全ての要素を解放し、`x`の全ての要素を`*this`にコピーする。
 
@@ -43,7 +43,7 @@ int main ()
 {
   std::deque<int> c = {1, 2, 3};
 
-  // 範囲の代入
+  // イテレータ範囲の代入
   std::deque<int> c1;
   c1.assign(c.begin(), c.end());
 

reference/deque/deque/erase.md

@@ -18,7 +18,7 @@ iterator erase(const_iterator first, const_iterator last); // (2) C++11
 
 ## 効果
 - (1) : `position`が指す要素を削除する。
-- (2) : `[first, last)`で示される範囲の要素を削除する。
+- (2) : イテレータ範囲`[first, last)`の要素を削除する。
 
 もし削除がシーケンスの先頭または末尾から行われた場合、削除された要素へのイテレータと参照は無効化される。もし削除が中間位置から行われた場合、全てのイテレータと削除は無効化される。
 

reference/deque/deque/insert.md

@@ -43,7 +43,7 @@ iterator insert(const_iterator position, initializer_list<T> init); // (5) C++11
 - `x`挿入される要素の初期化に使われる値。`T`はひとつめのテンプレートパラメータ（コンテナに格納される要素の型）である。
 - `y`直接挿入される値。`T`はひとつめのテンプレートパラメータ（コンテナに格納される要素の型）である。
 - `n`挿入する要素の数。それぞれの要素は x の値によって初期化される。メンバ型`size_type`は符号なし整数型である。
-- `first, last`要素の範囲を指定する。範囲 `[first, last)` の中にある要素のコピーが位置`position`に挿入される。`first`と`last`の間の範囲は、`first`で指定された要素を含むが、`last`で指定された要素を含まない点に注意。テンプレート型はどんな入力イテレータでも構わない。
+- `first, last`要素のイテレータ範囲を指定する。イテレータ範囲 `[first, last)` の中にある要素のコピーが位置`position`に挿入される。`first`と`last`の間の範囲は、`first`で指定された要素を含むが、`last`で指定された要素を含まない点に注意。テンプレート型はどんな入力イテレータでも構わない。
 
 
 ## 戻り値

reference/deque/deque/op_equal.md

@@ -83,6 +83,6 @@ false
 
 ## 参照
 - [LWG Issue 2257. Simplify container requirements with the new algorithms](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2257)
-    - C++14から、2つ目の範囲のendイテレータをとる`equal()`アルゴリズムを使用するようになった。
+    - C++14から、2つ目のイテレータ範囲のendイテレータをとる`equal()`アルゴリズムを使用するようになった。
 - [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
     - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/filesystem/directory_iterator.md

@@ -43,7 +43,7 @@ namespace std::filesystem {
 
 
 ## 非メンバ関数
-### 範囲
+### イテレータ範囲
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|

reference/filesystem/path/assign.md

@@ -35,7 +35,7 @@ path& assign(InputIterator first, InputIterator last); // (3)
 ## 効果
 - (1) : `source`のパスフォーマットを検出して内部用に変換し、`*this`にムーブ代入する。この関数を呼び出したあと、`source`は「有効だが未規定の状態」となる
 - (2) : `source`のパスフォーマットを検出して内部用に変換し、`*this`にそのパスのコピーを保持する
-- (3) : 範囲`[first, last)`を`path source{first, last};`として、`source`のパスフォーマットを検出して内部用に変換し、`*this`にそのパスのコピーを保持する
+- (3) : イテレータ範囲`[first, last)`を`path source{first, last};`として、`source`のパスフォーマットを検出して内部用に変換し、`*this`にそのパスのコピーを保持する
 
 
 ## 戻り値

reference/filesystem/path/lexically_relative.md

@@ -23,11 +23,11 @@ path lexically_relative(const path& base) const;
 2. 以下の式で、`*this`と`base`が異なる最初の位置を見つける：
     - `auto [a, b] =` [`std::mismatch`](/reference/algorithm/mismatch.md)`(`[`begin()`](begin.md)`,` [`end()`](end.md)`, base.`[`begin()`](begin.md)`, base.`[`end()`](end.md)`);`
 3. `a ==` [`end()`](end.md)かつ`b == base.`[`end()`](end.md)の場合、`path(".")`が返る
-4. 範囲`[b, base.`[`end()`](end.md)`)`の非`"."` (ドットx1) かつ非`".."` (ドットx2) の数から、同範囲内の `".."` の数を引いたものを`n`とする
+4. イテレータ範囲`[b, base.`[`end()`](end.md)`)`の非`"."` (ドットx1) かつ非`".."` (ドットx2) の数から、同範囲内の `".."` の数を引いたものを`n`とする
 5. `n < 0`であれば、空のパスが返る
 6. 新たな`path`型オブジェクト`p`をデフォルト構築し、
 7. 式`p /= path("..")`をn回を適用する
-8. 範囲`[a,` [`end()`](end.md)`)`の各要素`x`を、式`p /= x`で加算する
+8. イテレータ範囲`[a,` [`end()`](end.md)`)`の各要素`x`を、式`p /= x`で加算する
 
 
 ## 備考

reference/filesystem/path/op_constructor.md

@@ -59,12 +59,12 @@ path(InputIterator first, InputIterator last,
 - (3) : `p`の保持するパスを`*this`に移動する。このコンストラクタ呼び出しのあと、`p`は「有効だが未規定の状態」となる
 - (4) : 必要であればパスのフォーマットを変換し、`source`を`*this`に移動する。このコンストラクタ呼び出しのあと、`source`は「有効だが未規定の状態」となる
 - (5) : 必要であればパスのフォーマットを変換し、`source`を`*this`にコピーする
-- (6) : 範囲`[first, last)`をパス文字列とし、必要であればパスのフォーマットを変換て、そのコピーを`*this`にコピーする
+- (6) : イテレータ範囲`[first, last)`をパス文字列とし、必要であればパスのフォーマットを変換て、そのコピーを`*this`にコピーする
 - (7) :
     - `path`クラスの`value_type`が`wchar_t`であれば、[`std::codecvt`](/reference/locale/codecvt.md)`<wchar_t, char, mbstate_t>`ファセットを使用して、`source`をシステムのワイド文字コードに変換をする。そうでなければ、同ファセットを使用して、システムのマルチバイト文字コードに変換をする
     - さらに必要であればパスのフォーマットを変換し、その結果を`*this`にコピーする
 - (8) :
-    - `path`クラスの`value_type`が`wchar_t`であれば、[`std::codecvt`](/reference/locale/codecvt.md)`<wchar_t, char, mbstate_t>`ファセットを使用して、範囲`[first, last)`のパス文字列をシステムのワイド文字コードに変換をする。そうでなければ、同ファセットを使用して、システムのマルチバイト文字コードに変換をする
+    - `path`クラスの`value_type`が`wchar_t`であれば、[`std::codecvt`](/reference/locale/codecvt.md)`<wchar_t, char, mbstate_t>`ファセットを使用して、イテレータ範囲`[first, last)`のパス文字列をシステムのワイド文字コードに変換をする。そうでなければ、同ファセットを使用して、システムのマルチバイト文字コードに変換をする
     - さらに必要であればパスのフォーマットを変換し、その結果を`*this`にコピーする
 
 

reference/filesystem/recursive_directory_iterator.md

@@ -61,7 +61,7 @@ namespace std::filesystem {
 
 
 ## 非メンバ関数
-### 範囲
+### イテレータ範囲
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|

reference/format/format.md

@@ -100,7 +100,7 @@ string s3 = format("{} {1}",  "a", "b"); // コンパイルエラー
 
 #### 文字型 / `bool`型 / 整数型の場合
 
-`[first, last)`を[`to_chars`](/reference/charconv/to_chars.md)の結果を格納するのに十分な範囲、`value`をフォーマットする値、`charT`を`char`または`wchar_t`とする。
+イテレータ範囲`[first, last)`を[`to_chars`](/reference/charconv/to_chars.md)の結果を格納するのに十分な範囲、`value`をフォーマットする値、`charT`を`char`または`wchar_t`とする。
 
 * 以下の表の通りに[`to_chars`](/reference/charconv/to_chars.md)を呼び出したあと、その結果を出力へコピーするかのような振る舞いをする。ただし、実際に[`to_chars`](/reference/charconv/to_chars.md)を呼び出すかどうかは規定されていない。
 * 実際には、出力へコピーする際にパディングなども行われる。