在学习cpp的时候一开始学语法并没有看到有关断言的介绍,在学习sql的时候倒是一开始就很强调断言在程序中的重要性。
断言通常是一个用于评估真假的表达式.如果表达式评估为假,则断言失败。
在每个成员函数中包含一个断言太不方便了,可以在类里买您包含一些恒为真的条件,无论对象调用任何成员函数,这些条件都必须为真。这样的条件称为类不变式。
C和Cpp的编译器都支持assert宏,该宏接受一个表达式,而且必须判断表达式的真假。倘若表达式判断为真,则继续执行,倘若接受表达式为假,则程序停止,并表示错误信息表明断言失败,消息中包含文件名,违规的语句源代码行号。
还有两个概念:前置条件和后置条件。
前置条件:执行代码前的条件,即在操作开始被调用之前必须为真的条件
后置条件:成员函数成功地执行完毕,它将生成一个满足某些条件的结果,这样的条件被称为后置条件
assert宏在此处可以派上用场,可以简单的定义一对宏PRE_CONDITION和POST_CONDITION,它们使用assert宏。
#define PRE_CONDITION(condition) assert(condition)
#define POST_CONDITION(condition) assert(condition)
如果需要可以在这些宏中添加消息,当断言失败时打印消息。
#define PRE_CONDITION(message,condition) assert((message,(condition))
#define POST_CONDITION(message,condition) assert((message,(condition))
当断言失败,希望打印失败消息时,可以在代码中添加
PRE_CONDITION("Laser disc tray is not closed",(_trayStatus==eClosed));
在真正使用时,处理异常可以用适当的throw替换assert宏。