std::ranges::view, std::ranges::enable_view, std::ranges::view_base

の基底クラスを持たない場合です。 enable_viewユーザーは、true をモデル化する cv 修飾されていないプログラム定義型に対して view を、モデル化しない型に対しては false を特殊化できます。そのような特殊化は 定数式で使用可能 であり、型 const bool を持たなければなりません。

セマンティック要件

特殊化

以下の標準テンプレートのすべての特殊化に対する enable_view の特殊化は true として定義されます：

• std::basic_string_view
• std::span

注記

view型の例としては：

• イテレータのペアをラップする range 型（例： std :: ranges:: subrange < I > ）
• 要素を std::shared_ptr で保持し、すべてのコピーと所有権を共有する range 型
• 要素をオンデマンドで生成する range 型（例： std::ranges::iota_view ）

コピー可能なコンテナ、例えば std:: vector < std:: string > は一般に view の意味論的要件を満たしません。なぜならコンテナのコピーはすべての要素をコピーするため、定数時間で実行することができないからです。

ビューは元々、低コストでコピー可能かつ非所有の範囲として記述されていましたが、型がviewをモデル化するためにコピー可能または非所有である必要はありません。ただし、それでもコピー（コピー可能な場合）、ムーブ、代入、破棄が低コストでなければならず、そうすることでレンジアダプタが予期しない計算量を持たないようにします。

デフォルトでは、 movable と range をモデリングする型は、 view_base から公開かつ明確に派生している場合、または std::ranges::view_interface の特殊化がちょうど1つある場合、viewと見なされます。

例

最小ビュー。

#include <ranges>
struct ArchetypalView : std::ranges::view_interface<ArchetypalView>
{
    int* begin();
    int* end();
};
static_assert(std::ranges::view<ArchetypalView>);

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。