std::experimental::ranges::View

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

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

概念的 /* view-predicate<T> */ 部分按如下方式确定

如果限定标识符 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。