std::experimental::ranges::View

来自cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
范围库
范围概念
范围访问
范围原语
                              
                              

 
定义于头文件 <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
  • 否则,若 Tstd::initializer_liststd::setstd::multisetstd::unordered_setstd::unordered_multiset 的特化,则为 false
  • 否则,若 Tconst T 均满足Rangeranges::reference_t <ranges::iterator_t<T>>ranges::reference_t<ranges::iterator_t<const T>> 不是同一类型,则为 false
  • 否则为 true