c++ - STL 谓词是否需要是纯谓词？

Question

“纯”谓词是指它们仅依赖于它们的参数。因此，以下函数对象是否是用于 std::sort

的有效谓词

// A predicate for sorting objects of type T2 that relies on an 
// object of type T1.
class APredicate {
    T1 &someObj;
    APredicate(T1 &someObject) : someObj(someObject) {};

    bool operator() (T2 thing1, T2 thing2) {
        return someObj.someFn(thing1) < someobj.someFn(thing2);
    }
}

这是否有效？永远有效？还是取决于 someObj.SomeFn() 的实际作用？

Answer 1

“只取决于他们的参数”实际上意味着“如果用相同的参数再次调用，必须返回与以前相同的结果”。如果您的(特定实例)someObj不会改变从 someObj::someFn 返回什么的想法对于 T2 的特定实例它是“纯粹的”。

只要条件在谓词的特定实例的生命周期内成立(STL 通过值 获取谓词，因此每个集合或操作都有自己的实例)，它就是正确的(显然它有以满足特定集合或算法的任何其他要求)。