我一直以为assert仅仅是个报错函数，事实上，它居然是个宏，并且作用并非"报错"。在经过对其进行一定了解之后，发现assert()的用法像是一种"契约式编程"，在我的理解中，其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于一个if语句：if(假设成立){程序正常运行；}else{报错&&终止程序！（避免由程序运行引起更大的错误）}但是这样写的话，就会有无数个if语句，甚至会出现，一个if语句的括号从文件头到文件尾，并且大多数情况下，我们要进行验证的假设，只是属于偶然性事件，又或者我们仅仅想测试一下，一些最坏情况是否发生，所以这里有了assert()。assert宏的原
