shift_left/shift_rightの事前条件に合わせて戻り値の記述も更新

cpprefjp · Mar 13, 2023 · 68eb5ba · 68eb5ba
1 parent 58c137d
commit 68eb5ba
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 12 deletions.
diff --git a/reference/algorithm/ranges_shift_left.md b/reference/algorithm/ranges_shift_left.md
@@ -54,9 +54,8 @@ namespace std::ranges {
 ## 戻り値
 `new_last`を次のように定義する。
 
-- `n > 0`かつ`n < last - first`である場合、`first + (last - first - n)`を返す
-- `n > 0`である場合、`first`を返す
-- いずれでもない場合、`last`を返す
+- `n < last - first`である場合、`first + (last - first - n)`
+- そうでなければ、`first`
 
 このとき、 `{first, new_last}`
 

diff --git a/reference/algorithm/ranges_shift_right.md b/reference/algorithm/ranges_shift_right.md
@@ -55,9 +55,8 @@ namespace std::ranges {
 ## 戻り値
 `new_first`を次のように定義する。
 
-- `n > 0`かつ`n < last - first`である場合、`first + n`を返す
-- `n > 0`である場合、`last`を返す
-- いずれでもない場合、`first`を返す
+- `n < last - first`である場合、`first + n`
+- そうでなければ、`last`
 
 このとき、 `{new_first, last}`
 

diff --git a/reference/algorithm/shift_left.md b/reference/algorithm/shift_left.md
@@ -46,9 +46,8 @@ namespace std {
 
 
 ## 戻り値
-- `n > 0`かつ`n < last - first`である場合、`first + (last - first - n)`を返す
-- `n > 0`である場合、`first`を返す
-- いずれでもない場合、`last`を返す
+- `n < last - first`である場合、`first + (last - first - n)`を返す
+- そうでなければ、`first`を返す
 
 
 ## 計算量

diff --git a/reference/algorithm/shift_right.md b/reference/algorithm/shift_right.md
@@ -47,9 +47,8 @@ namespace std {
 
 
 ## 戻り値
-- `n > 0`かつ`n < last - first`である場合、`first + n`を返す
-- `n > 0`である場合、`last`を返す
-- いずれでもない場合、`first`を返す
+- `n < last - first`である場合、`first + n`を返す
+- そうでなければ、`last`を返す
 
 
 ## 計算量