std::inplace_merge

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

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

template< class BidirIt, class Compare >
void inplace_merge( BidirIt first, BidirIt middle, BidirIt last,
                    Compare comp );

template< class ExecutionPolicy, class BidirIt, class Compare >
void inplace_merge( ExecutionPolicy&& policy,
                    BidirIt first, BidirIt middle, BidirIt last,
                    Compare comp );

두 개의 연속적인 정렬된 범위 [first, middle)와 [middle, last)을 하나의 정렬된 범위 [first, last)로 병합합니다.

이 병합 함수는 안정적입니다. 즉, 원래 두 범위에서 동등한 요소에 대해 첫 번째 범위의 요소(원래 순서 유지)가 두 번째 범위의 요소(원래 순서 유지)보다 앞에 옵니다.

다음 조건 중 하나라도 만족하면 동작은 정의되지 않습니다:

• [first, middle) 또는 [middle, last)이 유효한 범위가 아닙니다.

매개변수

복잡도

주어진 \(\scriptsize N\)N이 std::distance(first, last)일 때:

예외

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

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

가능한 구현

libstdc++ 및 libc++의 구현을 참조하십시오.

참고

이 함수는 임시 버퍼를 할당하려고 시도합니다. 할당에 실패하면 덜 효율적인 알고리즘이 선택됩니다.

예제

#include <algorithm>
#include <iostream>
#include <vector>

template<class Iter>
void merge_sort(Iter first, Iter last)
{
    if (last - first > 1)
    {
        Iter middle = first + (last - first) / 2;
        merge_sort(first, middle);
        merge_sort(middle, last);
        std::inplace_merge(first, middle, last);
    }
}

int main()
{
    std::vector<int> v{8, 2, -2, 0, 11, 11, 1, 7, 3};
    merge_sort(v.begin(), v.end());
    for (const auto& n : v)
        std::cout << n << ' ';
    std::cout << '\n';
}

-2 0 1 2 3 7 8 11 11

같이 보기