std::is_heap
cppreference.net에서
| 헤더 <algorithm>
|
||
template< class RandomIt >
bool is_heap( RandomIt first, RandomIt last );
|
에 정의됨 (1) | (C++11 이후) (C++20부터 constexpr) |
template< class ExecutionPolicy, class RandomIt >
bool is_heap( ExecutionPolicy&& policy,
RandomIt first, RandomIt last );
|
(2) | (C++17 이후) |
template< class RandomIt, class Compare >
bool is_heap( RandomIt first, RandomIt last, Compare comp );
|
(3) | (C++11 이후) (C++20부터 constexpr) |
template< class ExecutionPolicy, class RandomIt, class Compare >
bool is_heap( ExecutionPolicy&& policy,
RandomIt first, RandomIt last, Compare comp );
|
(4) | (C++17 이후) |
[first, last)이 힙인지 확인합니다.
1) 확인할 힙 속성은
operator<(C++20까지)std::less{}(C++20부터)에 관한 것입니다.3) 확인할 힙 속성은
comp에 관한 것입니다.2,4)(1,3)과 동일하지만
policy에 따라 실행됩니다. 이러한 오버로드는 다음 표현식의 값이
true인 경우에만 오버로드 해결에 참여합니다:
|
|
(C++20까지) |
|
|
(C++20부터) |
매개변수
| first, last | - | 확인할 요소의 범위를 정의하는 반복자 쌍 |
| policy | - | 사용할 실행 정책 |
| comp | - | 비교 함수 객체 (즉, Compare의 요구사항을 충족하는 객체)로, 첫 번째 인수가 두 번째 인수보다 true작은 경우 true를 반환합니다.
비교 함수의 시그니처는 다음과 같아야 합니다:
|
| 타입 요구사항 | ||
-RandomIt는 LegacyRandomAccessIterator의 요구사항을 충족해야 합니다.
| ||
-Compare는 Compare의 요구사항을 충족해야 합니다.
| ||
반환값
true해당 비교자에 대해 범위가 힙이면 false, 그렇지 않으면
false
입니다.
\(\scriptsize N\)std::distance(first, last)을
$\text{std::distance}(first, last)$ 1,2)\(\scriptsize O(N)\)
operator<번의 std::less{}(C++20까지)(C++20부터) 비교. \(\scriptsize O(N)\)번의 비교 함수
comp 적용.예외
ExecutionPolicy라는 이름의 템플릿 매개변수가 있는 오버로드는 다음과 같이 오류를 보고합니다:
- 알고리즘의 일부로 호출된 함수 실행에서 예외가 발생하고
ExecutionPolicy이(가) 표준 정책 중 하나인 경우 std::terminate가 호출됩니다. 다른ExecutionPolicy의 경우 동작은 구현 정의입니다. - 알고리즘이 메모리 할당에 실패하면 std::bad_alloc이 발생합니다.
예제
이 코드 실행
#include <algorithm>
#include <bit>
#include <iostream>
#include <vector>
int main()
{
std::vector<int> v{3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, 7, 9};
std::cout << "initially, v:\n";
for (const auto& i : v)
std::cout << i << ' ';
std::cout << '\n';
if (!std::is_heap(v.begin(), v.end()))
{
std::cout << "making heap...\n";
std::make_heap(v.begin(), v.end());
}
std::cout << "after make_heap, v:\n";
for (auto t{1U}; const auto& i : v)
std::cout << i << (std::has_single_bit(++t) ? " | " : " ");
std::cout << '\n';
}
출력:
initially, v:
3 1 4 1 5 9 2 6 5 3 5 8 9 7 9
making heap...
after make_heap, v:
9 | 6 9 | 5 5 9 7 | 1 1 3 5 8 3 4 2 |
참조 항목
(C++11) |
최대 힙인 가장 큰 하위 범위를 찾습니다 (함수 템플릿 & 알고리즘 함수 객체) |
(C++20) |
|
| 요소 범위에서 최대 힙을 만듭니다 (함수 템플릿 & 알고리즘 함수 객체) | |
(C++20) |
|
| 최대 힙에 요소를 추가합니다 (함수 템플릿 & 알고리즘 함수 객체) | |
(C++20) |
|
| 최대 힙에서 가장 큰 요소를 제거합니다 (함수 템플릿 & 알고리즘 함수 객체) | |
(C++20) |
|
| 최대 힙을 오름차순으로 정렬된 요소 범위로 바꿉니다 (함수 템플릿 & 알고리즘 함수 객체) | |
(C++20) |
|
(C++20) |
주어진 범위가 최대 힙인지 확인합니다 (알고리즘 함수 객체) |