9.2 用断言替换分支