【软件构造】第七章第三节 断言和防御性编程