断言的作用c语言