operator < 号的探究

在排序操作和stl 数据容器的insert操作中，大多用到了元素的operator <操作。

在书写operator < 操作，需要注意该操作不具备自反性（ R是A上的关系，x(xA→<x,x>R)）  对称性（R是A上的关系,若 xy(x,yA∧<x,y>R→(y,x)R)），反对称性（若 xy(x,yA∧<x,y>R∧(y,x)R→x=y)）， 但具备反自反性，和传递性。

 

 

于是下面的一段代码是正确的

 

 

bool operator<(const X& p) const

{

if ( a < p.a )

return true;

else if ( a > p.a )

return false;

 

else if ( b < p.b )

return true;

else if ( b > p.b )

return false;

 

return false;

}

 

 

但下面的是错误的

 

 

 

bool operator<(const X& p) const

{

if ( a < p.a )

return true;

else if ( b < p.b )

return true;

 

return false;

}

 

 

 

对于x(a=5, b=4)   y(4, 5)   有   y<x    x<y。

 

 

对于使用list的插入排序，这个比较操作一定是出问题的。

但对于map，在测试程序中还未出现错误，可能和map使用的二叉平衡树有关，测试用例未覆盖到。