std::ranges::crend

来自cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
在标头 <ranges> 定义
在标头 <iterator> 定义
inline namespace /* 未指明 */ {

    inline constexpr /* 未指明 */ crend = /* 未指明 */;

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

    requires /* 见下文 */

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

返回指示被当作逆向序列的 const 限定的 (C++23 前)范围结尾的常量迭代器的 (C++23 起)哨位。

range-rbegin-rend.svg

CT

  • 若实参为左值(即 T 为左值引用类型)则为 const std::remove_reference_t<T>&
  • 否则为 const T

则对 ranges::crend 的调用表达式等价ranges::rend(static_cast<CT&&>(t))

(C++23 前)

若实参为左值,或者 ranges::enable_borrowed_range<std::remove_cv_t<T>>true,则对 ranges::crend 的调用表达式等价于:

所有其他情况下,对 ranges::crend 的调用都非良构,这在调用出现于模板实例化的立即语境中时会导致代换失败

(C++23 起)

ranges::crend(e) 对于表达式 e 合法,其中 decltype((e))T,则 CT 实现 std::ranges::range,并且 (C++23 前) std::sentinel_for<S, I> 在所有情况下都为 true,其中 Sdecltype(ranges::crend(e))Idecltype(ranges::crbegin(e))此外,如果 S 实现了 input_iterator 则它也实现 constant-iterator (C++23 起)

定制点对象

名字 ranges::crend 代表一个定制点对象,它是某个字面 semiregular 类类型的 const 函数对象。为阐述目的,以 __crend_fn 表示它的类型的 cv 无限定版本。

__crend_fn 的所有实例均相等。在相同实参上调用 __crend_fn 类型的不同实例的效果是等价的,这与指代该实例的表达式是左值还是右值,以及是否为 const 限定无关(然而不要求 volatile 限定的实例是可调用的)。由此,可以自由地复制 ranges::crend 并且能彼此替代地使用它的副本。

给定类型集合 Args...,如果 std::declval<Args>()... 满足上面对于 ranges::crend 的实参的要求,那么 __crend_fn 就实现

否则,__crend_fn 的函数调用运算符不会参与重载决议。

示例

#include <algorithm>
#include <iostream>
#include <iterator>
#include <vector>
 
int main()
{
    int a[]{4, 6, -3, 9, 10};
    std::cout << "数组从后向前:";
    namespace ranges = std::ranges;
    ranges::copy(ranges::rbegin(a), ranges::rend(a),
                 std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
 
    std::cout << "向量从后向前:";
    std::vector v{4, 6, -3, 9, 10};
    ranges::copy(ranges::rbegin(v), ranges::rend(v),
                 std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

输出:

数组从后向前:10 9 -3 6 4
向量从后向前:10 9 -3 6 4

参阅

返回指向范围的逆向尾迭代器
(定制点对象)
(C++14)
返回容器或数组的逆向尾迭代器
(函数模板)