namespace std::ranges {
inline namespace /*unspecified*/ {
inline constexpr /*unspecified*/ empty = /*unspecified*/;
}
}
概要
Rangeが空かどうかを判定する関数オブジェクト。
効果
部分式E
の型をT
、t
をE
を評価した値とする。このとき、式ranges::empty(E)
の効果は以下の通り。
T
が要素数不明の配列型であれば、呼び出しは不適格。bool(t.empty())
が有効な式であれば、bool(t.empty())
と等しい。ranges::size(t) == 0
が有効な式であれば、(ranges::size(t) == 0)
と等しい。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
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅