assert()函数