最終更新日時(UTC): 2025年07月08日 15時33分39秒
Akira Takahashi が更新

履歴 編集

function
<ranges>

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

    constexpr bool empty()
      requires sized_range<D> || forward_range<D>;       // (1)

    constexpr bool empty() const
      requires sized_range<const D> || forward_range<const D>; // (2)

## 概要

Rangeが空かどうかを判定する。

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

`view_interface<D>`に対して、

- (1): `D`が`sized_range`もしくは`forward_range`であること。
- (2): `const D`が`sized_range`もしくは`forward_range`であること。

## 戻り値

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

    ranges::begin(derived()) == ranges::end(derived())

## 計算量

償却定数時間

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

- N4861 24 Ranges library
- C++20 ranges
- LWG Issue 3715. `view_interface::empty` is overconstrained