先简单介绍一下<assert.h>头文件，该头文件的目的便是提供一个宏assert的定义，即可以在程序必要的地方使用其进行断言处理；断言在程序中的作用是当在调试模式下时，
若程序给出的前提条件没有满足或是没有达到预期预定的条件便会出现断言为假，此时程序会异常终止，调试时会挂在该断言失败处(即结果为false的断言位置)并打印或者显示断言
失败的消息。

　　assert函数实际上是一个宏，glibc和微软的c标准库实现均是如此；如glibc的：
　　　　# define assert(expr) \
　　　　((expr) \
　　　　? __ASSERT_VOID_CAST (0) \
　　　　: __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))

　　可以看到该宏实际上是通过三目运算符，判断表达式expr的真假，执行相应的处理，当为真是执行__ASSERT_VOID_CAST(0),该函数实际上也是一个宏；
即# define __ASSERT_VOID_CAST static_cast<void>，其实际上什么也没有做，此外__assert_fail函数便是用以打印断言失败的消息并终止的函数；该函数参数分别为断言表达式，
当前的文件路径名，当前行号，以及断言函数名；而这些参数通过相应的宏提供。
__assert_fail函数内部调用__assert_fail_base，其提供格式化打印输出，__assert_fail_base内部分配堆空间存储格式化后的信息，并调用__fxprintf以及fflush向stderr
标准输出刷字符串；此后便释放该分配的堆空间，并调用abort终止程序；微软的提供了类似的实现，不过其针对Unicode和多字节提供不同的实现方式，当为Unicode时，其assert宏
失败时调用_assert函数，同样的_assert函数内部调用_set_error_mode来控制设置输出，sprintf格式化错误信息，此后通过GetStdHandle(STD_ERROR_HANDLE)获取到错误输出设备
并调用WriteConsole向该错误输出设备输出字符串信息，此后同样调用abort来终止程序；而当为多字节模式时，便调用_ftprintf以及fflush向stderr标准输出刷字符串；

　　assert函数，其参数为int类型，故只要表达式可计算结果可以转化为int类型的均可。

　　assert断言仅在Debug模式下有效，对于发行Release或者NDEBUG模式下其宏声明类似于# define assert(expr) (__ASSERT_VOID_CAST (0))或者#define assert(ignore) ((void)0)；
即什么也不做，也包括表达式的值也不会计算，这个一定要切记！此处若使用不当可能引入BUG，导致调式和开发模式下程序有不同的表现行为。

　　顺便提一下，abort函数也是C语言标准库stdlib.h中的一员。

　　此外C11中提供了static_assert宏，若编译器支持C11，则建议使用该宏来进行断言处理，此外此后的C语言标准库分析均暂时不针对C11的标准库。

C 标准库系列之assert.h