4. empty

最終更新日時(UTC):
が更新

履歴 編集

customization point object
<ranges>

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

namespace std::ranges {
  inline namespace /*unspecified*/ {
    inline constexpr /*unspecified*/ empty = /*unspecified*/;
  }
}

概要

Rangeが空かどうかを判定する関数オブジェクト。

効果

部分式Eの型をT、tをEを評価した値とする。このとき、式ranges::empty(E)の効果は以下の通り。

  1. Tが要素数不明の配列型であれば、呼び出しは不適格。
  2. bool(t.empty())が有効な式であれば、bool(t.empty())と等しい。
  3. ranges::size(t) == 0が有効な式であれば、(ranges::size(t) == 0)と等しい。
  4. bool(ranges::begin(t) ==ranges::end(t))が有効な式で、ranges::begin(t)の型がforward_iteratorのモデルであれば、bool(ranges::begin(t) ==ranges::end(t))と等しい。

どれにも当てはまらないとき、呼び出しは不適格。

戻り値

Rangeが空のときtrue、それ以外の時false。

カスタマイゼーションポイント

ranges::beginとranges::end、またはranges::sizeをカスタマイズすることで、ranges::emptyをカスタマイズできる。 もしくは、メンバ関数emptyを持たせるなどの方法でカスタマイズできる。

備考

ranges::empty(E)が有効な式であるとき、その型はboolである。

例

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

int main()
{
  int arr[4] = {};
  std::cout << std::boolalpha << std::ranges::empty(arr) << std::endl;

  std::cout << std::boolalpha << std::ranges::empty(u8"arikitari") << std::endl;

  std::vector<int> v;
  std::cout << std::boolalpha << std::ranges::empty(v) << std::endl;
  v.push_back(13);
  std::cout << std::boolalpha << std::ranges::empty(v) << std::endl;
}

出力

false
false
true
false

バージョン

言語

  • C++20

処理系

関連項目

参照