7.3 断言处理