Last Updated on 2022年9月30日

惭愧，突然发现又是没有blog的一年。这一年不断在尝试搞大新闻，写点大东西，到现在也没憋出来。倒是又在学习新东西的过程中看到了一些零碎的小知识，很有意思.

很巧，这个也是和比较运算符相关的,和一年前的blog竟然有所重合。

还是先上结论: 当需要为类型T定义比较运算符时,所有运算符最好保证语义整体一致
* 一般来说,这很容易达到,我们只需要实现operator<(lhs,rhs),即可引申定义出其余几个比较运算符.
* 定义operator<=为 !(rhs < lhs)
* 定义operator>为 rhs < lhs
* 定义operator>=为 !(lhs < rhs)
* 定义operator= 为!(lhr < rhs) && !(rhs < 1hs)
* 定义operator!= 为 lhs < rhs || rhs < lhs

问题背景: array={x,y}排序后, array[0]==Min(x,y) 一定成立吗

答案: 不一定. 当类型的比较运算符语义整体不一致时,就有可能触发这种问题.

例如 对于下面的代码

template <class T>
T* SortSwap(T* arr){
  if ( arr[1] < arr[0]) swap(arr[0],arr[1]);
  return arr;
}
T & Min(T&lhs,T&rhs){
    return (rhs < lhs)?rhs,lhs;
}

如果T 是一种 a<b, a>b, a==b 三者可同时为 False 的类型, 那么 SortSwap({x,y})[0] == Min(x,y) 将会是False

另外, 如果 Min的实现为return (lhs<rhs)?lhs:rhs , 那么上述的问题又解决了, 也就是说, 使用特殊的实现可以规避问题.

背后的原理可以参考
Notes on Programming