使用 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 );

另请参阅

修复发行版本问题