当我从std::set或std::map为自定义类型擦除时，例如，info如果我使用https://en.cppreference.com/w/cpp/container/set/erase 中的(3) ，似乎我需要定义一个operator==for info。

但是，如果我有指向要删除的对象的迭代器，那么我相信我不需要operator==并且可以使用链接中的 (2)。但是下面的代码似乎可以编译，所以我很困惑

struct info
{
  info(int i, int j, int k) : i{i}, j{j}, k{k} {}
  int i;
  int j;
  int k;

  // bool operator==(const info&rhs)
  // {
  //   return i == rhs.i && j == rhs.j && k == rhs.k;
  // }
};

struct comparer_t
{
  bool operator()(const info &lhs, const info &rhs) const
  {
    if(lhs.i == rhs.i)
    {
      if(lhs.j == rhs.j)
      {
        return lhs.k < rhs.k;
      }

      return lhs.j < rhs.j;
    }

    return lhs.i < rhs.i;
  }
};

int main()
{
  std::set<info, comparer_t> s;
  s.emplace(1,5,6);
  s.erase(info(1,5,6));
  cout << s.size() << endl;
  // cout << (info(1,5,6) == info(1,5,6)) << endl;
}

这会打印出 的大小s是0。该erase函数如何知道使用 插入的密钥emplace与我们正在搜索的不带的密钥相同operator==？

回答

struct info
{
    int i;
    int j;
    int k;

    auto operator<=>(const info&) const = default;
};

int main()
{
    std::set<info> s;
    s.emplace(1,5,6);
    s.erase({1,5,6});
}

回答