4. empty_view

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

履歴 編集

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)
  public:
    static constexpr T* begin() noexcept { return nullptr; }
    static constexpr T* end() noexcept { return nullptr; }
    static constexpr T* data() noexcept { return nullptr; }
    static constexpr size_t size() noexcept { return 0; }
    static constexpr bool empty() noexcept { return true; }
  };

  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

カスタマイゼーション

名前 説明 対応バージョン
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

処理系

参照