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

履歴 編集

class template
<ranges>

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

namespace std {
  namespace 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)
    }
  }

  namespace views = ranges::views;
}

概要

empty_viewは、空の範囲を表すview

empty_viewのオブジェクトは(2)の変数テンプレートviews::emptyで取得できる。

範囲カテゴリ

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 範囲が空かどうかを判定する C++20

継承しているメンバ関数

名前 説明 対応バージョン
operator bool 範囲が空でないかどうかを判定する 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

処理系

参照