std::ranges::views::all,std::ranges::views::all_t
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
inline constexpr /* 未指定 */ all = /* 未指定 */; |
(1) | (自 C++20 起) |
template< ranges::viewable_range R > using all_t = decltype(views::all(std::declval<R>())); |
(2) | (自 C++20 起) |
给定一个类型为
R
的表达式 e,表达式 views::all(e) 与以下表达式 表达式等价:- 隐式将 e 转换为 std::decay_t<R> 右值,如果 std::decay_t<R> 建模了
视图
。 - 否则,如果表达式 std::ranges::ref_view{e} 良构,则使用该表达式。
- 否则,使用表达式 std::ranges::owning_view{e}。
[编辑] 示例
运行此代码
#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 可能会导致某些只移动的视图出现硬错误 |
它得到了很好的约束 |
P2415R2 | C++20 | views::all 为非 视图 右值 范围 返回一个 subrange |
为其返回一个 owning_view |
[编辑] 另请参阅
一个没有元素的空 视图 (类模板) (变量模板) | |
一个包含指定值的单个元素的 视图 (类模板) (定制点对象) | |
(C++20) |
一个对某些 范围 拥有唯一所有权的 视图 (类模板) |