assert断言函数