Namespaces
Variants

std:: indirect_binary_predicate

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
(C++20)
indirect_binary_predicate
(C++20)
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
ヘッダーで定義 <iterator>
template < class F, class I1, class I2 >

concept indirect_binary_predicate =
std:: indirectly_readable < I1 > &&
std:: indirectly_readable < I2 > &&
std:: copy_constructible < F > &&
std:: predicate < F & , /*indirect-value-t*/ < I1 > , /*indirect-value-t*/ < I2 >> &&
std:: predicate < F & , /*indirect-value-t*/ < I1 > , std:: iter_reference_t < I2 >> &&
std:: predicate < F & , std:: iter_reference_t < I1 > , /*indirect-value-t*/ < I2 >> &&

std:: predicate < F & , std:: iter_reference_t < I1 > , std:: iter_reference_t < I2 >> ;
(C++20以降)

indirect_binary_predicate コンセプトは、引数として二項述語を呼び出すアルゴリズムの要件を規定します。このコンセプトと std::predicate の主な違いは、 I1 と I2 自体ではなく、 I1 と I2 が参照する型に適用される点です。

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
P2609R3 C++20 一部の要件が std:: iter_value_t < I > &
の観点で定義されており、射影を誤って扱い、述語との非互換性が生じていた F & 		/*indirect-value-t*/ < I >
の観点で定義し、そのような射影を正しく扱う
P2997R1 C++20 indirect_binary_predicate が F & に predicate を満たすことを要求していた
std:: iter_common_reference_t < I > 		要求しない