ASSERT()是MFC库中的断言，用法是ASSERT(布尔表达式）.

ASSERT宏用于确保参数内的表达式正确,如果表达式为false,则会显示一个消息对话框,其中有源文件的名字和当前行号,用户可以选择中断程序或进行调试.这个宏通常用于校验参数和返回值.

ASSERT_VALID（）也是MFC库中的断言，更确切点是ASSERT断言的变种，用法是ASSERT_VALID（一个从CObject类派生的对象指针），功能：检查这个指针是否有效。
ASSERT_VALID强制调用参数对象(必须是CObject或CObject*)的AssertValid函数,该函数实现对象的内部一致性检查,当你创建一个可重用类时,应该重载这个函数(VC中缺少已经重载了该函数),你可以在该函数中进行必要的检查工作.

ASSERT(pSysMenu);//检察pSysMenu是否为空
ASSERT_VALID(pSysMenu); //指针是否有效