如何将谓词作为函数参数传递

Question

我有一个类 CMyVector ，它保存指向 CMyClass 对象的指针向量，并且我有几个“查找”函数来根据不同的标准查找元素。例如，我有：

CMyClass* CMyVector::FindByX(int X);
CMyClass* CMyVector::FindByString(const CString& str);
CMyClass* CMyVector::FindBySomeOtherClass(CSomeOtherClass* ptr);
// Other find functions...

首先，它们被实现为循环，遍历向量，寻找与 X、str、ptr 或其他内容匹配的元素。所以我创建了谓词，就像这样：

class IsSameX:public unary_function<CMyClass*, bool>
{
    int num;
public:
    IsSameX(int n):num(n){}
    bool operator()(CMyClass* obj) const 
    { 
        return (obj != NULL && (obj->X() == num)); 
    }
};

最后以一堆函数结束，它们看起来都像这样：

CMyClass* CMyVector::FindByX( int x )
{
    CMyVector::iterator it = find_if(vec.begin(), vec.end(), IsSameX(x));
    if (it != vec.end())
    {
        return *it;
    }
    return NULL;
}

除了被调用的谓词之外，它们看起来都一样，所以我考虑简化更多，并创建了一个功能如下：

CMyClass* CMyVector::Find( ThisIsWhatIDontKnow Predicate)
{
    CMyVector::iterator it = find_if(vec.begin(), vec.end(), Predicate);
    if (it != vec.end())
    {
        return *it;
    }
    return NULL;
}

并执行：

CMyClass* CMyVector::FindByX( int x )
{
    return Find(IsSameX(x));
}

等等。

所以我的问题是：我应该如何声明我的 Find 函数以便我可以将谓词传递给它？我尝试了多种方法，但到目前为止还没有运气。

Answer 1

使用模板接受您需要的任何类型

template<typename UnaryPredicate>
CMyClass* CMyVector::Find(UnaryPredicate Predicate)
{
    CMyVector::iterator it = find_if(vec.begin(), vec.end(), Predicate);
    if (it != vec.end())
    {
        return *it;
    }
    return NULL;
}

您也可以始终使用 std::function (c++11)

CMyClass* CMyVector::Find(std::function<bool(const (CMYClass*)&)> Predicate)
{
    CMyVector::iterator it = find_if(vec.begin(), vec.end(), Predicate);
    if (it != vec.end())
    {
        return *it;
    }
    return NULL;
}

就我个人而言，我更喜欢第一个，因为编译器可能更容易优化，因为间接性较少。如果调用是唯一的，它可能会被内联。

编辑：还值得注意的是，如果使用模板化选项，则必须在头文件中提供实现，这可能会很痛苦。而 std::function 可以与所有其他实现一起存在于源 (.cpp) 文件中。