std::is_heap_until

在標頭 `<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 執行。

這些重載只有在滿足以下所有條件時才會參與重載決議：

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 起)

first, last	-	要檢驗的元素範圍的迭代器對
policy	-	所用的執行策略
comp	-	比較函數對象（即滿足比較 (Compare) 要求的對象），如果首個實參小於第二個，則返回 true。比較函數的簽名應等價於如下： bool cmp(const Type1 &a, const Type2 &b); 雖然簽名不必有 const&，函數也不能修改傳遞給它的對象，而且必須能夠接受（可有 const 限定的）類型 `Type1` 與 `Type2` 的所有值，與值類別無關（從而不允許 Type1 &，也不允許 Type1，除非 `Type1` 的移動等價於複製(C++11 起)）。類型 Type1 與 Type2 必須使得 RandomIt 類型的對象能在解引用後隱式轉換到這兩個類型。
類型要求
- `RandomIt` 必須滿足老式隨機訪問迭代器 (LegacyRandomAccessIterator) 。
- `Compare` 必須滿足比較 (Compare) 。

[編輯] 返回值

使得範圍 [first, it) 是堆的最末迭代器 it。

[編輯] 複雜度

給定 $\scriptsize N$ $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());
 
    // 将堆扰乱
    v.push_back(2);
    v.push_back(6);
 
    auto heap_end = std::is_heap_until(v.begin(), v.end());
 
    std::cout << "v 的所有元素：";
    for (auto i : v)
        std::cout << i << ' ';
    std::cout << '\n';
 
    std::cout << "只是堆的部分：";
    for (auto i = v.begin(); i != heap_end; ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
}

輸出：

v 的所有元素：9 5 4 1 1 3 2 6 
只是堆的部分：9 5 4 1 1 3 2

[編輯] 參閱

is_heap	檢查給定範圍是否為最大堆 (函數模板) [編輯]
make_heap	從元素範圍創建最大堆 (函數模板) [編輯]
push_heap	添加元素到最大堆 (函數模板) [編輯]
pop_heap	移除最大堆中最大元 (函數模板) [編輯]
sort_heap	將最大堆變成按升序排序的元素範圍 (函數模板) [編輯]
ranges::is_heap_until (C++20)	查找能成為最大堆的最大子範圍 (演算法函數對象) [編輯]

編譯器支持
自立實現與有宿主實現
語言
標準庫
標準庫標頭
具名要求
功能特性測試宏 (C++20)
語言支持庫
概念庫 (C++20)
診斷庫
內存管理庫
元編程庫 (C++11)
通用工具庫
容器庫
迭代器庫
範圍庫 (C++20)
演算法庫
字元串庫
文本處理庫
數值庫
日期和時間庫
輸入/輸出庫
文件系統庫 (C++17)
並發支持庫 (C++11)
執行控制庫 (C++26)
技術規範
符號索引
外部庫

cppreference.com

名字空間

變換

檢視

動作