empty.md

empty

• ranges[meta header]
• std::ranges[meta namespace]
• iota_view[meta class]
• function[meta id-type]
• cpp26[meta cpp]

constexpr bool empty() const;

概要

iota_viewが空かどうかを取得する

効果

return value_ == bound_;

空の場合にtrueを返す。

備考

C++20当初、この関数はview_interfaceを通じて提供されていた。しかし、size()の制約を満たさない様な型の範囲を生成しなおかつinput_rangeとなる場合、その様な範囲は空ではないことが分かるにも関わらずview_interface::empty()は無効化されてしまっていた。

この問題を回避するために、本メンバ関数が追加された。

例

#include <ranges>
#include <vector>
#include <iostream>

int main() {
  std::vector<int> v;
  auto it = std::back_inserter(v);
  
  auto r = std::views::iota(it);
  std::cout << r.empty() << "\n";
}

出力

false

バージョン

言語

• C++20

処理系

• Clang: ?
• GCC: ?
• ICC: ?
• Visual C++: ?

参照

• LWG Issue 4001. iota_view should provide empty