6.12 使用断言