op_at.md

operator[]

• span[meta header]
• std[meta namespace]
• span[meta class]
• function[meta id-type]
• cpp20[meta cpp]

constexpr reference operator[](size_type i) const;

概要

参照範囲から、任意の位置の要素を取得する。

堅牢化された事前条件

• i < size()がtrueであること

戻り値

以下と等価：

return *(data() + i);

• data()[link data.md]

計算量

定数時間

例

#include <cassert>
#include <span>
#include <vector>

int main()
{
  std::vector<int> v = {1, 2, 3, 4, 5};

  int& x = std::span{v}[2];
  assert(x == 3);

  int& y = std::span{v}.subspan(2, 3)[1];
  assert(y == 4);
}

• [2][color ff0000]
• [1][color ff0000]
• subspan[link subspan.md]

出力

バージョン

言語

• C++20

処理系

• Clang: 9.0 [mark verified]
• GCC: ??
• Visual C++: ??

関連項目

• at

参照

• P1872R0 span should have size_type, not index_type
• P3471R4 Standard library hardening
• P3878R1 Standard library hardening should not use the 'observe' semantic