范围扩展 - cppreference.com

范围扩展

来自cppreference.com


 
C++
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
范围
 

C++ 范围扩展 (Extensions for Ranges)，ISO/IEC TS 21425:2017 指定对核心语言的一项修改，并为 C++ 标准库定义列于此页面的新组件。

范围 TS 基于带有概念 TS 修改的 C++14 标准。

并入 ISO C++ 描述于此页面的功能已于 2018 年 10 月起并入主线 ISO C++ 标准；见范围库、有制约算法库及核心概念库 (C++20 起)

核心语言更改

范围 TS 修改基于范围的 for 循环规定，以容许不同类型的首和尾迭代器。此更改容许使用哨位，并且已存在于 C++17。

概念

核心语言概念
在命名空间 std::experimental::ranges 定义
 指定类型与另一类型相同
(概念) [编辑]
指定该类型从另一类型派生
(概念) [编辑]
指定类型能隐式转换成另一类型
(概念) [编辑]
指定两个类型共有一个公共引用类型
(概念) [编辑]
指定两个类型共有一个公共类型
(概念) [编辑]
指定类型为整型类型
(概念) [编辑]
指定类型为有符号的整型类型
(概念) [编辑]
指定类型为无符号的整型类型
(概念) [编辑]
指定类型可从另一类型赋值
(概念) [编辑]
指定一个类型能进行交换，或两个类型能彼此交换
(概念) [编辑]
比较概念
在命名空间 std::experimental::ranges 定义
 指定类型能用于布尔语境
(概念) [编辑]
指定两个类型能用运算符 == 和 != 比较相等性
(概念) [编辑]
指定运算符 == 是等价关系
(概念) [编辑]
指定该类型上的比较运算符产出全序
(概念) [编辑]
对象概念
在命名空间 std::experimental::ranges 定义
 指定该类型对象能被销毁，且能用一元 & 取其地址
(概念) [编辑]
指定该类型的变量能从一组实参类型进行构造，或绑定到一组实参类型
(概念) [编辑]
指定该类型对象能默认构造
(概念) [编辑]
指定该类型的对象能移动构造
(概念) [编辑]
指定该类型对象能复制构造及移动构造
(概念) [编辑]
指定该类型的对象能被移动和交换
(概念) [编辑]
指定该类型对象能被复制、移动和交换
(概念) [编辑]
指定类型的对象能被复制、移动、交换及默认构造
(概念) [编辑]
指定类型为正则，即为 Semiregular 且为 EqualityComparable
(概念) [编辑]
可调用概念
在命名空间 std::experimental::ranges 定义
 指定可调用类型能以给定的一组实参调用
(概念) [编辑]
指定可调用类型是布尔谓词
(概念) [编辑]
指定可调用类型为二元关系
(概念) [编辑]
指定一种 Relation 施加严格弱序
(概念) [编辑]
随机数生成器概念
在命名空间 std::experimental::ranges 定义
 指定类型具备作为均匀随机数生成器的资格
(概念) [编辑]

通用工具

工具组件
在命名空间 std::experimental::ranges 定义
 交换两个对象的值
(定制点对象) [编辑]
以新值替换实参并返回其先前的值
(函数模板) [编辑]
函数对象
在命名空间 std::experimental::ranges 定义
 以给定实参调用可调用 (Callable) 对象
(函数模板) [编辑]
实现 x == y 的函数对象
(类模板) [编辑]
实现 x != y 的函数对象
(类模板) [编辑]
实现 x > y 的函数对象
(类模板) [编辑]
实现 x < y 的函数对象
(类模板) [编辑]
实现 x >= y 的函数对象
(类模板) [编辑]
实现 x <= y 的函数对象
(类模板) [编辑]
返回其（未改变的）实参的函数对象
(类) [编辑]
元编程与类型特征
在命名空间 std::experimental::ranges 定义
 检查一个类型的对象是否能与相同或不同类型的对象交换
(类模板) [编辑]
确定类型集合的公共引用类型
(类模板) [编辑]
确定类型集合的公共类型
(类模板) [编辑]
有标签的 pair 与 tuple
在命名空间 std::experimental::ranges 定义
 指定类型为标签说明符
(概念) [编辑]
指定类型表示一个标签说明符及其元素类型
(概念) [编辑]
为元组式类型增加具名访问器
(类模板) [编辑]
有标签 std::pair 的别名模版
(别名模板) [编辑]
用于创建 tagged_pair 的便利函数
(函数模板) [编辑]
在标头 <experimental/ranges/tuple> 定义
有标签 std::tuple 的别名模版
(别名模板) [编辑]
用于创建 tagged_tuple 的便利函数
(函数模板) [编辑]
在命名空间 std::experimental::ranges::tag 定义
 用于 ranges::tagged 的标签说明符
(类) [编辑]

迭代器

迭代器相关概念
在命名空间 std::experimental::ranges 定义
迭代器概念
指定类型通过应用运算符 * 可读
(概念) [编辑]
指定可向迭代器所引用的对象写入值
(概念) [编辑]
指定 Semiregular 类型能以前后自增运算符自增
(概念) [编辑]
指定 WeaklyIncrementable 类型上的自增操作保持相等性，而且该类型 EqualityComparable
(概念) [编辑]
指定该类型对象能自增并解引用
(概念) [编辑]
指定类型的对象是 Iterator 类型的哨位
(概念) [编辑]
指定能应用 - 运算符到迭代器和哨位，以在常数时间计算其差
(概念) [编辑]
指定类型为输入迭代器，即能读其所引用值，且它能前后自增
(概念) [编辑]
指定类型为给定值类型的输出迭代器，即能把该类型的值写入它，且它能前后自增
(概念) [编辑]
指定 InputIterator 为向前迭代器，支持相等比较和多趟
(概念) [编辑]
指定 ForwardIterator 为双向迭代器，支持向后移动
(概念) [编辑]
指定 BidirectionalIterator 为随机访问迭代器，支持常数时间前进和下标访问
(概念) [编辑]
间接可调用概念
指定可调用对象能以解引用一个 Readable 类型的结果调用
(概念) [编辑]
指定可调用对象，以解引用某个 Readable 类型的结果调用时，满足 Predicate
(概念) [编辑]
指定可调用对象以解引用某些 Readable 类型的结果调用时，满足 Relation
(概念) [编辑]
指定可调用对象，以解引用某些 Readable 类型的结果调用时，满足 StrictWeakOrder
(概念) [编辑]
常用算法要求
指定值可从 Readable 类型移动到 Writable 类型
(概念) [编辑]
指定类型可从 Readable 类型移动到 Writable 类型，且移动可以通过中间对象进行
(概念) [编辑]
指定值可从 Readable 类型复制到 Writable 类型
(概念) [编辑]
指定值可从 Readable 类型复制到 Writable 类型，且该复制可能通过中间对象进行
(概念) [编辑]
指定两个 Readable 类型所引用的值可交换
(概念) [编辑]
指定两个 Readable 类型所引用的值能比较
(概念) [编辑]
指定原位重排元素的算法的公共要求
(概念) [编辑]
指定算法的要求，该算法需要通过复制元素归并已排序序列到输出序列
(概念) [编辑]
指定重排元素为有序序列的算法的公共要求
(概念) [编辑]
概念工具
计算在某 Readable 类型集合的解引用结果上调用可调用对象的结果
(类模板) [编辑]
用于指定接受投影的算法上的制约的辅助模板
(类模板) [编辑]
迭代器原语
迭代器工具
在命名空间 std::experimental::ranges 定义
 转型解引用对象的结果为其所关联的右值引用类型
(定制点对象) [编辑]
交换两个可解引用对象所引用的值
(定制点对象) [编辑]
迭代器特征
在命名空间 std::experimental::ranges 定义
 获得 WeaklyIncrementable 类型的差类型
(类模板) [编辑]
获得 Readable 类型的值类型
(类模板) [编辑]
获得输入迭代器类型的迭代器类别
(类模板) [编辑]
汇集迭代器的关联类型的兼容性特征类
(别名模板) [编辑]
获得可解引用对象的关联引用类型
(别名模板) [编辑]
迭代器类别标签
在命名空间 std::experimental::ranges 定义
 用于指示迭代器类别的空类
(类) [编辑]
std::iterator_traits 特化
在命名空间 std 定义
 为范围 TS 迭代器特化 std::iterator_traits
(类模板特化) [编辑]
迭代器操作
在命名空间 std::experimental::ranges 定义
 令迭代器前进给定的距离
(函数模板) [编辑]
返回迭代器和哨位之间的距离，或范围起始和结尾间的距离
(函数模板) [编辑]
自增迭代器
(函数模板) [编辑]
自减迭代器
(函数模板) [编辑]
迭代器适配器
在命名空间 std::experimental::ranges 定义
 用于逆序遍历的迭代器适配器
(类模板) [编辑]
用于在容器尾插入的迭代器适配器
(类模板) [编辑]
用于在容器首插入的迭代器适配器
(类模板) [编辑]
用于插入元素到容器中的迭代器适配器
(类模板) [编辑]
解引用为右值引用的迭代器适配器
(类模板) [编辑]
为 move_iterator 所用的哨位适配器
(类模板) [编辑]
将迭代器-哨位对适配成公共迭代器类型，以用于遗留算法
(类模板) [编辑]
保持距起始位置距离踪迹的迭代器适配器
(类模板) [编辑]
知晓其范围的迭代器类型所用的空哨位类型
(类) [编辑]
可能悬垂的迭代器的包装器
(类模板) [编辑]
以 dangling 包装右值范围的迭代器类型的别名模版
(别名模板) [编辑]
用于与任何迭代器一同指示无限范围的哨位类型
(类) [编辑]
流迭代器
在命名空间 std::experimental::ranges 定义
 从 std::basic_istream 读取的输入迭代器
(类模板) [编辑]
写入 std::basic_ostream 的输出迭代器
(类模板) [编辑]
从 std::basic_streambuf 读取的输入迭代器
(类模板) [编辑]
写入 std::basic_streambuf 的输出迭代器
(类模板) [编辑]

范围

在标头 <experimental/ranges/range> 定义
范围概念
指定类型为范围，即它提供 begin 迭代器和 end 哨位
(概念) [编辑]
指定范围以常数时间知晓其大小
(概念) [编辑]
指定范围为视图，即它拥有常数时间的复制/移动/赋值
(概念) [编辑]
指定范围拥有等同的迭代器和哨位类型
(概念) [编辑]
指定范围的迭代器满足 InputIterator
(概念) [编辑]
指定范围的迭代器满足 OutputIterator
(概念) [编辑]
指定范围的迭代器满足 ForwardIterator
(概念) [编辑]
指定范围的迭代器满足 BidirectionalIterator
(概念) [编辑]
指定范围的迭代器满足 RandomAccessIterator
(概念) [编辑]
范围访问
在命名空间 std::experimental::ranges 定义
 返回指向范围起始的迭代器
(定制点对象) [编辑]
返回指向范围末尾的迭代器
(定制点对象) [编辑]
获得指向范围的逆向迭代器
(定制点对象) [编辑]
获得指向范围的逆向尾迭代器
(定制点对象) [编辑]
范围原语
在命名空间 std::experimental::ranges 定义
 获得能在常数时间计算大小的范围的大小
(定制点对象) [编辑]
检查范围是否为空
(定制点对象) [编辑]
获得指向连续范围起始的指针
(定制点对象) [编辑]
获得范围的迭代器类型与哨位类型
(别名模板) [编辑]

算法