作者:绿香源酥脆冬枣 | 来源:互联网 | 2023-05-19 18:59
不知道大家有没有想过这一个弱弱的问题?反正我想过了,并且在一段时间里面百思不得其解。那些成对的运算符,为什么非要成对的进行定义呢?eg:A>B难道不应该等于!(A<B)吗?A
不知道大家有没有想过这一个弱弱的问题?反正我想过了,并且在一段时间里面百思不得其解。
那些成对的运算符,为什么非要成对的进行定义呢?eg:
A>B 难道不应该等于 !(A<=B)吗?A==B难道不应该等于!(A!=B)吗?
也就是说,为什么不能够简单的只定义<、= 两个符号就能够得到其他几个符号的定义呢?
> -> !(< || ==)
>= -> !(<)
<= -> <|| ==
!= -> !(==)
如果觉得要引入||不好,顶多再定义一个<=就够了。也许多了一个非操作,影响效率。但是一个非操作在普通情况下并不会造成多大的性能影响,至少如果我只定义了<和==没有定义>和!=,编译器也应该能够自动产生相应的函数啊。产生一个编译错误是在让人头痛,因为不得不做一些重复性的劳动。
最后我在float.IsNaN函数里面找到答案了:原来判断a是不是NaN的办法是通过 a<0 || a>=0 来得到的,如果这个式子为真,那么就不是NaN,否则就是NaN,真是非常让我感到意外。也就是说,a>=0 并不等价于 !(a<0) ,对于NaN来说,a<0是false,a>=0也应该是false,但是!(a<0)却得到true了,而不是a>=0的false。
不过再怎么说,我还是认为如果我没有成对的定义某些运算符,系统应该尽可能帮我自动生成,然后给出一个警告。比如定义了<、==两个符号,就应该可以得到其他的>、>=、!=、<=了,然后给出一个警告,这样比编译错误要舒服许多,有时候根本不想追求性能,只想尽快完成的时候,就可以偷个小懒了,何况一个“非”运算根本就不是什么大问题,甚至很可能被优化掉。