empty_view.md

empty_view

• ranges[meta header]
• std::ranges[meta namespace]
• class template[meta id-type]
• cpp20[meta cpp]

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)
  }
}

• is_object_v[link /reference/type_traits/is_object.md]
• view_interface[link view_interface.md]

概要

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;
  }
}

• views::empty[color ff0000]

出力

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 [mark verified]
• GCC: 10.1.0 [mark verified]
• ICC: ?
• Visual C++: 2019 Update 10 [mark verified]

参照

• N4861 24 Ranges library
• C++20 ranges