std::ranges::views:: all, std::ranges::views:: all_t
From cppreference.net
C++
Ranges library
|
||||||||||||||||||||||
| Range primitives | |||||||
|
|||||||
| Range concepts | |||||||||||||||||||
|
|||||||||||||||||||
| Range factories | |||||||||
|
|||||||||
| Range adaptors | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||
| Helper items | |||||||||||||||||
|
|
||||||||||||||||
|
定义于头文件
<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
)
在
表达式等价
于:
-
若
std::
decay_t
<
R
>
满足
view概念,则将 e 隐式转换为 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++标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确行为 |
|---|---|---|---|
| LWG 3724 | C++20 |
views::all
对某些仅移动视图可能导致硬错误
|
进行了适当的约束限定 |
| P2415R2 | C++20 |
views::all
对非
view
右值
range
返回
subrange
|
改为返回
owning_view
|
参见
|
(C++20)
|
不含任何元素的空
view
(类模板) (变量模板) |
包含单个指定值元素的
view
(类模板) (定制点对象) |
|
|
(C++20)
|
对某个
range
具有独占所有权的
view
(类模板) |