empty.md

empty

• ranges[meta header]
• std::ranges[meta namespace]
• view_interface[meta class]
• function[meta id-type]
• cpp20[meta cpp]

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)

• forward_range[link ../forward_range.md]
• forward_range[link ../sized_range.md]

概要

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())

• ranges::begin[link ../begin.md]
• ranges::end[link ../end.md]
• derived[link derived.md]

計算量

償却定数時間

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 [mark verified]
• GCC: 10.1.0 [mark verified]
• ICC: ?
• Visual C++: 2019 Update 10 [mark verified]

参照

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