std::experimental::ranges::distance

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

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

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

概念 (概念 TS)

范围 (范围 TS)

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

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
Readable Writable WeaklyIncrementable Incrementable	Iterator Sentinel SizedSentinel	InputIterator ForwardIterator BidirectionalIterator RandomAccessIterator	OutputIterator
间接可调用概念
IndirectUnaryInvocableIndirectRegularUnaryInvocable	IndirectUnaryPredicate	IndirectRelation	IndirectStrictWeakOrder
常用算法要求
IndirectlyMovable IndirectlyMovableStorable	IndirectlyCopyable IndirectlyCopyableStorable	IndirectlySwappable IndirectlyComparable	Permutable Mergeable Sortable
概念工具
indirect_result_of	projected
迭代器工具及运算
iter_move iter_swap	advance distance	next prev
迭代器特性
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingsafe_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义于头文件 <experimental/ranges/iterator>
namespace {     constexpr /* unspecified */ distance = /* unspecified */; }		(范围 TS) (定制点对象)
调用签名
template< Iterator I, Sentinel<I> S > constexpr ranges::difference_type_t<I> distance(I first, S last);	(1)
template< Range R > constexpr ranges::difference_type_t<ranges::iterator_t<R>> distance(R&& r);	(2)
template< SizedRange R > constexpr ranges::difference_type_t<ranges::iterator_t<R>> distance(R&& r);	(3)

返回 first 与 last 间的距离，或范围 r 的首尾间的距离。

1) 若 SizedSentinel<S, I> 得到满足，则等价于 return last - first; 。否则，返回从 first 得到 last 所需的自增次数。若 [first, last) 不代表范围，则 I 与 S 必须为同一类型且必须实现 SizedSentinel ，而 [last, first) 必须指代一个范围。否则，行为未定义。

2) 等价于 return ranges::distance(ranges::begin(r), ranges::end(r)); 。

3) 等价于 return ranges::size(r); 。

若在实例化点前未包含头文件 <experimental/ranges/range> ，则实例化重载 (2-3) 可能为病式。

定制点对象

名称 ranges::distance 代表一个定制点对象，它是字面 Semiregular 类类型的函数对象（为说明目的以 DistanceT 表示）。DistanceT 的所有实例均相等。从而能自由地复制 ranges::distance ，且能交替使用其副本。

给定类型集合 Args... ，若 std::declval<Args>()... 满足上面给 ranges::distance 的参数要求，则 DistanceT 将满足 ranges::Invocable<const DistanceT, Args...> 。否则，没有 DistanceT 的函数调用运算符参与重载决议。

在每个定义 ranges::distance 的翻译单元中，它都指代定制点对象的同一实例。（这表示能自由地在类似 inline 函数和函数模板的东西中使用它，而不违反单一定义规则。）

返回值

first 与 last 间的距离，或范围 r 的首尾间的距离。

参阅

distance	返回两个迭代器间的距离 (函数模板)
advance	令迭代器前进给定的距离 (函数模板)
next	自增迭代器 (函数模板)
prev	自减迭代器 (函数模板)
size	获得能在常数时间计算大小的范围的大小 (定制点对象)