严格弱序再理解

严格弱序

是二元谓词bool = f(x,y)的特性。

如果对于f(x,y),总是有以下三个条件满足：
1）非自反性
f(x,x) == false
2) 非对称性
f(x,y) == !f(y,x)
3) 传递性
若f(x,y)==true , f(y,z)==true； 则f(x,z)==true
我们称f(x,y)这个谓词是严格弱序的。

我们考察C++的操作符 < 。这个操作符有左右两个操作数，可以认为是一个二元谓词。

1<1 == false
1<2 == !(2<1)
若1<2, 2<3;则1<3

可见，<是严格弱序的

我们再考察C++的操作符 <= 。

1<=1  ==  true  违反性质1
1<=2  ==  2<=1  违反性质2

可见，<= 不是严格弱序的

考察 大于运算符>，它是严格弱序的。

严格弱序的用途：
若 f(x,y)==true， 则x在y的"前面"
若 f(y,x)==true， 则x在y的"后面"
若 !f(x,y) && !f(y,x), 则x,y等价。或者x，y并列。
若 !f(x,y)==true, 则x在y的"后面"或者x，y并列。
若 !f(y,x)==true, 则x在y的"前面"或者x，y并列。
一个f(x,y)谓词能表达所有可能的前后关系计算方法。

STL容器和算法（例如map容器的key，sort算法的比较器。），需要用到比较器时，是假设了比较器是满足严格弱序的。
如果违反，则行为未定义（程序crash，破坏行为）。

int a[]={1,6,8,2,3,3,9,3,4,8,7,5,9};
std::sort(a,a+13,std::less_equal<int>());

在VSdebug模式下，报错。原因是std::less_equal<int>()违反严格弱序