《代码阅读方法与实践》摘录（二）

对控制结构的分析方法：a.每次只分析一个控制结构，将它的内容看作是一个黑盒。b.将每个控制结构的控制表达式看作是它所包含代码的断言。c.对于循环结构，要找出循环变式和不变式，判断循环是否能正确终止。

使用全局或static局部变量的函数大多数情况都不可重入，即这个函数的一个实例正在运行时，那么程序中其他执行线程就不能再调用它。