Namespaces
Variants

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

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    定义于头文件 <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）它返回一个 视图，它包含其所有元素 范围参数。
    给定一个表达式 e，类型为 R，表达式 views::all(e) 是 表达式等价于 ：
    • 隐式转换 e 为 std::decay_t<R>纯右值，如果 std::decay_t<R>满足 视图。
    • 否则，std::ranges::ref_view{e}如果该表达式良构。
    • 否则，std::ranges::owning_view{e}。
    2) 计算合适的 视图类型，适用于 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++标准。

    缺陷报告 应用于 发布时的行为 正确行为
    LWG 3724 C++20 views::all 对某些仅移动视图可能导致硬错误 进行了适当的约束限定
    P2415R2 C++20 views::all 对非 view 右值 range 返回 subrange 改为返回 owning_view

    参见

    (C++20)
    		不含任何元素的空 view
    (类模板) (变量模板)
    (C++20)
    		包含单个指定值元素的 view
    (类模板) (定制点对象)
    (C++20)
    		对某个 range 具有独占所有权的 view
    (类模板)