class template
<ranges>
std::ranges::empty_view(C++20)
namespace std::ranges {
template<class T>
requires is_object_v<T>
class empty_view : public view_interface<empty_view<T>> { …… }; // (1)
namespace views {
template<class T>
inline constexpr empty_view<T> empty{}; // (2)
}
}
概要
empty_viewは、空のRangeを表すview。
empty_viewのオブジェクトは(2)の変数テンプレートviews::emptyで取得できる。
Rangeコンセプト
| borrowed | sized | output | input | forward | bidirectional | random_access | contiguous | common | viewable | view |
|---|---|---|---|---|---|---|---|---|---|---|
| ○ | ○ | ○ | ○ | ○ | ○ | ○ | ○ | ○ | ○ | ○ |
テンプレートパラメータ制約
is_object_v<T>
静的メンバ関数
| 名前 | 説明 | 対応バージョン |
|---|---|---|
begin |
先頭を指すイテレータを取得する | C++20 |
end |
番兵を取得する | C++20 |
data |
配列の先頭へのポインタを取得する | C++20 |
size |
要素数を取得する | C++20 |
empty |
Rangeが空かどうかを判定する | C++20 |
継承しているメンバ関数
| 名前 | 説明 | 対応バージョン |
|---|---|---|
operator bool |
Rangeが空でないかどうかを判定する | C++20 |
front |
先頭要素への参照を取得する | C++20 |
back |
末尾要素への参照を取得する | C++20 |
operator[] |
要素へアクセスする | C++20 |
cbegin |
定数イテレータを取得する | C++23 |
cend |
定数イテレータ(番兵)を取得する | C++23 |
カスタマイゼーション
| 名前 | 説明 | 対応バージョン |
|---|---|---|
enable_borrowed_range |
enable_borrowed_rangeの特殊化 (variable template) |
C++20 |
例
#include <ranges>
#include <iostream>
int main() {
using namespace std;
static_assert(ranges::empty(views::empty<int>));
for(int n : views::empty<int>) {
cout << n;
}
}
出力
バージョン
言語
- C++20
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅