Namespaces
Variants

std::ranges::views:: all, std::ranges::views:: all_t

From cppreference.net
Ranges library
Range adaptors
ヘッダーで定義 <ranges>
inline constexpr /* unspecified */ all = /* unspecified */ ;
(1) (C++20以降)
template < ranges:: viewable_range R >
using all_t = decltype ( views :: all ( std:: declval < R > ( ) ) ) ;
(2) (C++20以降)
1) A RangeAdaptorObject (also a RangeAdaptorClosureObject ) that returns a view that includes all elements of its range argument.
R の式 e が与えられたとき、式 views :: all ( e ) は以下と 式等価 です:
2) 適切な view 型を viewable_range 型から計算します。

#include <iostream>
#include <ranges>
#include <type_traits>
#include <vector>
int main()
{
    std::vector<int> v{0, 1, 2, 3, 4, 5};
    for (int n : std::views::all(v) | std::views::take(2))
        std::cout << n << ' ';
    std::cout << '\n';
    static_assert(std::is_same<
        decltype(std::views::single(42)),
        std::ranges::single_view<int>
        >{});
    static_assert(std::is_same<
        decltype(std::views::all(v)),
        std::ranges::ref_view<std::vector<int, std::allocator<int>>>
        >{});
    int a[]{1, 2, 3, 4};
    static_assert(std::is_same<
        decltype(std::views::all(a)),
        std::ranges::ref_view<int[4]>
        >{});
    static_assert(std::is_same<
        decltype(std::ranges::subrange{std::begin(a) + 1, std::end(a) - 1}),
        std::ranges::subrange<int*, int*, std::ranges::subrange_kind(1)>
        >{});
}

出力:

0 1

不具合報告

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

DR 適用対象 公開時の動作 正しい動作
LWG 3724 C++20 views::all は一部のmove-only viewに対してハードエラーを引き起こす可能性があった 適切に制約されるようになった
P2415R2 C++20 views::all は非 view 右辺値 range に対して subrange を返していた 代わりに owning_view を返す

関連項目

要素を持たない空の view
(クラステンプレート) (変数テンプレート)
指定された値の単一要素を含む view
(クラステンプレート) (カスタマイゼーションポイントオブジェクト)
何らかの range を一意に所有する view
(クラステンプレート)