什麼是debug模式,,release模式?

經常有人問Debug運行正常但Release失敗的問題。以往的討論往往是經驗性的，並沒有指出會這樣的真正原因是什麼，要想找出真正的原因通常要憑運氣。最近我看了一些這方面的文章，拿來與大家共用。
--------------------------------------
本文主要包含如下內容：
1.Debug和Release編譯方式的本質區別
2.哪些情況下Release版會出錯
2.怎樣“調試”Release版的程式
--------------------------------------
關於Debug和Release之本質區別的討論
一、Debug和Release
編譯方式的本質區別Debug通常稱為調試版本，它包含調試資訊，並且不作任何最佳化，便於程式員偵錯工具。Release稱為發布版本，它往往是進行了各種最佳化，使得程式在代碼大小和運行速度上都是最優的，以便使用者很好地使用。Debug和Release的真正秘密，在於一組編譯選項。下面列出了分別針對二者的選項（當然除此之外還有其他一些，如/Fd/Fo，但
區別並不重要，通常他們也不會引起Release版錯誤，在此不討論）Debug版本：/MD
d/MLd或/MTd使用Debugruntimelibrary(調試版本的運行時刻函數庫)/Od關閉最佳化開關/D"_DEBUG"相當於#define_DEBUG,開啟編譯調試代碼開關(主要針對assert函數)/ZI建立Editandcontinue(編輯繼續)資料庫，這樣在調試過程中如果修改了原始碼不需重新編譯/GZ可以協助捕獲記憶體錯誤/Gm開啟最小化重連結開關，減少連結時間Release版本：/MD/ML或/MT使用發布版本的運行時刻函數庫/O1或/O2最佳化開關，使程式最小或最快/D"NDEBUG"關閉條件編譯調試代碼開關(即不編譯assert函數)/GF合并重複的字串，並將字串常量放到唯讀記憶體，防止被修改實際上，Debug和Release並沒有本質的界限，他們只是一組編譯選項的集合，編譯器只是按照預定的選項行動。事實上，我們甚至可以修改這些選項，從而得到最佳化過的調試版本或是帶跟蹤語句的發布版本。
二、哪些情況下Release版會出錯
有了上面的介紹，我們再來逐個對照這些選項看看Release版錯誤是怎樣產生的
1.RuntimeLibrary：連結哪種運行時刻函數庫通常只對程式的效能產生影響。調試版本的RuntimeLibrary包含了調試資訊，並採用了一些保護機制以協助發現錯誤，因此效能不如發布版本。編譯器提供的RuntimeLibrary通常很穩定，不會造成Release版錯誤；倒是由於Debug的RuntimeLibrary加強了對錯誤的檢測，如堆記憶體配置，有時會出現Debug有錯但Release正常的現象。應當指出的是，如果Debug有錯，即使Release正常，程式肯定是有Bug的，只不過可能是Release版的某次運行沒有表現出來而已。
2.最佳化：這是造成錯誤的主要原因，因為關閉最佳化時來源程式基本上是直接翻譯的，而開啟最佳化後編譯器會作出一系列假設。這類錯誤主要有以下幾種：(1)幀指標(FramePointer)省略（簡稱FPO）：在函數調用過程中，所有調用資訊（返回地址、參數）以及自動變數都是放在棧中的。若函數的聲明與實現不同（參數、傳回值、調用方式），就會產生錯誤————但Debug方式下，棧的訪問通過EBP寄存器儲存的地址實現，如果沒有發生數組越界之類的錯誤（或是越界“不多”），函數通常能正常執行；Release方式下，最佳化會省略EBP棧基址指標，這樣通過一個全域指標訪問棧就會造成返回地址錯誤是程式崩潰。C++的強型別特效能檢查出大多數這樣的錯誤，但如果用了強制類型轉換，就不行了。你可以在Release版本中強制加入/Oy-編譯選項來關掉幀指標省略，以確定是否此類錯誤。此類錯誤通常有：●MFC訊息響應函數書寫錯誤。正確的應為afx_msgLRESULTOnMessageOwn(WPARAMwparam,LPARAMlparam);ON_MESSAGE宏包含強制類型轉換。防止這種錯誤的方法之一是重定義ON_MESSAGE宏，把下列代碼加到stdafx.h中（在#include"afxwin.h"之後）,函數原形錯誤時編譯會報錯#undefON_MESSAGE#defineON_MESSAGE(message,memberFxn)/{message,0,0,0,AfxSig_lwl,/(AFX_PMSG)(AFX_PMSGW)(static_cast<LRESULT(AFX_MSG_CALL/CWnd::*)(WPARAM,LPARAM)>(&memberFxn)},(2)volatile型變數：volatile告訴編譯器該變數可能被程式之外的未知方式修改（如系統、其他進程和線程）。最佳化程式為了使程式效能提高，常把一些變數放在寄存器中（類似於register關鍵字），而其他進程只能對該變數所在的記憶體進行修改，而寄存器中的值沒變。如果你的程式是多線程的，或者你發現某個變數的值與預期的不符而你確信已正確的設定了，則很可能遇到這樣的問題。這種錯誤有時會表現為程式在最快最佳化出錯而最小最佳化正常。把你認為可疑的變數加上volatile試試。(3)變數最佳化：最佳化程式會根據變數的使用方式最佳化變數。例如，函數中有一個未被使用的變數，在Debug版中它有可能掩蓋一個數組越界，而在Release版中，這個變數很可能被最佳化調，此時數組越界會破壞棧中有用的資料。當然，實際的情況會比這複雜得多。與此有關的錯誤有：●非法訪問，包括數組越界、指標錯誤等。
例如voidfn(void){inti;i=1;inta[4];{intj;j=1;}a[-1]=1;//當然
錯誤不會這麼明顯，例如下標是變數a[4]=1;}j雖然在數組越界時已出了範圍，但
其空間並未收回，因而i和j就會掩蓋越界。而Release版由於i、j並未其很大作用
可能會被最佳化掉，從而使棧被破壞。
3._DEBUG與NDEBUG：當定義了_DEBUG時，assert()函數會被編譯，而NDEBUG時不被編譯。除此之外，VC++中還有一系列斷言宏。這包括：ANSIC斷言voidassert(intexpression);CRuntimeLib斷言_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++的FindinFiles功能在工程所有檔案中找到用這些宏的地方再一一檢查即可。另外，有些高手可能還會加入#ifdef_DEBUG之類的條件編譯，也
要注意一下。順便值得一提的是VERIFY()宏，這個宏允許你將程式碼放在布林運算式
裡。這個宏通常用來檢查WindowsAPI的傳回值。有些人可能為這個原因而濫用VERIFY
()，事實上這是危險的，因為VERIFY()違反了斷言的思想，不能使程式碼和調試代碼
完全分離，最終可能會帶來很多麻煩。因此，專家們建議盡量少用這個宏。
4./GZ選項：這個選項會做以下這些事(1)初始化記憶體和變數。包括用0xCC初始化所有自動變數，0xCD(ClearedData)初始化堆中分配的記憶體（即動態分配的記憶體，例如new），0xD
D(DeadData)填充已被釋放的堆記憶體（例如delete），0xFD(deFencdeData)初
始化受保護的記憶體（debug版在動態分配記憶體的前後加入保護記憶體以防止越界訪問），其
中括弧中的詞是微軟建議的助記詞。這樣做的好處是這些值都很大，作為指標是不可能的
（而且32位系統中指標很少是奇數值，在有些系統中奇數的指標會產生執行階段錯誤），
作為數值也很少遇到，而且這些值也很容易辨認，因此這很有利於在Debug版中發現Re
lease版才會遇到的錯誤。要特別注意的是，很多人認為編譯器會用0來初始設定變數，這
是錯誤的（而且這樣很不利於尋找錯誤）。(2)通過函數指標調用函數時，會通過檢查棧
指標驗證函式調用的匹配性。（防止原形不匹配）(3)函數返回前檢查棧指標，確認未被
修改。（防止越界訪問和原形不匹配，與第二項合在一起可大致類比幀指標省略FPO）
通常/GZ選項會造成Debug版出錯而Release版正常的現象，因為Release版中未初
始化的變數是隨機的，這有可能使指標指向一個有效地址而掩蓋了非法訪問。除此之外，
/Gm/GF等選項造成錯誤的情況比較少，而且他們的效果顯而易見，比較容易發現。三、
怎樣“調試”Release版的程式遇到Debug成功但Release失敗，顯然是一件很沮喪
的事，而且往往無從下手。如果你看了以上的分析，結合錯誤的具體表現，很快找出了錯
誤，固然很好。但如果一時找不出，以下給出了一些在這種情況下的策略。1.前面已經
提過，Debug和Release只是一組編譯選項的差別，實際上並沒有什麼定義能區分二者。
我們可以修改Release版的編譯選項來縮小錯誤範圍。如上所述，可以把Release的選
項逐個註：那篇文章到此就完了，好像還有一些沒了
  在VC中當整個工程較大時，軟體時常為出現在DEBUG狀態下能運行而在RELEASE狀態下無法啟動並執行情況。由於開發人員通常在DEBUG狀態下開發軟體，所以這種情況時常是在我們辛苦工作一兩個月後，滿懷信心的準備將軟體發行時發生。為了避免無謂的損失，我們最好進行以下的檢查:
1、時常測試軟體的兩種版本。
2、不要輕易將問題歸結為DEBUG/RELEASE問題，除非你已經充分對兩種版本進行了測試。
3、預先處理的不同，也有可能引起這樣的問題。出現問題的一種可能性是在不同版本的編譯間定義了不同的預先處理標記。請對你的DEBUG版本的軟體試一下以下改動：在"Pro
jectSetting(ALT-F7)"中的C/C++項中設定目錄(category)為"General"，並且改動"_DE
BUG"定義為"NDEBUG".設定目錄為"Preprocessor"並且添加定義"_DEBUG到"UndefinedSy
mbols"輸入框.選擇RebuildALL,重新編譯.如果經過編譯的程式產生了問題，請對代碼
進行如下改動：將ASSERT()改為VERIFY().找出定義在"#ifdef_DEBUG"中的代碼，如
果在RELEASE版本中需要這些代碼請將他們移到定義外。尋找TRACE(...)中代碼，因為這
些代碼在RELEASE中也不被編譯。所以請認真檢查那些在RELEASE中需要的代碼是否並沒有
被便宜。
4、變數的初始化所帶來的不同，在不同的系統，或是在DEBUG/RELEASE版本間都存在這樣的差異，所以請對變數進行初始化。
5、是否在編譯時間已經有了警告?請將警告層級設定為3或4,然後保證在編譯時間沒有警告出現.
6、是否改動了資源檔.
7、此外對RELEASE版本的軟體也可以進行調試，請做如下改動：在"ProjectSettings"中"C++/C"項目下設定"category"為"General"並且將"DebugInfo"設定為"ProgramDatabase".在"Link"項目下選中"GenerateDebugInfo"檢查框。"RebuildAll"如此做法會產生
的一些限制：無法獲得在MFCDLL中的變數的值。必須對該軟體所使用的所有DLL工程都
進行改動。另：MSBUG：MS的一份技術文檔中表明，在VC5中對於DLL的"MaximizeSpee
d"最佳化選項並未被完全支援，因此這將會引起記憶體錯誤並導致程式崩潰。