C++ 命名要求： BinaryPredicate

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 命名要求

基本 DefaultConstructible（可預設構造） MoveConstructible（可移動構造） (C++11) CopyConstructible（可複製構造） CopyAssignable（可複製賦值） MoveAssignable（可移動賦值） (C++11) Destructible（可析構） 型別屬性 ScalarType（標量型別） PODType（POD型別） TriviallyCopyable（可平凡複製） (C++11) TrivialType（平凡型別） (C++11) StandardLayoutType（標準佈局型別） (C++11)   ImplicitLifetimeType（隱式生命週期型別） 全庫範圍 BooleanTestable（可布林測試） EqualityComparable（可相等比較） LessThanComparable（可小於比較） Swappable（可交換） ValueSwappable（值可交換） (C++11) NullablePointer（可空指標） (C++11) Hash（雜湊） (C++11) Allocator（分配器） FunctionObject（函式物件） Callable（可呼叫物件） Predicate（謂詞） BinaryPredicate（二元謂詞） Compare（比較器）

Container（容器） Container（容器） ReversibleContainer（可逆容器） AllocatorAwareContainer（分配器感知容器） SequenceContainer（序列容器） ContiguousContainer（連續容器） (C++17) AssociativeContainer（關聯容器） UnorderedAssociativeContainer（無序關聯容器） (C++11)   容器元素 DefaultInsertable（可預設插入） (C++11) CopyInsertable（可複製插入） (C++11) MoveInsertable（可移動插入） (C++11) EmplaceConstructible（可就地構造） (C++11) Erasable（可擦除） (C++11) 迭代器 (Iterator) LegacyIterator（傳統迭代器） LegacyInputIterator（傳統輸入迭代器） LegacyOutputIterator（傳統輸出迭代器） LegacyForwardIterator（傳統前向迭代器） LegacyBidirectionalIterator（傳統雙向迭代器） LegacyRandomAccessIterator（傳統隨機訪問迭代器） LegacyContiguousIterator（傳統連續迭代器） (C++17) ConstexprIterator（常量表達式迭代器） (C++20) 流 I/O FormattedInputFunction（格式化輸入函式） UnformattedInputFunction（非格式化輸入函式） FormattedOutputFunction（格式化輸出函式） UnformattedOutputFunction（非格式化輸出函式） 格式化器 BasicFormatter（基本格式化器） (C++20) Formatter（格式化器） (C++20)

隨機數 SeedSequence（種子序列） (C++11) RandomNumberEngine（隨機數引擎） (C++11) RandomNumberDistribution（隨機數分佈） (C++11) UniformRandomBitGenerator（均勻隨機位元生成器） (C++11) RandomNumberEngineAdaptor（隨機數引擎介面卡） (C++11) 併發 BasicLockable（基本可鎖定） (C++11) Lockable（可鎖定） (C++11) TimedLockable（定時可鎖定） (C++11) SharedLockable（共享可鎖定） (C++14) SharedTimedLockable（共享定時可鎖定） (C++14) Mutex（互斥量） (C++11) TimedMutex（定時互斥量） (C++11) SharedMutex（共享互斥量） (C++17) SharedTimedMutex（共享定時互斥量） (C++14) Ranges（範圍） RangeAdaptorObject（範圍介面卡物件） (C++20) RangeAdaptorClosureObject（範圍介面卡閉包物件） (C++20) 多維檢視 LayoutMapping（佈局對映） (C++23) LayoutMappingPolicy（佈局對映策略） (C++23) AccessorPolicy（訪問器策略） (C++23) 其他 CharTraits（字元特性） RegexTraits（正則表示式特性） (C++11)   BitmaskType（位掩碼型別） LiteralType（字面量型別） (C++11) NumericType（數值型別） UnaryTypeTrait（一元型別特性） (C++11) BinaryTypeTrait（二元型別特性） (C++11) TransformationTrait（轉換特性） (C++11) Clock（時鐘） (C++11) TrivialClock（平凡時鐘） (C++11)

 

BinaryPredicate 是一組標準庫設施對使用者提供的引數所期望的要求。

給定一個 BinaryPredicate bin_pred 和一對迭代器 iter1 和 iter2，或者一個迭代器 iter 和一個（可能是 const）值 value，表示式 bin_pred(*iter1, *iter2) 或，相應地，bin_pred(*iter, value) 的型別和值類別必須滿足 BooleanTestable 要求。

此外，該表示式的求值不允許呼叫解引用迭代器的非 const 成員函式；語法上，謂詞必須接受 const 物件引數，並且無論其引數是 const 還是非 const，其行為都相同。

要求

• Predicate（謂詞）
• 可複製構造 (CopyConstructible)（除非另有說明）

標準庫

以下標準庫設施期望一個不是 Compare 型別的 BinaryPredicate。

unique	移除連續的重複元素 (std::forward_list<T,Allocator> 的 public 成員函式)
unique	移除連續的重複元素 (std::list<T,Allocator> 的 public 成員函式)
find_end	在特定範圍中尋找最後一次出現的元素序列 (函式模板)
find_first_of	搜尋一組元素中的任何一個 (函式模板)
adjacent_find	尋找第一對相等的（或滿足給定謂詞的）相鄰項 (函式模板)
mismatch	尋找兩個範圍開始不同的第一個位置 (函式模板)
equal	判斷兩組元素是否相同 (函式模板)
is_permutation (C++11)	確定一個序列是否是另一個序列的排列 (函式模板)
search	搜尋一個範圍的元素首次出現的位置 (函式模板)
search_n	在一個範圍內搜尋一個元素的連續 N 次副本首次出現的位置 (函式模板)
unique	移除一個範圍中的連續重複元素 (函式模板)
unique_copy	建立一個不含連續重複元素的某個元素範圍的副本 (函式模板)
not2 (C++17 中已棄用)(C++20 中已移除)	構造自定義的 std::binary_negate 物件 (函式模板)
unordered_set (C++11)	由鍵雜湊的唯一鍵集合 (類模板)
unordered_map (C++11)	鍵值對的集合，按鍵雜湊，鍵是唯一的 (類模板)
unordered_multiset (C++11)	鍵的集合，按鍵雜湊 (類模板)
unordered_multimap (C++11)	鍵值對集合，按鍵雜湊 (類模板)

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 2114 (P2167R3)	C++98	返回型別到 bool 的可轉換性太弱 無法反映實現的預期	要求已加強
LWG 3031	C++98	對 const 值的要求不足	要求已加強