std::ranges::rbegin

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ rbegin = /* unspecified */;
}

template< class T >
    requires /* see below */
constexpr std::input_or_output_iterator auto rbegin( T&& t );

返回参数中最后一个元素的迭代器。

如果 T 是数组类型且 std::remove_all_extents_t<std::remove_reference_t<T>> 不完整，则对 ranges::rbegin 的调用是非良构的，无需诊断。

如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true，则对 ranges::rbegin 的调用表达式等价于：

1. decay-copy(t.rbegin())(C++23 前)auto(t.rbegin())(C++23 起)，如果该表达式合法且其类型符合 std::input_or_output_iterator。
2. 否则，decay-copy(rbegin(t))(C++23 前)auto(rbegin(t))(C++23 起)，如果 T 是类或枚举类型，该表达式合法且其类型符合 std::input_or_output_iterator，其中 rbegin 的含义如同通过仅执行实参依赖查找来建立。
3. 否则，std::make_reverse_iterator(ranges::end(t))如果 ranges::begin(t) 和 ranges::end(t) 都是合法表达式，具有相同类型，且该类型符合 std::bidirectional_iterator。

在所有其他情况下，对 ranges::rbegin 的调用是非良构的，当 出现在模板实例化的立即上下文中时，可能导致替换失败ranges::rbegin(t)。

定制点对象

名称 ranges::rbegin 表示一个 定制点对象 ，它是一个字面量 semiregular 类类型的常量 函数对象 。详细信息请参阅 定制点对象 。

注释

如果实参是右值（即 T 是对象类型）且 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 为 false ，则对 ranges::rbegin 的调用是非良构的，这也会导致替换失败。

返回值类型在所有情况下均满足 std::input_or_output_iterator 概念要求。

C++20 标准要求：若底层 rbegin 函数调用返回纯右值，则返回值应从具体化的临时对象移动构造。但所有实现都直接返回该纯右值。这一要求已通过后 C++20 提案 P0849R8 修正以匹配现有实现。

示例

#include <iostream>
#include <ranges>
#include <span>
#include <vector>
int main()
{
    std::vector<int> v = {3, 1, 4};
    auto vi = std::ranges::rbegin(v);
    std::cout << *vi << '\n';
    *vi = 42; // 正常
    int a[] = {-5, 10, 15};
    auto ai = std::ranges::rbegin(a);
    std::cout << *ai << '\n';
    *ai = 42; // 正常
    // auto x_x = std::ranges::rbegin(std::vector{6, 6, 6});
    // 非良构：实参为右值（参见说明↑）
    auto si = std::ranges::rbegin(std::span{a}); // 正常
    static_assert(std::ranges::enable_borrowed_range<
        std::remove_cv_t<decltype(std::span{a})>>);
    *si = 42; // 正常
}

4
15

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参阅