函数模板
<algorithm>

std::is_heap

默认 (1)
template <class RandomAccessIterator>  bool is_heap (RandomAccessIterator first, RandomAccessIterator last);
自定义 (2)
template <class RandomAccessIterator, class Compare>  bool is_heap (RandomAccessIterator first, RandomAccessIterator last,                Compare comp);
测试范围是否为堆
如果范围 [first,last) 构成一个 (如同使用 make_heap 构建的一样),则返回 true

元素使用第一个版本的 operator< 进行比较,第二个版本使用 comp 进行比较。

参数

first, last
随机访问迭代器,指向序列的初始和最终位置。要检查的范围是 [first,last),它包含 firstlast 之间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。
comp
二元函数,接受范围内的两个元素作为参数,并返回一个可转换为 bool 的值。返回的值指示第一个参数中的元素在它定义的特定严格弱序中是否被认为排在第二个参数之前。
该函数不得修改其任何参数。
这可以是指针函数,也可以是函数对象。

返回值

如果范围 [first,last) 是一个(如同使用 make_heap 构建的一样),则返回 true,否则返回 false

如果范围 [first,last) 包含的元素少于两个,则函数始终返回 true

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
// is_heap example
#include <iostream>     // std::cout
#include <algorithm>    // std::is_heap, std::make_heap, std::pop_heap
#include <vector>       // std::vector

int main () {
  std::vector<int> foo {9,5,2,6,4,1,3,8,7};

  if (!std::is_heap(foo.begin(),foo.end()))
    std::make_heap(foo.begin(),foo.end());

  std::cout << "Popping out elements:";
  while (!foo.empty()) {
    std::pop_heap(foo.begin(),foo.end());   // moves largest element to back
    std::cout << ' ' << foo.back();         // prints back
    foo.pop_back();                         // pops element out of container
  }
  std::cout << '\n';

  return 0;
}

输出
Popping out elements: 9 8 7 6 5 4 3 2 1


复杂度

最多线性于 firstlast 之间距离减一:比较元素对,直到找到不匹配为止。

数据竞争

访问范围 [first,last) 中的对象。

异常

如果元素比较或迭代器操作引发异常,则抛出。
请注意,无效参数会导致未定义行为

另见