6.7 断言操作