std::ranges::crbegin
定义在头文件 <ranges> 中 |
||
定义在头文件 <iterator> 中 |
||
inline namespace /* unspecified */ { inline constexpr /* unspecified */ crbegin = /* unspecified */; |
(自 C++20) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* see below */ |
(自 C++20) | |
返回一个指向被视为反向序列的常量限定参数的第一个元素的迭代器。 |
(直到 C++23) |
返回指向被视为反向序列的参数的第一个元素的常量迭代器。 |
(自 C++23) |
令
调用 |
(直到 C++23) |
如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 为 true,那么调用
在所有其他情况下,调用 |
(自 C++23) |
返回值类型在所有情况下都建模为 std::input_or_output_iterator 以及 constant-iterator
(自 C++23)。
定制点对象
名称 ranges::crbegin
表示一个定制点对象,它是一个常量 函数对象,属于一个 字面量 semiregular
类类型。出于解释目的,其类型的 cv 无限定版本被表示为 __crbegin_fn
。
所有 __crbegin_fn
实例都是相等的。在相同参数上调用不同类型 __crbegin_fn
实例的效果是等效的,无论表示实例的表达式是左值还是右值,以及是否为常量限定(但是,不需要调用易变限定实例)。因此,可以自由复制 ranges::crbegin
,并且可以互换使用其副本。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足上面 ranges::crbegin
参数的要求,__crbegin_fn
建模为
- std::invocable<__crbegin_fn, Args...>,
- std::invocable<const __crbegin_fn, Args...>,
- std::invocable<__crbegin_fn&, Args...>,以及
- std::invocable<const __crbegin_fn&, Args...>.
否则,__crbegin_fn
的任何函数调用运算符都不会参与重载解析。
[编辑] 示例
#include <cassert> #include <iterator> #include <span> #include <vector> int main() { std::vector<int> v{3, 1, 4}; auto vi = std::ranges::crbegin(v); assert(*vi == 4); ++vi; // OK, iterator object is mutable assert(*vi == 1); // *vi = 13; // Error: underlying element is read-only int a[]{-5, 10, 15}; auto ai = std::ranges::crbegin(a); assert(*ai == 15); // auto x_x = std::ranges::crbegin(std::vector<int>{6, 6, 6}); // ill-formed: the argument is an rvalue (see Notes ↑) auto si = std::ranges::crbegin(std::span{a}); // OK assert(*si == 15); static_assert ( std::ranges::enable_borrowed_range<std::remove_cv_t<decltype(std::span{a})>> ); }
[编辑] 另请参阅
(C++20) |
返回指向范围的反向迭代器 (定制点对象) |
(C++14) |
返回指向容器或数组开头的反向迭代器 (函数模板) |