afxassertfailedline()是一个未正式公布的函数，它的功能就是显示一个消息框。该函数的源代码驻留在afxasert.cpp中。函数中的—file—和—line—语句是处理器标志，它们分别指定了源文件名和当前的行号。
三、verify 宏
因为assertion只能在程序的debug版本中起作用，在表达式中不可以包含赋值语句、增加语句（＋＋）或者是减少语句（－－），因为，这些语句实际改变数据。可有时你可能想要验证一个能动的表达式，使用一个赋值语句。那么就到了用verify宏来替代assert。例如：
void foo(char p, int size )
{
char q;
verify(q = p);
assert((size 〉= 100);
// do the foo calculation
// do the foo calculation
