Skip to content

Latest commit

 

History

History
80 lines (64 loc) · 3.19 KB

view.md

File metadata and controls

80 lines (64 loc) · 3.19 KB
Raw

view

  • ranges[meta header]
  • concept[meta id-type]
  • std::ranges[meta namespace]
  • cpp20[meta cpp]
namespace std::ranges {
  template<class T>
  concept view = range<T> && movable<T> && enable_view<T>;
}
  • range[link range.md]
  • movable[link /reference/concepts/movable.md]
  • enable_view[link enable_view.md]

概要

viewは、ビューを表すコンセプトである。viewの要件は意味論要件がメインなので、enable_viewを特殊化して有効にしない限りviewとはならない。

viewの例：

  • イテレータペアをラップするRange
  • 要素をshared_ptrで持っていて、Rangeのコピーをすると要素の所有権を共有するようなRange
  • 要素を必要に応じて生成するRange

モデル

型Tがviewのモデルとなるのは、以下の条件をすべて満たす場合である。

  1. TのムーブコンストラクタがO(1)
  2. Tのムーブ代入は、Tのデストラクタとムーブコンストラクタを連続で実行する場合より複雑にならない
  3. M 個の要素を持つT型のオブジェクトから N 個のT型オブジェクトをムーブやコピーで作ったとき、それら N 個のT型オブジェクトは O(N + M) で破棄できる
  4. copy_constructible<T>がfalse、またはTのコピーコンストラクタがO(1)
  5. copyable<T>がfalse、またはTのコピー代入はTのデストラクタとコピーコンストラクタを連続で実行する場合より複雑にならない

viewとborrowed_rangeには直接の包含関係はないが、要素を所有していると一般にこれらの要件は満たせないため、borrowed_rangeでもある場合が多い。

備考

viewを自作する場合、view_interfaceを基底クラスにすると便利である。

例

#include <ranges>
#include <string_view>
#include <span>
#include <vector>

int main()
{
  // vectorはviewではない
  static_assert(!std::ranges::view<std::vector<int>>);

  // string_viewはview
  static_assert(std::ranges::view<std::string_view>);

  // spanはview
  static_assert(std::ranges::view<std::span<int>>);
}
  • std::ranges::view[color ff0000]
  • std::span[link /reference/span/span.md]

出力

バージョン

言語

  • C++20

処理系

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

参照