命名空间
变体
操作

std::ranges::crbegin

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <ranges>
定义在头文件 <iterator>
inline namespace /* unspecified */ {

    inline constexpr /* unspecified */ crbegin = /* unspecified */;

}
(自 C++20)
(定制点对象)
调用签名
template< class T >

    requires /* see below */

constexpr /* see below */ auto crbegin( T&& t );
(自 C++20)

返回一个指向被视为反向序列的常量限定参数的第一个元素的迭代器。

(直到 C++23)

返回指向被视为反向序列的参数的第一个元素的常量迭代器。

(自 C++23)

range-rbegin-rend.svg

CT

调用 ranges::crbeginranges::rbegin(static_cast<CT&&>(t)) 等效。

(直到 C++23)

如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>>true,那么调用 ranges::crbegin 等效于

在所有其他情况下,调用 ranges::crbegin 都是非法的,当调用出现在模板实例化的直接上下文中时,可能会导致 替换失败

(自 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 建模为

否则,__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})>>
    );
}

[编辑] 另请参阅

返回指向范围的反向迭代器
(定制点对象)[编辑]
返回指向容器或数组开头的反向迭代器
(函数模板) [编辑]