assert宏，它的参数是一个表达式，如果该表达式为0，就使程序终止执行，并给出一条适当的出错信息。把assert作为宏来处理，这样就使得我们可以在出错信息中包含文件名和断言失败处的行号。也就是说，
assert(x > y);
在x大于y时什么也不做，在其他情况下则会终止程序。
第一次尝试：
#define assert(e) if (!e) assert_error(__FILE__, __LINE__)
因为考虑到宏assert的使用人员会加上一个分号，所以在宏定义中并没有包括分号。
__FILE__和__LINE__是内建于C语言处理器中的宏，它们会扩展为所在文件的文件名和所处代码行的行号。
if (x > 0 && y > 0)
assert(x > y);
else
assert(y > x);
上面例子的展开形式：
if (x > 0 && y > 0)
if (!(x > y)) assert_error("foo.c", 37);
else
if (!(y > x)) assert_error("foo.c", 39);
将上面的代码做适当的缩排处理，我们就能够看清它实际的流程结构与我们期望的结构有怎样的区别：
if (x > 0 && y > 0)
if (!(x > y))
assert_error("foo.c", 37);
else
if (!(y > x))
assert_error("foo.c", 39);
在宏assert的定义中用大括号把宏整个给括起来，就能避免这样的问题产生：
#define assert(e) \
{
if (!e) assert_error(__FILE__, __LINE__);
}
这个又带来了新的问题：
if (x > 0 && y > 0)
{
if (!(x > y)) assert_error(__FILE__, __LINE__);
};
else
{
if (!(x > y)) assert_error(__FILE__, __LINE__);
};
在else之前的分号是一个语法错误。要解决这个问题，一个办法是对assert的调用在后面不再跟
一个分号，但这样的用法显得有些“怪异”:
y = distance(p, q);
assert(y > 0)
x = sqrt(y);
这个定义看起来像一个表达式，不是类似于一个语句
#define assert(e) \
((void)((e) || _assert_error(__FILE__, __LINE__)))
这个定义实际上利用了||运算符对两侧的操作数依次顺序求值的性质。如果e为true（真），表达式
(void)((e) || _assert_error(__FILE__, __LINE__))
的值没有求出其右侧表达式
_assert_error(__FILE__, __LINE__)
的值的情况下就可以确定最终的结果为真。如果e为false（假），右侧表达式
_assert_error(__FILE__, __LINE__)
的值必须求出，此时_assert_error将被调用，并打印出一条恰当的“断言失败”的出错消息。