今天公司有同事問我ASSERT與VERIFY宏有什么區別，雖然平時常用這兩個宏對一些變量在Debug模式下作判斷，但一時還真答不上來二者之間的具體差別，看來只是知其然不知其所以然。后來查了一些資料，總算弄清楚了二者之間的區別，整理后與同事交流了一番，感覺收獲還是蠻大的。下面對我的理解進行了總結：
1 ASSERT與VERIFY宏在Debug模式下作用基本一致，二者都對表達式的值進行計算，如果值為非0，則什么事也不做；如果值為0，則輸出診斷信息。
2 ASSERT與VERIFY宏在Release模式下效果完全不一樣。ASSERT不計算表達式的值，也不會輸出診斷信息；VERIFY計算表達式的值，但不管值為0還是非0都不會輸出診斷信息。
VERIFY 與ASSERT用在程序調試上并無本質上的區別。
In the debug version of MFC, the VERIFY macro evaluates its argument. If the result is 0,
the macro prints a diagnostic message and halts the program. If the condition is nonzero,
it does nothing.
In the release version of MFC, VERIFY evaluates the expression but does not print or interrupt the program. For example, if the expression is a function call, the call will be made.
| ANSI C 斷言 |
void assert(int expression ); |
| C Runtime Lib 斷言 |
_ASSERT( booleanExpression );
_ASSERTE( booleanExpression ); |
| MFC 斷言 |
ASSERT( booleanExpression );
VERIFY( booleanExpression );
ASSERT_VALID( pObject );
ASSERT_KINDOF( classname, pobject ); |
| ATL 斷言 |
ATLASSERT( booleanExpression ); |
此外，TRACE() 宏的編譯也受 _DEBUG 控制。
所有這些斷言都只在 Debug版中才被編譯，而在 Release 版中被忽略。唯一的例外是 VERIFY() 。事實上，這些宏都是調用了 assert() 函數，只不過附加了一些與庫有關的調試代碼。如果你在這些宏中加入了任何程序代碼，而不只是布爾表達式（例如賦值、能改變變量值的函數調用 等），那么 Release 版都不會執行這些操作，從而造成錯誤。初學者很容易犯這類錯誤，查找的方法也很簡單，因為這些宏都已在上面列出，只要利用 VC++ 的 Find in Files 功能在工程所有文件中找到用這些宏的地方再一一檢查即可。另外，有些高手可能還會加入 #ifdef _DEBUG 之類的條件編譯，也要注意一下。
順便值得一提的是
VERIFY() 宏，這個宏允許你將程序代碼放在布爾表達式里。這個宏通常用來檢查 Windows API 的返回值。有些人可能為這個原因而濫用 VERIFY() ，事實上這是危險的，因為 VERIFY() 違反了斷言的思想，不能使程序代碼和調試代碼完全分離，最終可能會帶來很多麻煩。因此，專家們建議盡量少用這個宏。