viewable_range.md

viewable_range

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

namespace std::ranges {
  template<class T>
  concept viewable_range =
    range<T> &&
    ((view<remove_cvref_t<T>> && constructible_from<remove_cvref_t<T>, T>) ||
     (!view<remove_cvref_t<T>> &&
      (is_lvalue_reference_v<T> || (movable<remove_reference_t<T>> && !is-initializer-list<T>))));
}

• is_lvalue_reference_v[link /reference/type_traits/is_lvalue_reference.md]
• movable[link /reference/concepts/movable.md]
• is-initializer-list[italic]

概要

viewable_rangeは、安全にviewへ変換できるRangeを表すコンセプトである。

Rangeアダプタを適用するには、viewable_rangeである必要がある。

モデル

型Tがviewable_rangeのモデルとなるのは、Tがrangeのモデルであり、かつ以下のいずれかを満たす場合である。

• remove_cvref_t<T>がviewのモデルであり、かつTからconstructible_from<remove_cvref_t<T>, T>である（ムーブ専用のviewの左辺値も安全に扱えるようにするための条件）
• remove_cvref_t<T>がviewのモデルではなく、Tが左辺値参照であるか、またはremove_reference_t<T>がmovableでありかつinitializer_listの特殊化ではない

viewでも左辺値でもないrangeの右辺値のうち、ムーブできないものはviewable_rangeのモデルにはならない。

例

(執筆中)

出力

(執筆中)

バージョン

言語

• 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
• LWG Issue 3481 viewable_range mishandles lvalue move-only views
  • C++23で、viewの場合にconstructible_from<remove_cvref_t<T>, T>を要求するようコンセプト定義が変更され、ムーブ専用のviewの左辺値もviews::allで扱えるようになった
• P2415R2 What is a view? (本提案文書はC++20に遡って適用されている)