为什么 stl Compare 函数不是成员？

Question

只是好奇为什么 stl::sort 的比较函数不能是静态成员？

我有一个在标头中声明和定义的小辅助类 foo，但现在我必须创建一个 foo.cpp 文件来实现 cmp()，因此它不是多重定义的。

我还必须考虑一个适当的修饰名称，以便 fooCmp() 不会与任何其他 cmp() 冲突。

因为它无法访问任何成员变量，所以任何需要访问其他值（例如按距 foo.bar 的距离排序）的比较操作都需要复杂的 bind2nd 调用。

Answer 1

我不确定您在抱怨什么：

std::sort(begin,end)        // use operator<
std::sort(begin,end,order)  // Where order is a functor

所以顺序可以是：

• 函数
• 静态成员函数
• 或行为类似于函数的对象。

以下对我有用：

class X
{
    public: static bool diff(X const& lhs,X const& rhs) { return true;}
};

int main()
{
    std::vector<X>   a;

    std::sort(a.begin(),a.end(),&X::diff);
}

但是如果类有一些自然顺序那么为什么不只定义运算符< 为了班级。 这将允许您访问成员，并且对于大多数需要定义排序的标准容器/算法来说表现良好。

class X
{
    public: bool operator<(X const& rhs) const   {  return true;}
};
int main()
{
    std::vector<X>   a;

    std::sort(a.begin(),a.end());
}

Answer 2

如果您关心多重定义的比较函数，请尝试使用静态链接来声明该函数。 那么该函数的范围不会超出找到它的编译单元。

也就是说，您的比较“函数”根本不需要是函数，而可以是函数对象。 函数对象非常类似于函数，但被实现为在常规类中采用适当参数的 operator()。 由于它是一个常规类，因此您可以将构造函数参数传递给该类。

这是一个简单的例子：

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

class comparator {
public:
    bool operator()(int a, int b) {
        return a < b;
    }
};

int main(int, char *[])
{
    vector<int> a;
    a.push_back(1);
    a.push_back(3);
    a.push_back(2);
    sort(a.begin(), a.end(), comparator());
    cout << a << endl;
}

Answer 3

实际上听起来这个功能是
在类中声明，
在标头中定义，但在类外部没有内联链接，

即：

class foo{
public:
   static bool compare(const foo& lhs,const foo& rhs);
   ...
};
bool foo::compare(const foo& lhs,const foo& rhs){
   ...
} 

而不是

class foo{
public:
   static bool compare(const foo& lhs,const foo& rhs);
   ...
};
inline bool foo::compare(const foo& lhs,const foo& rhs){
   ...
} 

第一个将导致该函数在每个编译单元中定义

#includes "foo.h"