std::experimental::ranges::View

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

概念 (概念 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 。