Namespaces
Variants

std::ranges:: crbegin

From cppreference.net
Ranges library
Range adaptors
定义于头文件 <ranges>
定义于头文件 <iterator>
inline namespace /* 未指定 */ {

inline constexpr /* 未指定 */ crbegin = /* 未指定 */ ;

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

requires /* 见下文 */

constexpr /* 见下文 */ auto crbegin ( T && t ) ;
(C++20 起)

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

(C++23 前)

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

(C++23 起)

range-rbegin-rend.svg

CT

ranges::crbegin 的调用 表达式等价 ranges:: 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 类类型。详情请参阅 定制点对象

示例

#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; // 正常:迭代器对象是可变的
    assert(*vi == 1);
    // *vi = 13; // 错误:底层元素是只读的
    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});
    // 非良构:参数是右值(参见说明↑)
    auto si = std::ranges::crbegin(std::span{a}); // 正常
    assert(*si == 15);
    static_assert
    (
        std::ranges::enable_borrowed_range<std::remove_cv_t<decltype(std::span{a})>>
    );
}

参见

返回指向范围的反向迭代器
(定制点对象)
返回指向容器或数组起始位置的反向迭代器
(函数模板)