第七章软件结构的健壮性——断言与防御式编程