《白话C++》第10章 Page37 10.2.8 比较操作自动推导

一道智力题，如果只能用“小于”比较两个对象，那么如何判断比较两个对象是否相等呢？答案是：

//相当于if(a==b),但性能差一点点
if(!(a < b) && !(b < a))
{
    ...
}

事实上，只要两个对象可以使用“<”进行比较，

并且满足必要的数学定理（比如：若a < b, b < c, 则 a < c 必须成立），那么就可以实现对这两对象做“相等==”判断，“不等 !=”，“大于判断>”，“大于或等于判断>=”和“小于或等于判断<=”。

为类定义对象之间的大小关系判断是很常见的需求，STL为了减少自己写一整套大小关系判断操作符的重载，提供了一套“比较操作自动推导”工具。

不过正如前面代码注释，使用“<”推出“==”判断，会造成后者性能有所损失（因为变成两次判断），所以STL要求的是为类提供“<”和“==”判断符重载即可，其他的由它来推导出。

这套小工具位于头文件“<utility>”中，并且各类符号被定义在std的子一级名字空间“rel_ops”内。

 

将041行的代码取消注释，原先不存在的4个关系判断符，就会被找到。

请注意：

（1）023行和028行，两个函数声明为“常量成员函数”是必须的，因为参与做大小比较的左右两个对象，往往是常量；

（2）牢记“就近定义原则”，在需要比较的时候，再引入std::rel_ops空间，如代码041行示意；

（3）例中为S类重载的两个基本比较符采用“常量成员函数”版本，另一种做法也可以将其重载为自由函数（通常需要声明为S的友元）。

【课堂作业】：手工完成比较操作的推导

请填写表10-1。

表10-1 关系比较符推导表（作业）

比较操作符	推导式	说明
<	a<b	原生代码提供
==	!(a < b) && !(b < a)	a不小于b，b也不小于a，所以a等于b
<=	?	?
>	?	?
>=	?	?
!=	?	?