valarray: 修正誤りなどを再修正

Author: kariya-mitsuru

reference/valarray.md

@@ -11,7 +11,7 @@
 	（ただし、[`begin`](valarray/valarray/begin_free.md) と [`end`](valarray/valarray/end_free.md) を除く）
 - 本ヘッダで提供される、`const` [`valarray`](valarray/valarray.md)`<T>&` を 2 つ引数に持つ全ての関数は、当該代理の型と [`valarray`](valarray/valarray.md)`<T>` の任意の組み合わせも引数として受け付ける。
 
-これらを踏まえ、本リファレンスではこれらの代理の型が使用されうる箇所は *`ValOrProxy`* として表記している。*`ValOrProxy`* を戻り値型として記載している箇所は、[`valarray`](valarray/valarray.md)`<T>` か代理の型のいずれかであることを、引数型として記載している箇所は、[`valarray`](valarray/valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。
+これらを踏まえ、本リファレンスではこれらの代理の型が使用されうる箇所は *`ValOrProxy`* として表記している。戻り値型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray/valarray.md)`<T>` か代理の型のいずれかであることを、引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray/valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。
 
 このヘッダでは、以下の標準ヘッダをインクルードする：
 

reference/valarray/gslice_array.md

@@ -15,6 +15,8 @@ namespace std {
 
 このクラスのオブジェクトは、[`valarray`](valarray.md)クラスの[`operator[]`](valarray/op_at.md)によって返される。
 
+なお、メンバ関数の引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。  
+[`<valarray>`](../valarray.md) の概要も参照のこと。
 
 テンプレートパラメータは、以下を意味する：
 

reference/valarray/gslice_array/op_assign.md

@@ -14,6 +14,7 @@ public:
   void operator=(const T& value) const;                        // (3)
 ```
 * valarray[link /reference/valarray/valarray.md]
+* ValOrProxy[italic]
 
 ## 概要
 - (1) : 元となる [`valarray`](../valarray.md) オブジェクトから参照によって抽出した各要素に、`ar` が参照する各要素を代入する

reference/valarray/indirect_array.md

@@ -15,9 +15,12 @@ namespace std {
 
 このクラスのオブジェクトは、[`valarray`](valarray.md)クラスの[`operator[]`](valarray/op_at.md)によって返される。
 
+なお、メンバ関数の引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。  
+[`<valarray>`](../valarray.md) の概要も参照のこと。
+
 テンプレートパラメータは、以下を意味する：
 
-- `T` : `valarray`クラスの要素型`T`と同じ型
+- `T` : [`valarray`](valarray.md)クラスの要素型`T`と同じ型
 
 
 ## メンバ関数

reference/valarray/indirect_array/op_assign.md

@@ -6,10 +6,9 @@
 
 ```cpp
 private:
-  indirect_array& ValOrProxy=(const indirect_array&);              // (1) C++03 まで（宣言のみ）
+  indirect_array& operator=(const indirect_array&);                // (1) C++03 まで（宣言のみ）
 
 public:
-* ValOrProxy[italic]
   const indirect_array& operator=(const indirect_array& ar) const; // (1) C++11 から
   void operator=(const ValOrProxy<T>& ar) const;                   // (2)
   void operator=(const T& value) const;                            // (3)

reference/valarray/mask_array.md

@@ -15,9 +15,12 @@ namespace std {
 
 このクラスのオブジェクトは、[`valarray`](valarray.md)クラスの[`operator[]`](valarray/op_at.md)によって返される。
 
+なお、メンバ関数の引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。  
+[`<valarray>`](../valarray.md) の概要も参照のこと。
+
 テンプレートパラメータは、以下を意味する：
 
-- `T` : `valarray`クラスの要素型`T`と同じ型
+- `T` : [`valarray`](valarray.md)クラスの要素型`T`と同じ型
 
 
 ## メンバ関数

reference/valarray/mask_array/op_xor_assign.md

@@ -23,7 +23,7 @@ void operator^=(const ValOrProxy<T>& xs) const;
 
 
 ## 備考
-- 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
+- 引数の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
 - [`valarray`](../valarray.md) から抽出した要素数と `xs` の要素数が異なる場合、その挙動は未定義。
 

reference/valarray/slice_array.md

@@ -15,6 +15,8 @@ namespace std {
 
 このクラスのオブジェクトは、[`valarray`](valarray.md)クラスの[`operator[]`](valarray/op_at.md)によって返される。
 
+なお、メンバ関数の引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。  
+[`<valarray>`](../valarray.md) の概要も参照のこと。
 
 テンプレートパラメータは、以下を意味する：
 

reference/valarray/slice_array/op_assign.md

@@ -14,6 +14,7 @@ public:
   void operator=(const T& value) const;                      // (3)
 ```
 * valarray[link /reference/valarray/valarray.md]
+* ValOrProxy[italic]
 
 ## 概要
 - (1) : 元となる [`valarray`](../valarray.md) オブジェクトから参照によって抽出した各要素に、`ar` が参照する各要素を代入する

reference/valarray/valarray.md

@@ -36,8 +36,8 @@ valarray<int> c = a + b;
 
 処理系によっては、このような演算を、CPUのSIMD命令によって並列に計算するよう最適化する。
 
-さらに、式テンプレートの実装を可能とするため、任意の `valarray<T>` 型を返す関数は（メンバ関数、非メンバ関数とも）`valarray<T>` 型以外の型を返すことが規格で許可されている。
-`valarray<T>` の代わりに返される型がある場合、[`begin`](valarray/begin_free.md)、[`end`](valarray/end_free.md) を除くすべての `const valarray<T>&` を引数に取る関数の引数として使用可能である
+なお、戻り値型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` か代理の型のいずれかであることを、引数型に *`ValOrProxy`* と表記している箇所は、[`valarray`](valarray.md)`<T>` と代理の型のいずれでも受け取ることが可能であることを表している。  
+[`<valarray>`](../valarray.md) の概要も参照のこと。
 
 
 テンプレートパラメータは、以下を意味する：
@@ -81,7 +81,7 @@ valarray<int> c = a + b;
 |------------------------------------------------------------|------------------------------------------|-------|
 | [`operator~` (単項)](valarray/op_flip.md)                | 単項 `~` 演算（ビット反転した要素を得る）| |
 | [`operator&=`](valarray/op_and_assign.md)                | 論理積の複合代入                         | |
-| [`operator|=`](valarray/op_or_assign.md)                 | 論理和の複合代入                         | |
+| [<code>operator&#x7C;=</code>](valarray/op_or_assign.md) | 論理和の複合代入                         | |
 | [`operator^=`](valarray/op_xor_assign.md)                | 排他的論理和の複合代入                   | |
 | [`operator<<=`](valarray/op_left_shift_assign.md)        | 左シフトの複合代入                       | |
 | [`operator>>=`](valarray/op_right_shift_assign.md)       | 右シフトの複合代入                       | |
@@ -143,7 +143,7 @@ valarray<int> c = a + b;
 | 名前 | 説明 | 対応バージョン |
 |----------------------------------------------------|--------------|-------|
 | [`operator&`](valarray/op_and.md)                | 論理積       | |
-| [`operator|`](valarray/op_or.md)                 | 論理和       | |
+| [<code>operator&#x7C;</code>](valarray/op_or.md) | 論理和       | |
 | [`operator^`](valarray/op_xor.md)                | 排他的論理和 | |
 | [`operator<<`](valarray/op_left_shift.md)        | 左シフト     | |
 | [`operator>>`](valarray/op_right_shift.md)       | 右シフト     | |

reference/valarray/valarray/atan2.md

@@ -73,7 +73,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'ys' と 'xs' の要素数が異なる場合、その挙動は未定義。
+- (1) : `ys` と `xs` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/begin_free.md

@@ -42,7 +42,7 @@ namespace std {
     * std::begin[color ff0000]
     * std::end[link end_free.md]
 
-    これは、[`std::valarray`](../valarray.md)`<T>` 型を返す関数（本リファレンスでは戻り値型を *`ValOrProxy`* と表記）は、式テンプレートによる最適化を考慮して、代理の型を返すことが許可されているが、`begin` と [`end`](end_free.md) 関数はその代理の型を受け取りが可能であることを求められていないためである。  
+    これは、[`std::valarray`](../valarray.md)`<T>` 型を返す関数（本リファレンスでは戻り値型を *`ValOrProxy`* と表記）は、式テンプレートによる最適化を考慮して、代理の型を返すことが許可されているが、`begin` と [`end`](end_free.md) はその代理の型を受け取りが可能であることを求められていないためである。  
     [`<valarray>`](../../valarray.md) の概要も参照のこと。
 
 

reference/valarray/valarray/end_free.md

@@ -42,7 +42,7 @@ namespace std {
     * std::begin[link begin_free.md]
     * std::end[color ff0000]
 
-    これは、[`std::valarray`](../valarray.md)`<T>` 型を返す関数（本リファレンスでは戻り値型を *`ValOrProxy`* と表記）は、式テンプレートによる最適化を考慮して、代理の型を返すことが許可されているが、`begin` と [`end`](end_free.md) 関数はその代理の型を受け取りが可能であることを求められていないためである。  
+    これは、[`std::valarray`](../valarray.md)`<T>` 型を返す関数（本リファレンスでは戻り値型を *`ValOrProxy`* と表記）は、式テンプレートによる最適化を考慮して、代理の型を返すことが許可されているが、[`begin`](begin_free.md) と `end` はその代理の型を受け取りが可能であることを求められていないためである。  
     [`<valarray>`](../../valarray.md) の概要も参照のこと。
 
 

reference/valarray/valarray/op_and.md

@@ -68,7 +68,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_divide.md

@@ -69,7 +69,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_equal.md

@@ -74,7 +74,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_greater.md

@@ -74,7 +74,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_greater_equal.md

@@ -74,7 +74,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_left_shift.md

@@ -69,7 +69,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_less.md

@@ -74,7 +74,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_less_equal.md

@@ -74,7 +74,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : '*this' と 'xs' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_logical_and.md

@@ -79,7 +79,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_logical_or.md

@@ -79,7 +79,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_minus.md

@@ -69,7 +69,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。
 

reference/valarray/valarray/op_modulo.md

@@ -69,7 +69,7 @@ return result;
 ## 備考
 - 引数、および、戻り値の型 *`ValOrProxy`* は、[`valarray`](../valarray.md)、あるいは、その代理となる型である。  
 	[`<valarray>`](../../valarray.md) の概要も参照のこと。
-- (1) : 'xs' と 'ys' の要素数が異なる場合、その挙動は未定義。
+- (1) : `xs` と `ys` の要素数が異なる場合、その挙動は未定義。
 - C++20における(2)と(3)に対する変更は、`std::valarray<double>{} * 2` のような式が型推論に失敗しないようにするためである。  
 	なお、この変更は規格の誤り修正とみなされているため、処理系によっては C++17 以前でも使用可能となる。