断言函数