未初期化メモリに対するアルゴリズム、事前条件追記

cpprefjp · Nov 8, 2023 · 9a64346 · 9a64346
1 parent 1bf71dc
commit 9a64346
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/reference/memory/uninitialized_copy.md b/reference/memory/uninitialized_copy.md
@@ -25,6 +25,9 @@ namespace std {
 
 入力範囲`[first, last)`のコピーを未初期化出力範囲`[result, )`に書き込む。
 
+## 事前条件
+
+- イテレータ範囲`[result, result + (last - first))`が`[first, last)`と重ならないこと
 
 ## 効果
 - C++03 : 以下と等価

diff --git a/reference/memory/uninitialized_copy_n.md b/reference/memory/uninitialized_copy_n.md
@@ -26,6 +26,9 @@ namespace std {
 
 入力イテレータ範囲`[first, first + n)`のコピーを未初期化出力イテレータ範囲`[result, result + n)`に書き込む。
 
+## 事前条件
+
+- イテレータ範囲`[result, result + n)`が`[first, first + n)`と重ならないこと
 
 ## 効果
 - C++11 : 以下と等価

diff --git a/reference/memory/uninitialized_move.md b/reference/memory/uninitialized_move.md
@@ -26,6 +26,9 @@ namespace std {
 
 入力範囲`[first, last)`からムーブして未初期化出力範囲`[result, )`に書き込む。
 
+## 事前条件
+
+- イテレータ範囲`[result, result + (last - first))`が`[first, last)`と重ならないこと
 
 ## 効果
 以下と等価：

diff --git a/reference/memory/uninitialized_move_n.md b/reference/memory/uninitialized_move_n.md
@@ -26,6 +26,9 @@ namespace std {
 
 入力イテレータ範囲`[first, first + n)`からムーブして未初期化出力イテレータ範囲`[result, )`に書き込む。
 
+## 事前条件
+
+- イテレータ範囲`[result, result + n)`が`[first, first + n)`と重ならないこと
 
 ## 効果
 以下と等価：