使用De Morgan法则来理解代码--转

非功能性的代码决定了代码的质量。 

使用De Morgan法则来理解代码

分类： C++ 2011-08-12 14:16  53人阅读  评论(0)  收藏  举报

今天在看代码阅读方法与实践，看到用摩根法则来分析代码，挺有意思的，网上搜了下

-----------------------------------------------------------------------------------------------------------------------

De Morgan法则：

1. !(x && y) → !x || !y    
2. !(x || y) → !x && !y    

这有什么用呢？

举个例子，我们来看看这个求三位数中最小值的代码：

1. if (x < y && x < z)    
2.     min = x;    
3. else if (y < z)    
4.     min = y;    
5. else    
6.     min = z;    

很多初学者（包括以前的我）对上面的逻辑感到难以理解，总是感觉似是而非。

我们现在利用De Morgan法则来看看，

第一条if，判断x < y && x < z，如果是真则最小值是x，这很好理解，关键是下面执行到else if (y < z)的条件是什么呢？自然是

1. !(x < y && x < z)   →  x>=y || x >=z  

所以如果运行到此步，就说明x一定比y,z这两个数的其中一个大，所以一定不是最小值，排除掉，接下来只要再判断y和z的大小就行了。