在函数 或 代码 前后 判断参数 或 变量的合法性
方法:使用断言 assert
作用:用来检查一些必须符合的条件,捕捉 “不应该” 发生的非法情况,如果不符合条件,则不让程序继续运行下去。
使用时间 & 位置:
前置条件断言:代码执行之前 或 在函数的入口处,使用断言检查 参数 的合法性。
断言执行:表示调用者出错了
后置条件断言:代码执行之后 或 在函数的出口处,使用断言检查 参数 是否正确执行
断言执行:表示代码执行完后,参数的值 出现了 不可能出现的值
前后不变断言:代码执行前后 或 在函数的入出口处,使用断言检查参数是否发生变[......]