Namespaces
Variants

std::ranges::crbegin

来自 zh.cppreference.net
 
 
范围库
范围适配器
(C++23 起)(C++23 起)
(C++23 起)
(C++23 起)(C++23 起)
(C++23 起)(C++23 起)
(C++23 起)(C++23 起)
(C++23 起)(C++23 起)

 
定义于头文件 <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 起)

返回一个迭代器,指向被视作反向序列的 const 限定实参的第一个元素。

(C++23 前)

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

(C++23 起)

令 CT 为

  • const std::remove_reference_t<T>& 如果实参是左值(即 T 是左值引用类型),
  • const T 否则。

对 ranges::crbegin 的调用表达式等价于 ranges::rbegin(static_cast<CT&&>(t))。

(C++23 前)

如果实参是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true,那么对 ranges::crbegin 的调用表达式等价于:

  • std::const_iterator<decltype(U)>(U) 对于某个表达式 U 等价于 ranges::rbegin(possibly-const-range(t))。

所有其他情况下,调用 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})>>
    );
}

参见

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