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&, std::iter_value_t<I1>&, std::iter_value_t<I2>&> &&
std::predicate<F&, std::iter_value_t<I1>&, std::iter_reference_t<I2>> &&
std::predicate<F&, std::iter_reference_t<I1>, std::iter_value_t<I2>&> &&
std::predicate<F&, std::iter_reference_t<I1>, std::iter_reference_t<I2>> &&
std::predicate<F&, std::iter_common_reference_t<I1>, std::iter_common_reference_t<I2>>; |
|
(C++20 起) |
| | |
概念 indirect_binary_predicate
指定调用作为其参数的二元谓词的算法的要求。此概念与 std::predicate 的关键区别是它被应用到 I1
与 I2
所引用的类型,而非 I1
与 I2
自身。
语义要求
F
、 I1
与 I2
实现 indirect_binary_predicate
仅若其所蕴含的所有概念均得到实现。