比较对象作为const调用

Question

当我尝试运行以下代码，clang（6.0）和g（8）与-std=c 17给我一个static_assert错误：

#include <set>
struct A {};

struct ProcessComparator { inline bool operator()(const A&, const A&) { return true; } };

int main(void)
{
    std::set<A, ProcessComparator> A_Set;

    return EXIT_SUCCESS;
}

八国集团

/usr/bin/.../lib/gcc/x86_64-linux-gnu/8/.../.../.../.../包括/c /8/bits/stl_tree.h： 457:7：错误：static_assert失败，由于要求'is_invocable_v'"比较对象必须作为const调用"

叮当6.0

/usr/include/c /8/bits/stl_tree.h： 457:21：错误：静态断言失败：比较对象必须作为const调用

将html" target="_blank">常量作为运算符（）签名的一部分修复了此问题：

#include <set>

struct A {};

/* Add const as part of the operator's signature */
struct ProcessComparator { inline bool operator()(const A&, const A&) const { return true; } };

int main(void)
{
    std::set<A, ProcessComparator> A_Set;

    return EXIT_SUCCESS;
}

同时，当std=C14时，误差在叮当声和g声中消失。

我的问题是，在C17中是什么改变了这一点，现在给出了一个错误，为什么常数在这里很重要？

const只保证在ProcessCompator类中声明的每个对象都不会被修改（除了那些可变的对象），那么为什么这是一个需求呢？

这是静态断言失败的源代码中的源代码：

#if __cplusplus >= 201103L
      static_assert(__is_invocable<_Compare&, const _Key&, const _Key&>{},
      "comparison object must be invocable with two arguments of key type");
# if __cplusplus >= 201703L
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 2542. Missing const requirements for associative containers
      static_assert(is_invocable_v<const _Compare&, const _Key&, const _Key&>,
      "comparison object must be invocable as const");
# endif // C++17
#endif // C++11

添加了一个新的static_assert，其中比较对象从仅更改_Compare

我根据源代码注释找到了此链接，但我仍然无法理解为什么需要此链接。




Answer 1

这不是一个真正的答案，而是一个说明性的例子：

假设您有一个例程，用于测试集合是否包含特定值：

template <typename T>
bool contains(const std::set<T> &s, const T& value)
{ return s.find(value) != s.end(); }

如果您的比较函子不能作为常量调用，那么它将无法编译，并显示一条可怕的错误消息。（即使在C 11和C 14中）

Answer 2

使运算符常量保持不变（不允许可变状态）：

struct ProcessComparator { inline bool operator()(const A&, const A&) const { return true; } };

如果您跨线程并行运行这个比较器，constness对于安全性是很好的。默认情况下，它还可以防止奇怪的副作用，并允许编译器进行更多优化。如果stdlib允许操作符是非常量的，那么它还应该假设有一些状态正在被修改（非常量），因此访问可能不是线程安全的，或者它可能不会随意复制（并行访问）。

虽然编译器可能可以自己解决这个问题（但只有在内联的情况下），但库会强制执行这一点，以帮助您编写更正确、更惯用的代码。