Namespaces
Variants

std::sort

cppreference.net에서
 
 
알고리즘 라이브러리
제한된 알고리즘 및 범위에 대한 알고리즘 (C++20)
제한된 알고리즘, 예: ranges::copy, ranges::sort, ...
정렬 및 관련 연산
분할 연산
(C++11)    

정렬 연산
이진 검색 연산
(분할된 범위에 대해)
집합 연산 (정렬된 범위에 대해)
병합 연산 (정렬된 범위에 대해)
힙 연산
최소/최대 연산
(C++11)
(C++17)
사전식 비교 연산
순열 연산


 
헤더 <algorithm>
template< class RandomIt >
void sort( RandomIt first, RandomIt last );
에 정의됨 (1) (C++20부터 constexpr)
template< class ExecutionPolicy, class RandomIt >
void sort( ExecutionPolicy&& policy,
           RandomIt first, RandomIt last );
(2) (C++17부터)
template< class RandomIt, class Compare >
void sort( RandomIt first, RandomIt last, Compare comp );
(3) (C++20부터 constexpr)
template< class ExecutionPolicy, class RandomIt, class Compare >
void sort( ExecutionPolicy&& policy,
           RandomIt first, RandomIt last, Compare comp );
(4) (C++17부터)

범위 [first, last) 내의 요소들을 비내림차순으로 정렬합니다. 동등한 요소들의 순서는 유지된다는 보장이 없습니다.

1) 요소들은 sorted를 기준으로 정렬됩니다. operator<(C++20까지)std::less{}(C++20부터).
3) 요소들은 comp를 기준으로 정렬됩니다.
2,4) (1,3)과 동일하지만, policy에 따라 실행됩니다.
이 오버로드들은 다음 표현식의 값이 true인 경우에만 오버로드 해석에 참여합니다:

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(C++20까지)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(C++20부터)

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

  • *first의 타입이 Swappable이 아닙니다.
(C++11까지)
(C++11부터)

매개변수

first, last - 정렬할 요소들의 범위 를 정의하는 반복자 쌍
policy - 사용할 실행 정책
comp - 비교 함수 객체(즉 Compare 요구사항을 만족하는 객체)로 첫 번째 인수가 두 번째 인수보다 작은 경우 (즉 먼저 정렬되는 경우 ) ​ true 를 반환함

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

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

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

타입 요구사항
-
RandomIt 는 LegacyRandomAccessIterator 요구사항을 충족해야 함
-
Compare 는 Compare 요구사항을 충족해야 함

복잡도

주어진 N 을 last - first 로:

1,2) O(N·log(N)) 비교를 사용하여 operator < (C++20 이전) std:: less { } (C++20 이후) .
3,4) O(N·log(N)) 번의 비교자 comp 적용.

예외

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

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

가능한 구현

구현체는 또한 libstdc++ 와 libc++ 에서 확인할 수 있습니다.

참고 사항

LWG713 이전에는, LWG713 복잡도 요구사항이 sort() 구현에 Quicksort 만을 사용하는 것을 허용했으며, 이는 최악의 경우 O(N 2
)
비교 연산이 필요할 수 있습니다.

인트로소트 는 모든 경우에 대해 O(N·log(N)) 비교 연산으로 처리할 수 있으며(평균적인 경우 추가 오버헤드 없이), 따라서 일반적으로 sort() 구현에 사용됩니다.

libc++는 수정된 시간 복잡도 요구사항을 LLVM 14까지 구현하지 않았습니다.

예제

#include <algorithm>
#include <array>
#include <functional>
#include <iostream>
#include <string_view>
int main()
{
    std::array<int, 10> s{5, 7, 4, 2, 8, 6, 1, 9, 0, 3};
    auto print = [&s](std::string_view const rem)
    {
        for (auto a : s)
            std::cout << a << ' ';
        std::cout << ": " << rem << '\n';
    };
    std::sort(s.begin(), s.end());
    print("sorted with the default operator<");
    std::sort(s.begin(), s.end(), std::greater<int>());
    print("sorted with the standard library compare function object");
    struct
    {
        bool operator()(int a, int b) const { return a < b; }
    }
    customLess;
    std::sort(s.begin(), s.end(), customLess);
    print("sorted with a custom function object");
    std::sort(s.begin(), s.end(), [](int a, int b)
                                  {
                                      return a > b;
                                  });
    print("sorted with a lambda expression");
}

출력:

0 1 2 3 4 5 6 7 8 9 : sorted with the default operator<
9 8 7 6 5 4 3 2 1 0 : sorted with the standard library compare function object
0 1 2 3 4 5 6 7 8 9 : sorted with a custom function object
9 8 7 6 5 4 3 2 1 0 : sorted with a lambda expression

결함 보고서

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

DR 적용 대상 게시된 동작 올바른 동작
LWG 713 C++98 O(N·log(N)) 시간 복잡도가 평균에 대해서만 요구됨 최악의 경우에도 요구됨

참고

범위의 처음 N개 요소를 정렬합니다
(함수 템플릿 & 알고리즘 함수 객체)
동등한 요소들 간의 상대적 순서를 유지하면서 요소 범위를 정렬합니다
(함수 템플릿 & 알고리즘 함수 객체)
요소 범위를 정렬합니다
(알고리즘 함수 객체)