最終更新日時: 2026年02月26日 13時20分38秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<ranges>

# std::ranges::view_interface::front(C++20)

    constexpr decltype(auto) front()
      requires forward_range<D>;             // (1)

    constexpr decltype(auto) front()
      const requires forward_range<const D>; // (2)

## 概要

Rangeの先頭の要素を取得する。

## テンプレートパラメータ制約

`view_interface<D>`に対して、

- (1): `D`が`forward_range`であること。
- (2): `const D`が`forward_range`であること。

## 堅牢化された事前条件

`!empty()`

## 戻り値

(1), (2)共に、以下と等価：

    *ranges::begin(derived())

## 計算量

償却定数時間

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅

## 参照

- N4861 24 Ranges library
- C++20 ranges
- P3697R1 Minor additions to C++26 standard library hardening
- P3878R1 Standard library hardening should not use the 'observe' semantic