C++26対応として、span::atを追加 (close #1235)

Author: faithandbrave

lang/cpp26.md

@@ -66,7 +66,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 - [`std::mdspan`](/reference/mdspan/mdspan.md)のサブ配列版として[`std::submdspan`](/reference/mdspan/submdspan.md.nolink)を追加
 - [`std::span`](/reference/span/span.md)に、以下を追加
     - [`std::initializer_list`](/reference/initializer_list/initializer_list.md)をとるコンストラクタ
-    - インデックスアクセスのための[`at()`](/reference/span/span/at.md.nolink)メンバ関数
+    - インデックスアクセスのための[`at()`](/reference/span/span/at.md)メンバ関数
 - 連想コンテナの以下のメンバ関数に、一時オブジェクトが生成されるコストを抑える拡張を追加
     - [`std::map`](/reference/map/map.md)
         - [`operator[]`](/reference/map/map/op_at.md)

reference/span/span.md

@@ -93,6 +93,7 @@ namespace std {
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | [`operator[]`](span/op_at.md) | 参照範囲から、任意の位置の要素を取得する | C++20 |
+| [`at`](span/at.md)            | 参照範囲から、任意の位置の要素を取得する | C++26 |
 | [`front`](span/front.md)      | 参照範囲の先頭要素を取得する             | C++20 |
 | [`back`](span/back.md)        | 参照範囲の末尾要素を取得する             | C++20 |
 | [`data`](span/data.md)        | 参照範囲の先頭を指すポインタを取得する   | C++20 |

reference/span/span/at.md

@@ -0,0 +1,72 @@
+# at
+* span[meta header]
+* std[meta namespace]
+* span[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+constexpr reference at(size_type i) const;
+```
+
+## 概要
+参照範囲から、任意の位置の要素を取得する。
+
+
+## 戻り値
+以下と等価：
+
+```cpp
+return *(data() + i);
+```
+* data()[link data.md]
+
+
+## 計算量
+定数時間
+
+
+## 例外
+`i >=` [`size()`](size.md)の場合、[`out_of_range`](/reference/stdexcept.md)例外を送出する。
+
+
+## 例
+```cpp example
+#include <cassert>
+#include <span>
+#include <vector>
+
+int main()
+{
+  std::vector<int> v = {1, 2, 3, 4, 5};
+
+  int& x = std::span{v}.at(2);
+  assert(x == 3);
+
+  int& y = std::span{v}.subspan(2, 3).at(1);
+  assert(y == 4);
+}
+```
+* at[color ff0000]
+* subspan[link subspan.md]
+
+### 出力
+```
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): 14
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`operator[]`](op_at.md)
+
+
+## 参照
+- [P2821R5 `span.at()`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2821r5.html)

reference/span/span/op_at.md

@@ -65,5 +65,9 @@ int main()
 - [Visual C++](/implementation.md#visual_cpp): ??
 
 
+## 関連項目
+- [`at`](at.md)
+
+
 ## 参照
 - [P1872R0 `span` should have `size_type`, not `index_type`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1872r0.pdf)