Namespaces
Variants

std:: inplace_merge

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
inplace_merge
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
헤더 파일에 정의됨 <algorithm>
template < class BidirIt >
void inplace_merge ( BidirIt first, BidirIt middle, BidirIt last ) ;
(1) (C++26부터 constexpr)
template < class ExecutionPolicy, class BidirIt >

void inplace_merge ( ExecutionPolicy && policy,

BidirIt first, BidirIt middle, BidirIt last ) ;
(2) (C++17부터)
template < class BidirIt, class Compare >

void inplace_merge ( BidirIt first, BidirIt middle, BidirIt last,

Compare comp ) ;
(3) (C++26부터 constexpr)
template < class ExecutionPolicy, class BidirIt, class Compare >

void inplace_merge ( ExecutionPolicy && policy,
BidirIt first, BidirIt middle, BidirIt last,

Compare comp ) ;
(4) (C++17부터)

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

1) 만약 [ first , middle ) 또는 [ middle , last ) 정렬 되어 있지 않다면, operator < (C++20 이전) std:: less { } (C++20 이후) 에 대한 동작은 정의되지 않습니다.
3) 만약 [ first , middle ) 또는 [ middle , last ) comp 에 대해 정렬되어 있지 않다면, 동작은 정의되지 않습니다.
2,4) (1,3) 와 동일하지만, policy 에 따라 실행됩니다.
다음 모든 조건이 만족될 때만 이 오버로드들이 오버로드 해결에 참여합니다:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> true 입니다.

(C++20 이전)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> true 입니다.

(C++20 이후)

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

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

(C++11 이전)
(C++11 이후)

목차

매개변수

first - 첫 번째 정렬된 범위의 시작
middle - 첫 번째 정렬된 범위의 끝이자 두 번째 범위의 시작
last - 두 번째 정렬된 범위의 끝
policy - 사용할 실행 정책
comp - 비교 함수 객체(즉, Compare 요구 사항을 만족하는 객체)로, 첫 번째 인수가 두 번째 인수보다 작은 경우(즉, 순서상 앞서는 경우) ​ true 를 반환합니다.

비교 함수의 시그니처는 다음과 동일해야 합니다:

bool cmp ( const Type1 & a, const Type2 & b ) ;

시그니처에 const & 가 필요하지는 않지만, 함수는 전달된 객체를 수정해서는 안 되며, 값 범주 에 관계없이 Type1 Type2 타입의 모든 값을 받아들일 수 있어야 합니다(따라서 Type1& 는 허용되지 않으며, Type1 Type1 에 대해 이동이 복사와 동등하지 않는 한 허용되지 않습니다 (C++11부터) ).
Type1 Type2 타입은 BidirIt 타입의 객체를 역참조한 후 두 타입 모두로 암시적으로 변환할 수 있어야 합니다. ​

타입 요구 사항
-
BidirIt LegacyBidirectionalIterator 요구 사항을 충족해야 합니다.
-
Compare Compare 요구 사항을 충족해야 합니다.

복잡도

주어진 N std:: distance ( first, last ) 인 경우:

1) 충분한 추가 메모리가 사용 가능한 경우 정확히 N-1 번의 비교를 operator < (C++20 이전) std:: less { } (C++20 이후) 사용하여 수행하며, 그렇지 않은 경우 O(N⋅log(N)) 번의 비교를 수행합니다.
2) O(N⋅log(N)) 비교를 사용하며, operator < (C++20 이전) std:: less { } (C++20 이후) .
3) 정확히 N-1 번의 비교 함수 comp 적용이 필요하며, 충분한 추가 메모리가 사용 가능한 경우 O(N⋅log(N)) 번의 적용이 필요합니다.
4) O(N⋅log(N)) 번의 비교 함수 comp 적용.

예외

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

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

가능한 구현

구현 내용은 libstdc++ libc++ 에서 확인하십시오.

참고 사항

이 함수는 임시 버퍼 할당을 시도합니다. 할당이 실패할 경우, 덜 효율적인 알고리즘이 선택됩니다.

기능 테스트 매크로 표준 기능
__cpp_lib_constexpr_algorithms 202306L (C++26) constexpr 인플레이스 병합 ( 1 ) , ( 3 )

예제

다음 코드는 병합 정렬(merge sort)의 구현입니다.

#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

참고 항목

두 정렬된 범위를 병합
(함수 템플릿)
범위를 오름차순으로 정렬
(함수 템플릿)
동일한 요소들 간의 순서를 유지하며 범위 정렬
(함수 템플릿)
두 정렬된 범위를 제자리에서 병합
(알고리즘 함수 객체)