使用 VERIFY 代替 ASSERT
假设在运行 MFC 应用程序的调试版本时，没有任何问题。 但是，同一应用程序的发布版本会崩溃，返回不正确的结果，并且/或者表现出其他某种异常行为。
将重要代码放在 ASSERT 语句中以验证它是否正确执行时，可能会导致此问题。 由于 ASSERT 语句在 MFC 程序的发布版本中会被注释掉，因此代码不会在发布版本中运行。
如果使用 ASSERT 确认函数调用成功，请考虑改用 VERIFY。 VERIFY 宏在应用程序的调试和发布版本中都会计算自己的参数。
另一种首选方法是将函数的返回值分配给临时变量，然后在 ASSERT 语句中测试该变量。
查看以下代码片段：
enum {
sizeOfBuffer = 20
};
char *buf;
ASSERT(buf = (char *) calloc(sizeOfBuffer, sizeof(char) ));
strcpy_s( buf, sizeOfBuffer, "Hello, World" );
free( buf );
此代码可在 MFC 应用程序的调试版本中顺利运行。 如果对 calloc( ) 的调用失败，则会显示包含文件和行号的诊断消息。 但在 MFC 应用程序的零售生成中：
对
calloc( )的调用永远不会进行，从而使buf未初始化，或是strcpy_s( )将“Hello, World”复制到随机内存块中，这可能会使应用程序崩溃或导致系统停止响应，或是free()尝试释放从未分配的内存。
若要正确使用 ASSERT，代码示例应更改为以下内容：
enum {
sizeOfBuffer = 20
};
char *buf;
buf = (char *) calloc(sizeOfBuffer, sizeof(char) );
ASSERT( buf != NULL );
strcpy_s( buf, sizeOfBuffer, "Hello, World" );
free( buf );
或者，可以改用 VERIFY：
enum {
sizeOfBuffer = 20
};
char *buf;
VERIFY(buf = (char *) calloc(sizeOfBuffer, sizeof(char) ));
strcpy_s( buf, sizeOfBuffer, "Hello, World" );
free( buf );