我可以使用什么作为 std::map 键？

Question

扩展。

我有：

struct Coord
{
  int row, col ;

  bool operator<( const Coord& other ) const
  {
    return row < other.row && col < other.col ;
  }
} ;

我正在尝试创建一个 map，您可以在其中通过 Coord 查找 Node* 。

问题是，它有错误。通过 Coord 对 map 的查找返回错误的结果。

我很难确定这是否合适。

维基百科说，map [keys] 需要严格的弱排序。我做错了吗？有没有办法让它工作，或者地图的键应该是可以“严格排序”的简单值？

基本上问题是自定义 struct 需要什么才能作为我的 std::map 的键？

Answer 1

是的，您很可能会遇到严格弱排序的问题。很可能它没有像你期望的那样工作。考虑：

  bool operator<( const Coord& other ) const
  {
    return row < other.row && col < other.col ;
  }

obj1 (this)
行：2
列：3

​​obj2
行：3
列：2

obj1 <对象2？ => false

好吧 那么：

obj2 <对象1？ => false

唯一的结论是它们必须相等（基于您的 < 运算符）。由于这是一张地图，并且键是唯一的，因此两个键都对应于同一位置。这种行为可能是也可能不是您所期望的，但听起来可能不是。

您需要的是在行/列之间设置优先级，以便 <确实如您所期望的那样工作：

  bool operator<( const Coord& other ) const
  {
     // look at row first, if row is equal, check column.
     if (row < other.row)
     {
         return true;
     }
     else if (row == other.row)
     {
         return col < other.col ;
     }
     return false;
  }

Answer 2

您可能想要：

 bool operator<( const Coord& other ) const
  {
    if ( row < other.row ) {
       return true;
    }
    else if ( row == other.row ) {
       return col < other.col;
    }
    else {
       return false ;
    }
  }

反之亦然。这个也咬过我好几次了！

Answer 3

试试这个：

struct Coord
{
  int row, col ;

  bool operator<( const Coord& other ) const
  {
    if (row != other.row)
      return row < other.row;

    return col < other.col ;
  }
} ;

Answer 4

bool operator<(const Coord& other) const
{
    return row < other.row
        || row ==other.row
        && col < other.col;
}

Answer 5

对于要对对象的值集施加严格弱排序的比较函数，条件之一是等价必须是传递的。 a 和 b 被认为是等价的，如果（在 C++ 语法中） !(a < b) && !(b < a) 为真。

您的 operator< 未满足此要求。考虑 a = { 1, 3 }，b = { 3, 2 }，c = { 2, 1 }。在这种情况下，a < 都不是。 b，b＜ a 都为真，并且 a < 都不是c，c＜ a 为真。这意味着a和b是等价的并且a和c是等价的，但是显然c＜1。 b 所以 b 和 c 不等价，从而表明等价不具有传递性。这就是为什么您的操作员<不适合将 Coord 用作 std::map 中的键。