MSVC: C++14: std:set: 比较函数：为什么需要 "const"？

Question

示例代码：

#include <string>
#include <set>

using namespace std;

class x
{
private:
  int i;
public:
  int get_i() const { return i; }
};

struct x_cmp
{
    bool operator()(x const & m1, x const & m2)
#if _MSC_VER
    const
#endif
    {
        return m1.get_i() > m2.get_i();
    }
};

std::set<x, x_cmp> members;

void add_member(x const & member)
{
    members.insert(member);
}

调用：

$ g++ -c -std=c++14 -pedantic -Wall -Wextra
<nothing>
$ clang++ -c -std=c++14 -pedantic -Wall -Wextra
<nothing>
$ icc -c -std=c++14 -pedantic -Wall -Wextra
<nothing>
$ cl /c /std:c++14 /Za
<nothing>

问题：为什么 msvc 需要 const 而其他人不需要？或者为什么其他人不需要 const?

Answer 1

这是LWG2542。在 C++14 中，比较运算符的措辞是“可能是 const”，GCC 和 Clang 将其解释为意味着比较运算符不需要 const 限定。 MSVC 总是需要它。

这是一个措辞缺陷，因为关联容器的比较运算符应该 const 合格。这在 C++17 中被更改为要求比较器为 const。这是一个重大更改，因此有效（尽管已损坏）C++14 代码可能无法在 C++17 中编译。

MSVC: C++14: std:set: 比较函数：为什么需要 "const"？

MSVC: C++14: std:set: comparison function: why "const" is required?

c++

visual-c++

c++14

const-correctness

stdset