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