为什么“operator>”需要 const 而“operator<”则不需要？

考虑这段代码：

#include <iostream>
#include <vector>
#include <algorithm>
#include <functional>
using namespace std;

struct MyStruct
{
    int key;
    std::string stringValue;

    MyStruct(int k, const std::string& s) : key(k), stringValue(s) {}

    bool operator < (const MyStruct& other) {
        return (key < other.key);
    }
};

int main() {
    std::vector < MyStruct > vec;

    vec.push_back(MyStruct(2, "is"));
    vec.push_back(MyStruct(1, "this"));
    vec.push_back(MyStruct(4, "test"));
    vec.push_back(MyStruct(3, "a"));

    std::sort(vec.begin(), vec.end());

    for (const MyStruct& a : vec) {
        cout << a.key << ": " << a.stringValue << endl;
    }
}

它编译得很好并给出了人们期望的输出。但是如果我尝试按降序对结构进行排序：

#include <iostream>
#include <vector>
#include <algorithm>
#include <functional>
using namespace std;

struct MyStruct
{
    int key;
    std::string stringValue;

    MyStruct(int k, const std::string& s) : key(k), stringValue(s) {}

    bool operator > (const MyStruct& other) {
        return (key > other.key);
    }
};


int main() {
    std::vector < MyStruct > vec;

    vec.push_back(MyStruct(2, "is"));
    vec.push_back(MyStruct(1, "this"));
    vec.push_back(MyStruct(4, "test"));
    vec.push_back(MyStruct(3, "a"));

    std::sort(vec.begin(), vec.end(), greater<MyStruct>());

    for (const MyStruct& a : vec) {
        cout << a.key << ": " << a.stringValue << endl;
    }
}

这给了我一个错误。这是完整的消息 https://bitbucket.org/snippets/Rockstar5645/Le4A48:

/usr/include/c++/7.2.0/bits/stl_function.h：在 'constexpr bool std::greater<_tp>::operator()(const _Tp&, const _Tp&) const [with _Tp = MyStruct]' 的实例化中:
/usr/include/c++/7.2.0/bits/stl_function.h:376:20：错误：与“operator>”不匹配（操作数类型为“const MyStruct”和“const MyStruct”）
{ 返回 __x > __y; }

似乎是因为这里的这个函数没有const预选赛：

bool operator > (const MyStruct& other) {
        return (key > other.key);
}

如果我加上的话

bool operator > (const MyStruct& other) const {
        return (key > other.key);
}

然后一切就又好了。为什么会这样呢？我对运算符重载不太熟悉，所以我只是将其放入内存中，我们需要添加const但它为什么有效仍然很奇怪operator<没有const.

你会得到不同的行为，因为你实际上调用了两个不同的（重载的）sort http://en.cppreference.com/w/cpp/algorithm/sort功能。

在第一种情况下，您调用两个参数std::sort，它使用operator<直接地。由于向量元素的迭代器会产生非常量引用，因此它可以应用operator<正好。

在第二种情况下，您使用的是三参数版本std::sort。接受函子的那个。你过关了std::greater。这个函子有一个operator()声明如下：

constexpr bool operator()( const T& lhs, const T& rhs ) const;

请注意 const 引用。它绑定需要与 const 引用进行比较的元素。所以你自己的operator>也必须是 const 正确的。

如果你打电话std::sort with std::less http://en.cppreference.com/w/cpp/utility/functional/less, your operator<会产生相同的错误，因为它不是常量正确的。