Namespaces
Variants

    std::is_heap_until

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

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


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

    범위 [first, last)를 검사하고 first에서 시작하는 힙인 가장 큰 범위를 찾습니다.

    1) 확인할 힙 속성은 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, last - 검사할 요소의 범위를 정의하는 반복자 쌍
    policy - 사용할 실행 정책
    comp - 비교 함수 객체 (즉, Compare의 요구 사항을 만족하는 객체)로, 첫 번째 인수가 두 번째 인수보다 true작으면 을 반환합니다.

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

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

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

    유형 요구 사항
    -
    RandomIt은 LegacyRandomAccessIterator의 요구 사항을 충족해야 합니다.
    -
    Compare은 Compare의 요구 사항을 충족해야 합니다.

    반환값

    범위 it가 힙인 마지막 반복자 [first, it).

    복잡도

    N이 std::distance(first, last)일 때:

    1,2) O(N) 번의 비교 (operator<(C++20까지)std::less{}(C++20부터) 사용).
    3,4) O(N) 번의 비교 함수 comp 적용.

    예외

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

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

    예제

    이 코드 실행하기
    #include <algorithm>
#include <iostream>
#include <vector>

int main()
{
    std::vector<int> v{3, 1, 4, 1, 5, 9};
    
    std::make_heap(v.begin(), v.end());
    
    // probably mess up the heap
    v.push_back(2);
    v.push_back(6);
    
    auto heap_end = std::is_heap_until(v.begin(), v.end());
    
    std::cout << "all of v:  ";
    for (const auto& i : v)
        std::cout << i << ' ';
    std::cout << '\n';
    
    std::cout << "only heap: ";
    for (auto i = v.begin(); i != heap_end; ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
}

    출력: 

    all of v:  9 5 4 1 1 3 2 6
only heap: 9 5 4 1 1 3 2

    참고 항목

    (C++11)
    		 주어진 범위가 최대 힙인지 확인합니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    		요소 범위로 최대 힙을 만듭니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    		최대 힙에 요소를 추가합니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    		최대 힙에서 가장 큰 요소를 제거합니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    		최대 힙을 오름차순으로 정렬된 요소 범위로 변환합니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    (C++20)
    		 최대 힙인 가장 큰 하위 범위를 찾습니다
    (알고리즘 함수 객체)