std::ranges::rend
在头文件 <ranges> 中定义 |
||
在头文件 <iterator> 中定义 |
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ rend = /* 未指定 */; |
(自 C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* 见下文 */ |
(自 C++20 起) | |
返回一个哨兵,指示反向范围的结束。
如果 T
是一个数组类型并且 std::remove_all_extents_t<std::remove_reference_t<T>> 是不完整的,那么对 ranges::rend
的调用是格式错误的,不需要诊断。
如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true,那么对 ranges::rend
的调用与
- decay-copy(t.rend())(直到 C++23)auto(t.rend())(自 C++23 起) 等效,如果该表达式有效并且其类型符合 std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>。
- 否则,decay-copy(rend(t))(直到 C++23)auto(rend(t))(自 C++23 起),如果
T
是一个类或枚举类型,该表达式有效并且其类型符合 std::sentinel_for<decltype(ranges::rbegin(std::declval<T>()))>,其中rend
的含义是通过仅执行 依赖于参数的查找 来确定的。 - 否则,std::make_reverse_iterator(ranges::begin(t)),如果 ranges::begin(t) 和 ranges::end(t) 都是有效的表达式,具有相同的类型,并且该类型符合 std::bidirectional_iterator。
在所有其他情况下,对 ranges::rend
的调用是格式错误的,这会导致在 ranges::rend(t) 出现在模板实例化的直接上下文中时发生 替换失败。
内容 |
定制点对象
名称 ranges::rend
表示一个 *自定义点对象*,它是一个 const 函数对象,属于一个 字面量 semiregular
类类型。为了便于说明,其类型的 cv 无限定版本表示为 __rend_fn
。
所有 __rend_fn
实例都是相等的。在相同参数上调用不同 __rend_fn
类型实例的效果是等效的,无论表示该实例的表达式是左值还是右值,以及是否为 const 限定(但是,volatile 限定实例不需要是可调用的)。因此,可以自由地复制 ranges::rend
,并且其副本可以互换使用。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足 ranges::rend
上述参数的要求,则 __rend_fn
符合
- std::invocable<__rend_fn, Args...>,
- std::invocable<const __rend_fn, Args...>,
- std::invocable<__rend_fn&, Args...>,以及
- std::invocable<const __rend_fn&, Args...>.
否则,__rend_fn
的任何函数调用运算符都不会参与重载解析。
[编辑] 注释
如果参数是右值(即 T
是一个对象类型)并且 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 false,或者如果它是一个未知边界的数组类型,则对 ranges::rend
的调用是非法的,这也会导致替换失败。
如果 ranges::rend(std::forward<T>(t)) 是有效的,则 decltype(ranges::rend(std::forward<T>(t))) 和 decltype(ranges::begin(std::forward<T>(t))) 在所有情况下都符合 std::sentinel_for,而 T
符合 std::ranges::range。
C++20 标准要求,如果底层 rend
函数调用返回一个右值,则返回值将从物化的临时对象移动构造。所有实现直接返回右值而不是。该要求通过 C++20 后提案 P0849R8 修正为与实现匹配。
[编辑] 示例
#include <algorithm> #include <iostream> #include <ranges> #include <vector> int main() { std::vector<int> v = {3, 1, 4}; namespace ranges = std::ranges; if (ranges::find(ranges::rbegin(v), ranges::rend(v), 5) != ranges::rend(v)) std::cout << "found a 5 in vector v!\n"; int a[] = {5, 10, 15}; if (ranges::find(ranges::rbegin(a), ranges::rend(a), 5) != ranges::rend(a)) std::cout << "found a 5 in array a!\n"; }
输出
found a 5 in array a!
[编辑] 缺陷报告
以下行为更改的缺陷报告被追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
P2602R2 | C++20 | 存在机制来禁止由 ADL 找到的某些非成员 rend |
删除了这种机制 |
[编辑] 另请参阅
(C++20) |
返回到只读范围的反向末尾迭代器 (自定义点对象) |
(C++20) |
返回到范围的反向迭代器 (自定义点对象) |
(C++14) |
返回容器或数组的反向末尾迭代器 (函数模板) |