C++ STL中谓词是如何实现的

Question

我不知道我问题问的对不对，就是 算法头文件里面 有个 count_if 函数 有个参数 就是传 一个 对象 或者 函数 ， 可以根据 所传的 对象 或者函数的 规则 进行搜索
我想知道 是怎么实现的 既可以 放 函数对象 也可以 放函数。

就这里 看不懂 ，

if (_Pred(*_UFirst))

这里 _Pred 是个 模版定义的 类型啊  如果 我们传的 是一个 对象类 那么 我理解是 调用了 对象 重载的括号()运算符 
                                                          如果 传个函数 是怎么 调用的？
这个 * _UFirst  是一个函数 返回的  这个函数 跟进去 我就更看不懂了  一堆自定义的类型 

我想知道 是怎么实现的 既可以 放 函数对象 也可以 放函数。
设计模式 是不是 有这里的知识 啊？

Answer 1

_First, _Last， _UFirst, _ULast都是迭代器
这是函数模板，具体的参数类型根据传入参数类型来确定。比如，如果第三个参数传入的是函数名，那么_Pred就是指向这个函数的函数指针；如果第三个参数传入的是函数对象，那么_Pred就是函数对象。不管是函数指针，还是函数对象，它们都必须满足这样一个concept：即表达式_Pred(x)合法，x的类型是_UFirst所指的元素类型，返回值能自动转换为bool类型。否则的话编译就会报错。