计 算 断言与程序不变量 机 程 序·断言与不变量的含义 设 计 断言:程序中存在某些特定位置,在该处某些判 基 断永真,该判断式即为断言 础 不变量:无论程序如何执行,断言的值都应保持 不变(具有恒定属性 断言与不变量的意义 若断言值未保持,说明程序必然发生了错误 断言在编程时非常重要,一个优秀程序员的第 行C代码应该从断言开始书写! 清华大学计算中心 http://learn.tsinghua.edu.cn 11清华大学计算中心 http://learn.tsinghua.edu.cn 11 计 算 机 程 序 设 计 基 础 断言与程序不变量 • 断言与不变量的含义 – 断言：程序中存在某些特定位置，在该处某些判 断永真，该判断式即为断言 – 不变量：无论程序如何执行，断言的值都应保持 不变（具有恒定属性） • 断言与不变量的意义 – 若断言值未保持，说明程序必然发生了错误 – 断言在编程时非常重要，一个优秀程序员的第一 行 C 代码应该从断言开始书写！