7.4.6 什么是断言？应用场景有哪些