Add std::optional Range Support (#1431)

Author: suomesta

reference/optional/optional.md

@@ -8,6 +8,15 @@
 namespace std {
   template <class T>
   class optional;
+
+
+  // viewコンセプトを有効化する (C++26)
+  template<class T>
+  constexpr bool ranges::enable_view<optional<T>> = true;
+
+  // std::formatによるフォーマットを無効化する (C++26)
+  template<class T>
+  constexpr auto format_kind<optional<T>> = range_format::disabled;
 }
 ```
 
@@ -66,6 +75,14 @@ namespace std {
 | [`reset`](optional/reset.md)         | 有効値を保持していない状態にする | C++17 |
 
 
+### イテレータ
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`begin`](optional/begin.md) | `optional`をrangeとした時の先頭要素を指すイテレータを取得する | C++26 |
+| [`end`](optional/end.md) | `optional`をrangeとした時の末尾要素の次を指すイテレータを取得する | C++26 |
+
+
 ### 値の観測
 
 | 名前 | 説明 | 対応バージョン |
@@ -92,6 +109,8 @@ namespace std {
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | `value_type` | 要素型`T` | C++17 |
+| `iterator` | 実装定義のイテレータ型。[`contiguous_iterator`](/reference/iterator/contiguous_iterator.md)、[`random_access_iterator`](/reference/iterator/random_access_iterator.md)、constexprイテレータのモデルであり、コンテナのイテレータに対するすべての要件を満たす | C++26 |
+| `const_iterator` | 実装定義の読み取り専用イテレータ型。[`contiguous_iterator`](/reference/iterator/contiguous_iterator.md)、[`random_access_iterator`](/reference/iterator/random_access_iterator.md)、constexprイテレータのモデルであり、コンテナのイテレータに対するすべての要件を満たす | C++26 |
 
 
 ## 非メンバ関数

reference/optional/optional/begin.md

@@ -0,0 +1,62 @@
+# begin
+* optional[meta header]
+* std[meta namespace]
+* optional[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr iterator begin() noexcept; // (1)
+constexpr const_iterator begin() const noexcept; // (2)
+```
+
+## 概要
+`optional`をrangeとした時の先頭要素を指すイテレータを取得する。
+
+
+## 効果
+[`has_value()`](has_value.md) `== true`なら、保持している有効値を指すイテレータを返す。またこの時、[`distance`](/reference/iterator/distance.md)`(begin(),` [`end()`](end.md)`)` `== 1` となる。
+
+[`has_value()`](has_value.md) `!= true`なら、末尾要素の次を指すイテレータを返す。この時、`begin() ==` [`end()`](end.md) である。
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <optional>
+
+int main()
+{
+  std::optional<int> p1 = 1;
+  for (auto i = p1.begin(); i != p1.end(); ++i) {
+    std::cout << *i; // １度通る
+  }
+
+  std::optional<int> p2 = std::null_opt;
+  for (auto i = p2.begin(); i != p2.end(); ++i) {
+    std::cout << *i; // １度も通らない
+  }
+}
+```
+* begin()[color ff0000]
+* end()[link end.md]
+
+### 出力
+```
+1
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P3168R2 Give std::optional Range Support](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3168r2.html)

reference/optional/optional/end.md

@@ -0,0 +1,59 @@
+# end
+* optional[meta header]
+* std[meta namespace]
+* optional[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr iterator end() noexcept; // (1)
+constexpr const_iterator end() const noexcept; // (2)
+```
+
+## 概要
+`optional`をrangeとした時の末尾要素の次を指すイテレータを取得する。
+
+
+## 効果
+[`begin()`](begin.md) `+` [`has_value()`](has_value.md) を返す。
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <iterator>
+#include <optional>
+
+int main()
+{
+  std::optional<int> p = 1;
+  std::cout << std::distance(p.begin(), p.end()) << std::endl;
+
+  p = std::null_opt;
+  std::cout << std::distance(p.begin(), p.end()) << std::endl;
+}
+```
+* end()[color ff0000]
+* begin()[link begin.md]
+* std::distance[link /reference/iterator/distance.md]
+
+### 出力
+```
+1
+0
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P3168R2 Give std::optional Range Support](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3168r2.html)