6.11.5 断言函数