7.13. 使用内部一致性检查代码

程序应该检查以确保它的调用参数和基本状态假设是有效的。 在C语言中，像 assert(3) 这样的宏可能在这样做时很有帮助。