std::ranges:: rend

返回表示反向范围末尾的哨兵值。

如果 T 是数组类型且 std:: remove_all_extents_t < std:: remove_reference_t < T >> 是不完整类型，则对 ranges::rend 的调用属于非良构，不要求诊断。

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

1. decay-copy ( t. rend ( ) ) (C++23 前) auto ( t. rend ( ) ) (C++23 起) ，若该表达式有效且其类型满足 std:: sentinel_for < decltype ( ranges:: rbegin ( std:: declval < T > ( ) ) ) > 概念。
2. 否则， decay-copy ( rend ( t ) ) (C++23 前) auto ( rend ( t ) ) (C++23 起) ，若 T 是类或枚举类型，该表达式有效且其类型满足 std:: sentinel_for < decltype ( ranges:: rbegin ( std:: declval < T > ( ) ) ) > 概念，其中 rend 的含义通过仅执行 实参依赖查找 来确定。
3. 否则， std:: make_reverse_iterator ( ranges:: begin ( t ) ) ，若 ranges:: begin ( t ) 和 ranges:: end ( t ) 均为有效表达式、具有相同类型，且该类型满足 std::bidirectional_iterator 概念。

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

定制点对象

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

注释

如果实参是右值（即 T 是对象类型）且 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 为 false ，或者它是未知边界数组类型，则对 ranges::rend 的调用将导致非良构，同时引发替换失败。

若 ranges :: rend ( std:: forward < T > ( t ) ) 有效，则 decltype ( ranges :: rend ( std:: forward < T > ( t ) ) ) 与 decltype ( ranges:: begin ( std:: forward < T > ( t ) ) ) 在所有情况下均满足 std::sentinel_for 概念，同时 T 满足 std::ranges::range 概念。

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

示例

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>
int main()
{
    std::vector<int> v = {3, 1, 4};
    namespace ranges = std::ranges;
    if (ranges::find(ranges::rbegin(v), ranges::rend(v), 5) != ranges::rend(v))
        std::cout << "found a 5 in vector v!\n";
    int a[] = {5, 10, 15};
    if (ranges::find(ranges::rbegin(a), ranges::rend(a), 5) != ranges::rend(a))
        std::cout << "found a 5 in array a!\n";
}

found a 5 in array a!

缺陷报告

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

参见