最終更新日時: 2025年07月09日 00時33分39秒 (JST)
Akira Takahashi が更新

履歴 編集

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 ✅

## 参照

- N4861 24 Ranges library
- C++20 ranges