STL less运算符和"invalid operator <"错误

Question

我有一些代码可以在VS 10.0中编译好但是在下面的Orders地图中插入一些项目后,我在Microsoft调试库中收到"invalid operator <"错误.我的较少运算符很简单,只需将char字符串比较为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所需的排序关系的类型.要成为严格的弱订单,您的less-than运算符必须具有以下四个属性:

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

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

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

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