std::indirect_binary_predicate

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
indirect_binary_predicate
(C++20)
常用算法要求
工具
迭代器适配器
流迭代器
迭代器定制点
迭代器操作
(C++11)
(C++11)
范围访问
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
(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&, 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 的关键区别是它被应用到 I1I2 所引用的类型,而非 I1I2 自身。

语义要求

FI1I2 实现 indirect_binary_predicate 仅若其所蕴含的所有概念均得到实现。