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 에 대한 호출은 진단이 필요 없이 잘못된 형식(ill-formed)입니다.

인수가 lvalue이거나 ranges::enable_borrowed_range<std::remove_cv_t<T>> 가 true 인 경우, ranges::rbegin 에 대한 호출은 표현식-동등(expression-equivalent)합니다:

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 의 의미는 인수 종속 조회(argument-dependent lookup) 만으로 결정된 것처럼 확립됩니다.
3. 그렇지 않으면, std::make_reverse_iterator(ranges::end(t)) 만약 ranges::begin(t) 와 ranges::end(t) 가 모두 유효한 표현식이고, 동일한 타입을 가지며, 그 타입이 std::bidirectional_iterator 를 모델링한다면.

다른 모든 경우, ranges::rbegin 에 대한 호출은 잘못된 형식(ill-formed)이며, 이는 대체 실패(substitution failure) 를 초래할 수 있습니다. (ranges::rbegin(t) 가 템플릿 인스턴스화의 즉시 컨텍스트에 나타날 때)

커스터마이제이션 포인트 객체

ranges::rbegin 이라는 이름은 커스터마이제이션 포인트 객체 를 나타내며, 이는 함수 객체 의 리터럴 리터럴 semiregular 클래스 타입의 const 객체입니다. 자세한 내용은 CustomizationPointObject 를 참조하십시오.

참고 사항

인수가 rvalue(즉, T 가 객체 타입인 경우)이고 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 가 false 인 경우, ranges::rbegin 호출은 형식이 잘못되어 치환 실패를 유발합니다.

반환 타입은 모든 경우에 std::input_or_output_iterator 를 모델링합니다.

C++20 표준은 기본 rbegin 함수 호출이 prvalue를 반환하는 경우, 반환 값이 구체화된 임시 객체에서 이동 생성되도록 요구합니다. 모든 구현체는 직접 prvalue를 반환합니다. 이 요구사항은 구현체와 일치하도록 포스트-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; // OK
    int a[] = {-5, 10, 15};
    auto ai = std::ranges::rbegin(a);
    std::cout << *ai << '\n';
    *ai = 42; // OK
    // auto x_x = std::ranges::rbegin(std::vector{6, 6, 6});
    // ill-formed: the argument is an rvalue (see Notes ↑)
    auto si = std::ranges::rbegin(std::span{a}); // OK
    static_assert(std::ranges::enable_borrowed_range<
        std::remove_cv_t<decltype(std::span{a})>>);
    *si = 42; // OK
}

4
15

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목