STL少运算符和“无效运算符”错误

Question

我有一些代码可以在 VS 10.0 中正常编译，但在将一些项目插入下面的订单映射后，我收到“无效运算符 <” Microsoft 调试库中出现错误。我的 less 运算符很简单，只是逐个比较 8 字节字符串。有人知道为什么我会收到此错误吗？

typedef struct MY_orderID_t
{
    char orderID[8];
} MY_orderID_t;

struct std::less<MY_orderID_t>
{ 
   bool operator()(const MY_orderID_t& k1, const MY_orderID_t& k2) const
   {
       for( int i=0; i < 8; i++ )
       {
           if( k1.orderID[i] < k2.orderID[i] )
           return( true );
       }
       return( false );
   }
};

std::map< MY_orderID_t, MY_order_t > Orders[5];

Answer 1

我相信这里的问题是您比较两个 MY_orderID_t 的方法不是 严格弱顺序，C++ STL 所需的排序关系类型。要成为严格的弱顺序，小于运算符必须具有以下四个属性：

1. 无自反性：x < x 始终为假。
2. 反对称：如果 x < y，则 y < x 始终为假。
3. 传递性：如果 x < y 和 y ＜ z，则x＜ z 始终为真。
4. 等价传递性：如果x和y不可比较，并且y和z不可比较，则x和z不可比较。

现在，您的排序不遵守属性 (2) 或 (3)。

*首先，以下内容违反了 (2)：

(0, 4) < (2, 2) 
(2, 2) < (0, 4)

*第二，违反了 (3)，因为

(0, 1) < (2, 0) < (-1, 1)

// but 

(0, 1) < (-1, 1) // Fail

要解决此问题，请不要使用当前的比较，而是使用 词典比较 就像这样：

return std::lexicographical_compare(k1.orderID.begin(), k1.orderID.end(),
                                    k2.orderID.begin(), k2.orderID.end());

这种比较是一种严格的弱排序，默认情况下所有 STL 容器都使用这种排序。切换到此比较遵循属性 (1) - (4)，并且应该使一切正常工作。

希望这有帮助！

Answer 2

@templatetypedef 告诉您当前版本有什么问题。

这是一个更具可读性的修复：

struct MY_orderID_type
{
    char orderID[8];
    bool operator<(const MY_orderID_type& other) const
    { return memcmp(orderID, other.orderID, 8) < 0; }
};

std::map< MY_orderID_type, MY_order_type > Orders;

Answer 3

从纯粹语法的角度来看，@templatetypedef 满足了与 map 一起使用的 std::less 特化的要求：

• 您需要 # include 和

• 您在 char orderID[8]; 和 MY_orderID_t; 之间缺少 }

  下一行的

• 和：

  struct std::less;
  {
       /* ... */
  };
  

  应该是：

  命名空间 std {
  模板>>
  struct less;
  {
      /* ... */
  };
  }
  

Answer 4

除了我目前没有看到的任何其他可能的错误之外，不允许使用此构造：

struct std::less<MY_orderID_t>
{ /**/ }

std::less 已经是一种类型，因此您不能将其重新定义为另一种类型。