std::ranges::views::concat,std::ranges::concat_view
定义在头文件 <ranges> 中 |
||
template< ranges::input_range... Views > requires (ranges::view<Views> && ...) && (sizeof...(Views) > 0) && |
(1) | (自 C++26 起) |
namespace views { inline constexpr /* 未指定 */ concat = /* 未指定 */; |
(2) | (自 C++26 起) |
调用签名 |
||
template< ranges::viewable_range... Rs > requires /* 见下文 */ |
(自 C++26 起) | |
辅助类型别名 |
||
template< class... Rs > using /*concat-reference-t*/ = |
(3) | (仅说明*) |
template< class... Rs > using /*concat-value-t*/ = std::common_type_t<ranges::range_value_t<Rs>...>; |
(4) | (仅说明*) |
template< class... Rs > using /*concat-rvalue-reference-t*/ = |
(5) | (仅说明*) |
辅助概念 |
||
template< class Ref, class RRef, class It > concept /*concat-indirectly-readable-impl*/ = /* 见描述 */; |
(6) | (仅说明*) |
template< class... Rs > concept /*concatable*/ = /* 见描述 */; |
(7) | (仅说明*) |
concat_view
提供一个 view
工厂,它接受任意数量的范围作为参数列表,并提供一个从第一个范围的第一个元素开始,到最后一个范围的最后一个元素结束的视图,所有范围元素按顺序排列在中间,在参数中给出的顺序有效地连接或链接在一起。
views::concat
是一个自定义点对象。给定一个子表达式包 exprs,表达式 views::concat(exprs...) 等价于
- views::all(exprs...) 如果 exprs 是一个仅包含一个元素的包,其类型模拟
input_range
, - concat_view(exprs...) 否则。
iter_move
的情况。template< class... Rs > concept /*concat-indirectly-readable*/ = // exposition only std::common_reference_with</*concat-reference-t*/<Rs...>&&, /*concat-value-t*/<Rs...>&> && std::common_reference_with</*concat-reference-t*/<Rs...>&&, /*concat-rvalue-reference-t*/<Rs...>&&> && std::common_reference_with</*concat-rvalue-reference-t*/<Rs...>&&, /*concat-value-t*/<Rs...> const&> && (/*concat-indirectly-readable-impl*/</*concat-reference-t*/<Rs...>, /*concat-rvalue-reference-t*/<Rs...>, ranges::iterator_t<Rs>> && ...);
template< class Ref, class RRef, class It > concept /*concat-indirectly-readable-impl*/ = // exposition only requires(const It it) { { *it } -> std::convertible_to<Ref>; { ranges::iter_move(it)} -> std::convertible_to<RRef>; };
template< class... Rs > concept /*concatable*/ = requires { // exposition only typename /*concat-reference-t*/<Rs...>; typename /*concat-value-t*/<Rs...>; typename /*concat-rvalue-reference-t*/<Rs...>; } && /*concat-indirectly-readable*/<Rs...>;
concat_view
始终模拟 input_range
,并且如果每个改编的 view
类型模拟相应的概念,则模拟 forward_range
,bidirectional_range
,random_access_range
或 sized_range
。
如果最后一个底层范围模拟 common_range
,则 concat_view
可以是 common_range
。
内容 |
自定义点对象
名称 views::concat
表示一个自定义点对象,它是一个常量 函数对象,属于一个 文字 semiregular
类类型。为了说明目的,其类型的 cv 无限定版本表示为 __concat_fn
。
所有 __concat_fn
实例都相等。调用不同 __concat_fn
类型实例对相同参数的效果是等效的,无论表示实例的表达式是左值还是右值,以及是否具有常量限定符(但是,不需要调用易变限定的实例)。因此,可以自由地复制 views::concat
,并且可以互换使用其副本。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足上述 views::concat
参数的要求,则 __concat_fn
模拟
- std::invocable<__concat_fn, Args...>,
- std::invocable<const __concat_fn, Args...>,
- std::invocable<__concat_fn&, Args...> 和
- std::invocable<const __concat_fn&, Args...>.
否则,__concat_fn
的任何函数调用运算符都不参与重载解析。
[edit] 数据成员
成员 | 描述 |
std::tuple<Views...> views_ |
所有改编的视图对象 (仅用于说明的成员对象*) |
[edit] 成员函数
构造一个 concat_view (公有成员函数) | |
返回指向开头的迭代器 (公有成员函数) | |
返回指向结尾的迭代器或哨兵 (公有成员函数) | |
返回元素数量。仅在底层(改编的)范围满足 sized_range 时提供。(公有成员函数) | |
从 std::ranges::view_interface 继承 | |
返回派生视图是否为空。如果它满足 sized_range 或 forward_range ,则提供。( std::ranges::view_interface<D> 的公有成员函数) | |
(C++23) |
返回指向范围开头的常量迭代器。 ( std::ranges::view_interface<D> 的公有成员函数) |
(C++23) |
返回范围常量迭代器的哨兵。 ( std::ranges::view_interface<D> 的公有成员函数) |
返回派生视图是否不为空。如果 ranges::empty 可用于它,则提供。 ( std::ranges::view_interface<D> 的公有成员函数) | |
返回派生视图中的第一个元素。如果它满足 forward_range ,则提供。( std::ranges::view_interface<D> 的公有成员函数) | |
返回派生视图中的最后一个元素。如果它满足 bidirectional_range 和 common_range ,则提供。( std::ranges::view_interface<D> 的公有成员函数) | |
返回派生视图中的第 n 个元素。如果它满足 random_access_range ,则提供。( std::ranges::view_interface<D> 的公有成员函数) |
[edit] 推断指南
[edit] 嵌套类
类名 | 定义 |
迭代器类型 (仅用于说明的成员类模板*) |
[edit] 辅助模板
没有针对 concat_view
的 ranges::enable_borrowed_range 特化,因为这将要求迭代器实现始终包含所有底层范围的所有迭代器和哨兵的副本。
[edit] 注释
无参数的 views::concat() 是非法的,因为没有合理的方法来确定元素类型 T
。单参数 views::concat(r) 在表达式上等价于 views::all(r).
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges_concat |
202403L | (C++26) | std::ranges::concat_view
|
[编辑] 示例
可以在 编译器资源管理器 上查看初步版本。
#include <cassert> #include <list> #include <print> #include <ranges> #include <vector> int main() { std::vector<int> v0{1, 2, 3}, v1{4, 5}; int a[]{6, 7}; int i{8}; auto ie{std::views::single(i)}; auto con = std::views::concat(v0, v1, a, ie); assert(con.size() == v0.size() + v1.size() + std::size(a) + ie.size()); std::println("con.size(): {}", con.size()); std::println("con: {}", con); con[6] = 42; // con is random_access_range, operator[] returns a reference assert(a[1] == 42); // a[1] was modified via con[6] std::println("con: {}", con); std::list<int> l{7, 8}; // list is bidirectional range auto cat = std::views::concat(v0, l); std::println("cat: {}", cat); // cat[0] = 13; // compile-time error: cat is bidirectional => no operator[] }
输出
con.size(): 8 con: [1, 2, 3, 4, 5, 6, 7, 8] con: [1, 2, 3, 4, 5, 6, 42, 8] cat: [1, 2, 3, 7, 8]
[编辑] 参考文献
- C++26 标准 (ISO/IEC 14882:2026)
- 26.7.18 Concat view [range.concat]
[编辑] 参见
(C++20) |
一个 view ,包含从扁平化一个 view 的 range s 获得的序列(类模板) (范围适配器对象) |
一个 view ,包含从扁平化一个 ranges 的 view 获得的序列,元素之间有分隔符(类模板) (范围适配器对象) | |
(C++23) |
一个 view ,包含对适配 view 中对应元素的引用的元组(类模板) (定制点对象) |
一个 view ,包含由适配 view 的 n 元笛卡尔积计算得到的元组的结果(类模板) (定制点对象) |