std :: search的C++二进制谓词实现要求

Question

在这个网站上,它声明传递给二进制谓词的一个约束std::search是:

Type1和Type2类型必须使得ForwardIt1和ForwardIt2类型的对象可以被解除引用,然后隐式转换为Type1和Type2.

但是,在C++国际标准文档中,我看不到对这种约束的引用.我想知道这个约束是否在C++国际标准文档中明确说明了它所属的部分.另外,如果不是那么为什么这个约束放在std::search函数上,因为不可能有两个不同的类型,虽然不可隐式转换,但是定义了相等的运算符重载？

Answer 1

这是网站上的一个错误.

该参数描述将从此模板中填充.它不二进制谓词只能称为区分pred(*first1, *first2)从那些被称为既pred(*first1, *first2)和pred(*first2, *first1)

进一步挖掘:看起来这个编辑为父模板的使用添加了一个命名参数cast req2,它控制它是"分别"还是"分别".该eq变体没有这个新参数的直通.我没有编辑权限可以将其添加到模板和条目中std::search