填空题 断言比较好的用法是内在不变式、控制流不变式、后置条件和 1。