Namespaces
Variants

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

ja.cppreference.net より
 
 
Rangesライブラリ
範囲アダプタ
 
ヘッダ <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) RangeAdaptorObject (そして RangeAdaptorClosureObject でもある)は、その view 引数のすべての要素を含む range を返します。
式 e の型 R について、式 views::all(e) は expression-equivalent すなわち以下と等価である:
  • 暗黙的に e を std::decay_t<R> prvalue に変換する(std::decay_t<R> が view をモデル化する場合)。
  • そうでなければ、std::ranges::ref_view{e} その式が適格であれば。
  • そうでなければ、std::ranges::owning_view{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
(クラステンプレート)