std::reverse

template< class BidirIt >
void reverse( BidirIt first, BidirIt last );

template< class ExecutionPolicy, class BidirIt >
void reverse( ExecutionPolicy&& policy, BidirIt first, BidirIt last );

만약 *first가(이) Swappable(C++20까지)BidirIt가(이) ValueSwappable(C++20부터), 동작은 정의되지 않습니다.

매개변수

복잡도

정확히 std:: distance ( first, last ) / 2 번의 교환.

예외

ExecutionPolicy 라는 템플릿 매개변수를 사용하는 오버로드는 다음과 같이 오류를 보고합니다:

• 알고리즘의 일부로 호출된 함수 실행 중 예외가 발생하고 ExecutionPolicy 가 표준 정책 중 하나인 경우, std::terminate 가 호출됩니다. 다른 ExecutionPolicy 의 경우 동작은 구현에 따라 정의됩니다.
• 알고리즘이 메모리 할당에 실패할 경우, std::bad_alloc 이 throw됩니다.

가능한 구현

다음 구현들도 참조하십시오: libstdc++ , libc++ , 그리고 MSVC STL .

template<class BidirIt>
constexpr // since C++20
void reverse(BidirIt first, BidirIt last)
{
    using iter_cat = typename std::iterator_traits<BidirIt>::iterator_category;
    // 태그 디스패치, 예: reverse_impl(first, last, iter_cat()) 호출은
    // C++14 및 이전 모드에서 사용할 수 있습니다.
    if constexpr (std::is_base_of_v<std::random_access_iterator_tag, iter_cat>)
    {
        if (first == last)
            return;
        for (--last; first < last; (void)++first, --last)
            std::iter_swap(first, last);
    }
    else
        while (first != last && first != --last)
            std::iter_swap(first++, last);
}

참고 사항

구현체들(예: MSVC STL )은 반복자 타입이 LegacyContiguousIterator 요구사항을 충족하고 해당 값 타입의 교환(swapping)이 비트리비얼(non-trivial) 특수 멤버 함수나 ADL 을 통해 발견된 swap 을 호출하지 않을 때 벡터화(vectorization)를 활성화할 수 있습니다.

예제

#include <algorithm>
#include <iostream>
#include <iterator>
#include <vector>
void println(auto rem, auto const& v)
{
    for (std::cout << rem; auto e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{
    std::vector<int> v {1, 2, 3};
    std::reverse(v.begin(), v.end());
    println("after reverse, v = ", v);
    int a[] = {4, 5, 6, 7};
    std::reverse(std::begin(a), std::end(a));
    println("after reverse, a = ", a);
}

after reverse, v = 3 2 1
after reverse, a = 7 6 5 4

결함 보고서

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

참고