add push_range to std::queue and std::priority_queue (#1069)

Author: suomesta

reference/queue/priority_queue.md

@@ -49,6 +49,7 @@ namespace std {
 | [`size`](priority_queue/size.md)       | 要素数を取得する | |
 | [`top`](priority_queue/top.md)         | 次の要素にアクセスする | |
 | [`push`](priority_queue/push.md)       | 要素を追加する | |
+| [`push_range`](priority_queue/push_range.md) | Rangeの要素を追加する | C++23 |
 | [`emplace`](priority_queue/emplace.md) | 直接構築で要素を追加する | C++11 |
 | [`pop`](priority_queue/pop.md)         | 次の要素を削除する | |
 | [`swap`](priority_queue/swap.md)       | 他のpriority_queueオブジェクトと値を入れ替える | C++11 |

reference/queue/priority_queue/push_range.md

@@ -0,0 +1,63 @@
+# push_range
+* queue[meta header]
+* std[meta namespace]
+* priority_queue[meta class]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+template <container-compatible-range<value_type> R>
+void push_range(R&& rg); // C++23
+```
+
+## 概要
+Range`rg` の各要素を `priority_queue` に追加し、優先順に並べ替えを行う。
+
+
+## 効果
+まず `c` に `rg` の要素を追加する。`c.append_range(forward<R>(rg))` が有効であれば、これで要素を追加する。そうでなければ、`ranges::copy(rg, back_inserter(c))` で要素を追加する。
+
+次に、`make_heap(c.begin(), c.end(), comp)` で優先順に並べ替えを行う。
+
+
+## 戻り値
+なし
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <queue>
+#include <vector>
+ 
+int main()
+{
+    std::priority_queue<int> que;
+    std::vector<int> vec = {2, 1, 3};
+
+    que.push_range(vec);
+
+    while (!que.empty()) {
+        std::cout << que.top() << std::endl;
+        que.pop();
+    }
+}
+```
+* push_range[color ff0000]
+* que.empty()[link empty.md]
+* que.top()[link top.md]
+* que.pop()[link pop.md]
+
+### 出力
+```
+3
+2
+1
+```
+
+
+## 関連項目
+
+| 名前              | 説明           |
+|-------------------|----------------|
+| [`push`](push.md) | 要素を追加する |

reference/queue/queue.md

@@ -44,6 +44,7 @@ namespace std {
 | [`front`](queue/front.md)         | 次の要素にアクセスする | |
 | [`back`](queue/back.md)           | 最後の要素にアクセスする | |
 | [`push`](queue/push.md)           | 要素を追加する | |
+| [`push_range`](queue/push_range.md) | Rangeの要素を追加する | C++23 |
 | [`emplace`](queue/emplace.md)     | 直接構築で要素を追加する | C++11 |
 | [`pop`](queue/pop.md)             | 次の要素を削除する | |
 | [`swap`](queue/swap.md)           | 他の`queue`オブジェクトと値を入れ替える | C++11 |

reference/queue/queue/push_range.md

@@ -0,0 +1,65 @@
+# push_range
+* queue[meta header]
+* std[meta namespace]
+* queue[meta class]
+* function template[meta id-type]
+* cpp23[meta cpp]
+
+```cpp
+template <container-compatible-range<value_type> R>
+void push_range(R&& rg); // C++23
+```
+
+## 概要
+Range`rg` の各要素を `queue` の末尾に追加する。
+
+
+## 効果
+`c.append_range(forward<R>(rg))` が有効であれば、これと同等。
+そうでなければ、`ranges::copy(rg, back_inserter(c))`。
+
+
+## 戻り値
+なし
+
+
+## 計算量
+`c.append_range(rg)`（または `ranges::copy(rg, back_inserter(c))`）と同じ。
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <queue>
+#include <vector>
+ 
+int main()
+{
+    std::queue<int> que;
+    std::vector<int> vec = {1, 2, 3};
+
+    que.push_range(vec);
+
+    while (!que.empty()) {
+        std::cout << que.front() << std::endl;
+        que.pop();
+    }
+}
+```
+* push_range[color ff0000]
+* que.empty()[link empty.md]
+* que.front()[link front.md]
+* que.pop()[link pop.md]
+
+### 出力
+```
+1
+2
+3
+```
+
+## 関連項目
+
+| 名前              | 説明           |
+|-------------------|----------------|
+| [`push`](push.md) | 要素を追加する |