std::experimental::ranges::View

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

范围

概念

通用工具

迭代器

范围

算法

 

范围库

范围概念
Range SizedRange View	BoundedRange InputRange OutputRange	ForwardRange BidirectionalRange RandomAccessRange
范围访问
begincbegin	endcend	rbegincrbegin	rendcrend
范围原语
iterator_tsentinel_t	size	datacdata	empty

 

在标头 <experimental/ranges/range> 定义
template <class T> concept bool View = ranges::Range<T> && ranges::Semiregular<T>                  && /* view-predicate<T> */;		(范围 TS)
template<class T> struct enable_view {};		(范围 TS)
struct view_base {};		(范围 TS)

概念 View<T> 指定半常规范围 T 拥有常数时间的复制、移动和赋值操作。

概念的 /* view-predicate<T> */ 部分定义如下：

• 若 qualified-id ranges::enable_view<T>::type 合法并代表一个范围，则为 ranges::enable_view<T>::type::value ；
• 否则，若 std::is_base_of_v<ranges::view_base, T> 为 true ，则为 true ；
• 否则，若 T 是 std::initializer_list 、 std::set 、 std::multiset 、 std::unordered_set 或 std::unordered_multiset 的特化，则为 false ；
• 否则，若 T 与 const T 均满足Range且 ranges::reference_t <ranges::iterator_t<T>> 与 ranges::reference_t<ranges::iterator_t<const T>> 不是同一类型，则为 false ；
• 否则为 true 。