OOP学习笔记三C++中类不变式和断言

在学习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宏。