不能使用 lambda 作为 unordered_set 对的散列？

Question

我试图在unsigned int pair上定义一个unordered_set类型：

typedef std::pair<unsigned int, unsigned int> Loc;
auto HashLoc = [](const Loc &l) {
  return l.first << 16 ^ l.second;
};
typedef std::unordered_set<Loc, decltype(HashLoc)> LocSet;

这是基于使用 lambda 创建 unordered_set的公认答案。

当我尝试实际声明该类型的对象时， error: call to implicitly-deleted default constructor of 'LocSet'错误， error: call to implicitly-deleted default constructor of 'LocSet' 。 根据编译器提供的额外细节，它似乎正在尝试为 lambda 调用已删除的默认构造函数。

有趣的是，上面链接的答案表明 VS2013 就是这样做的，这是一个错误，但 gcc 和 clang 应该可以工作。 但是，我正在使用 clang（版本 8.0.1）。 这是预期的行为，如果是，那么做我想做的事情的正确方法是什么？

Answer 1

您需要使用 C++20 模式进行编译，即使用选项-std=c++2a 。

在 C++20 之前， lambda闭包类型没有默认构造函数。

闭包类型不是 DefaultConstructible。 闭包类型没有默认构造函数（直到 C++20）

如果未指定捕获，则闭包类型具有默认的默认构造函数。 （C++20 起）