Debug模式下正常,而Release模式下報錯:
1、變量未初始化。
2、內存訪問越界。
Release模式下正常,而Debug模式錯誤:
1、SendMessage發送消息響應。
WM_MYMSG消息響應通常有兩種做法,一種是重載主對話窗的WindowProc虛函數,然後在函數內部響應這個消息,例如下面:
LRESULT CADlg::WindowProc(UINT message, WPARAM wParam, LPARAM lParam)
{
Switch(message)
{
case WM_MYMSG:
{
……
break;
}
}
return CDialog::WindowProc(message, wParam, lParam);
}
這種做法通常不會出錯;
下面我們看第二種響應這個消息的方法;
首先在主對話窗中加入一個函數,例如下面:
VOID CADlg::OnMyMsg()
{
}
然後在主對話窗的消息映射表中加一項:
BEGIN_MESSAGE_MAP(CADlg, CDialog)
//{{AFX_MSG_MAP(CADlg)
ON_MESSAGE(WM_MYMSG , OnMyMsg)
//}}AFX_MSG_MAP
END_MESSAGE_MAP()
這樣當我們的子對話窗向主對話窗發送WM_MYMSG消息的時候,MFC就會調用我們的OnMyMsg函數,於是錯誤出現了,首先我們看看ON_MESSAGE宏的定義;
#define ON_MESSAGE(message, memberFxn) \
{ message, 0, 0, 0, AfxSig_lwl, \
(AFX_PMSG)(AFX_PMSGW)(LRESULT (AFX_MSG_CALL CWnd::*)(WPARAM, LPARAM))&memberFxn }
熟悉宏定義的朋友一看就明白,這個宏在展開的時候實際上是將兩個參數壓棧(WPARAM和LPARAM),然後調用函數指針;
而我們的函數OnMyMsg確沒有參數定義,換句話說,函數返回的時候不會平棧,這就是Release版程序非法操作的原因 。
解決方法:使用第一種方法,重載WindowProc函數;或者按照宏定義定義自己的消息響應函數。
先都複製過來 待編輯
|
|
經常在 CSDN 上看見有人問 Debug 運行正常但 Release 失敗的問題。以往的討論往往是經驗性的,並沒有指出會這樣的真正原因是什麼,要想找出真正的原因通常要憑運氣。最近我看了一些這方面的書,又參考了 CSDN 上的一些帖子,然後深入研究了一下關於二者的不同。以下是我的一些體會,拿來與大家共享。 -------------------------------------- 本文主要包含如下內容: 1. Debug 和 Release 編譯方式的本質區別 2. 哪些情況下 Release 版會出錯 2. 怎樣"調試" Release 版的程序 -------------------------------------- 關於Debug和Release之本質區別的討論 一、Debug 和 Release 編譯方式的本質區別 Debug 通常稱爲調試版本,它包含調試信息,並且不作任何優化,便於程序員調試程序。Release 稱爲發佈版本,它往往是進行了各種優化,使得程序在代碼大小和運行速度上都是最優的,以便用戶很好地使用。 Debug 和 Release 的真正祕密,在於一組編譯選項。下面列出了分別針對二者的選項(當然除此之外還有其他一些,如/Fd /Fo,但區別並不重要,通常他們也不會引起 Release 版錯誤,在此不討論) Debug 版本: /MDd /MLd 或 /MTd 使用 Debug runtime library(調試版本的運行時刻函數庫) /Od 關閉優化開關 /D "_DEBUG" 相當於 #define _DEBUG,打開編譯調試代碼開關(主要針對 assert函數) /ZI 創建 Edit and continue(編輯繼續)數據庫,這樣在調試過 程中如果修改了源代碼不需重新編譯 /GZ 可以幫助捕獲內存錯誤 /Gm 打開最小化重鏈接開關,減少鏈接時間 Release 版本: /MD /ML 或 /MT 使用發佈版本的運行時刻函數庫 /O1 或 /O2 優化開關,使程序最小或最快 /D "NDEBUG" 關閉條件編譯調試代碼開關(即不編譯assert函數) /GF 合併重複的字符串,並將字符串常量放到只讀內存,防止 被修改 實際上,Debug 和 Release 並沒有本質的界限,他們只是一組編譯選項的集合,編譯器只是按照預定的選項行動。事實上,我們甚至可以修改這些選項,從而得到優化過的調試版本或是帶跟蹤語句的發佈版本。 二、哪些情況下 Release 版會出錯 有了上面的介紹,我們再來逐個對照這些選項看看 Release 版錯誤是怎樣產生的 1. Runtime Library:鏈接哪種運行時刻函數庫通常只對程序的性能產生影響。調試版本的 Runtime Library 包含了調試信息,並採用了一些保護機制以幫助發現錯誤,因此性能不如發佈版本。編譯器提供的 Runtime Library 通常很穩定,不會造成 Release 版錯誤;倒是由於 Debug 的 Runtime Library 加強了對錯誤的檢測,如堆內存分配,有時會出現 Debug 有錯但 Release 正常的現象。應當指出的是,如果 Debug 有錯,即使 Release 正常,程序肯定是有 Bug 的,只不過可能是 Release 版的某次運行沒有表現出來而已。 2. 優化:這是造成錯誤的主要原因,因爲關閉優化時源程序基本上是直接翻譯的,而打開優化後編譯器會作出一系列假設。這類錯誤主要有以下幾種: (1) 幀指針(Frame Pointer)省略(簡稱 FPO ):在函數調用過程中,所有調用信息(返回地址、參數)以及自動變量都是放在棧中的。若函數的聲明與實現不同(參數、返回值、調用方式),就會產生錯誤————但 Debug 方式下,棧的訪問通過 EBP 寄存器保存的地址實現,如果沒有發生數組越界之類的錯誤(或是越界"不多"),函數通常能正常執行;Release 方式下,優化會省略 EBP 棧基址指針,這樣通過一個全局指針訪問棧就會造成返回地址錯誤是程序崩潰。C++ 的強類型特性能檢查出大多數這樣的錯誤,但如果用了強制類型轉換,就不行了。你可以在 Release 版本中強制加入 /Oy- 編譯選項來關掉幀指針省略,以確定是否此類錯誤。此類錯誤通常有: ● MFC 消息響應函數書寫錯誤。正確的應爲 afx_msg LRESULT OnMessageOwn(WPARAM wparam, LPARAM lparam); ON_MESSAGE 宏包含強制類型轉換。防止這種錯誤的方法之一是重定義 ON_MESSAGE 宏,把下列代碼加到 stdafx.h 中(在#include "afxwin.h"之後),函數原形錯誤時編譯會報錯 #undef ON_MESSAGE #define ON_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 版中,這個變量很可能被優化調,此時數組越界會破壞棧中有用的數據。當然,實際的情況會比這複雜得多。與此有關的錯誤有: ● 非法訪問,包括數組越界、指針錯誤等。
例如 void fn(void) { int i; i = 1; int a[4]; { int j; j = 1; } a[-1] = 1;//當然錯誤不會這麼明顯,例如下標是變量 a[4] = 1; } j 雖然在數組越界時已出了作用域,但其空間並未收回,因而 i 和 j 就會掩蓋越界。而 Release 版由於 i、j 並未其很大作用可能會被優化掉,從而使棧被破壞。 3. _DEBUG 與 NDEBUG :當定義了 _DEBUG 時,assert() 函數會被編譯,而 NDEBUG 時不被編譯。除此之外,VC++中還有一系列斷言宏。這包括: 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() 違反了斷言的思想,不能使程序代碼和調試代碼完全分離,最終可能會帶來很多麻煩。因此,專家們建議儘量少用這個宏。 4. /GZ 選項:這個選項會做以下這些事 (1) 初始化內存和變量。包括用 0xCC 初始化所有自動變量,0xCD ( Cleared Data ) 初始化堆中分配的內存(即動態分配的內存,例如 new ),0xDD ( Dead Data ) 填充已被釋放的堆內存(例如 delete ),0xFD( deFencde Data ) 初始化受保護的內存(debug 版在動態分配內存的前後加入保護內存以防止越界訪問),其中括號中的詞是微軟建議的助記詞。這樣做的好處是這些值都很大,作爲指針是不可能的(而且 32 位系統中指針很少是奇數值,在有些系統中奇數的指針會產生運行時錯誤),作爲數值也很少遇到,而且這些值也很容易辨認,因此這很有利於在 Debug 版中發現 Release 版纔會遇到的錯誤。要特別注意的是,很多人認爲編譯器會用 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版本的軟件試一下以下改動: 在"Project Setting(ALT-F7)" 中的C/C++項中設置目錄(category)爲"General",並且改動"_DEBUG"定義爲"NDEBUG". 設置目錄爲"Preprocessor"並且添加定義"_DEBUG到"Undefined Symbols"輸入框. 選擇Rebuild ALL,重新編譯. 如果經過編譯的程序產生了問題,請對代碼進行如下改動: 將ASSERT() 改爲 VERIFY(). 找出定義在"#ifdef _DEBUG"中的代碼,如果在RELEASE版本中需要這些代碼請將他們移到定義外。 查找TRACE(...)中代碼,因爲這些代碼在RELEASE中也不被編譯。 所以請認真檢查那些在RELEASE中需要的代碼是否並沒有被便宜。 4、變量的初始化所帶來的不同,在不同的系統,或是在DEBUG/RELEASE版本間都存在這樣的差異,所以請對變量進行初始化。 5、是否在編譯時已經有了警告?請將警告級別設置爲3或4,然後保證在編譯時沒有警告出現. 6、是否改動了資源文件. 7、此外對RELEASE版本的軟件也可以進行調試,請做如下改動: 在"Project Settings" 中 "C++/C " 項目下設置 "category" 爲 "General" 並且將"Debug Info"設置爲 "Program Database". 在"Link"項目下選中"Generate Debug Info"檢查框。 "Rebuild All" 如此做法會產生的一些限制: 無法獲得在MFC DLL中的變量的值。 必須對該軟件所使用的所有DLL工程都進行改動。 另: MS BUG:MS的一份技術文檔中表明,在VC5中對於DLL的"Maximize Speed"優化選項並未被完全支持,因此這將會引起內存錯誤並導致程序崩潰。
最近一段時間,許多人發帖子說自己的MFC程序Release版會出錯,而Debug版不會出錯,記得在兩年前我也曾遇到過類似的問題,但是沒有進行深入研究,這兩天我對這個問題作了一個深入的探討發現了一個非常容易犯的錯誤,這也與VC編譯器有關(不知道是微軟的BUG還是怎麼回事),首先我們看一個事例工程:
用VC新建一個Dialog工程,然後加入一個新的對話窗,並且生成一個對話窗類;然後在主對話窗的OnOK事件中建立那個新對話窗的非模態對話窗,例如下面:
void CADlg::OnOK()
{
m_pDlg = new CDlg1;//m_pDlg是類成員變量,新對話窗的指針
m_pDlg->Create(IDD_DIALOG1);
m_pDlg->ShowWindow(SW_SHOW);
}
然後加一個自定義消息:WM_MYMSG;
在新的對話窗的OnOK事件中向主對話窗發送WM_MYMSG消息;
void CDlg1::OnOK()
{
CWnd *pWnd = GetParent();
pWnd->SendMessage(WM_MYMSG);
}
下面我要說的就是最關鍵的地方了,我們爲了響應WM_MYMSG消息通常有兩種做法,一種是重載主對話窗的WindowProc虛函數,然後在函數內部響應這個消息,例如下面:
LRESULT CADlg::WindowProc(UINT message, WPARAM wParam, LPARAM lParam)
{
Switch(message)
{
case WM_MYMSG:
{
……
break;
}
}
return CDialog::WindowProc(message, wParam, lParam);
}
這種做法通常不會出錯;
下面我們看第二種響應這個消息的方法;
首先在主對話窗中加入一個函數,例如下面:
VOID CADlg::OnMyMsg()
{
}
然後在主對話窗的消息映射表中加一項:
BEGIN_MESSAGE_MAP(CADlg, CDialog)
//{{AFX_MSG_MAP(CADlg)
ON_MESSAGE(WM_MYMSG , OnMyMsg)
//}}AFX_MSG_MAP
END_MESSAGE_MAP()
這樣當我們的子對話窗向主對話窗發送WM_MYMSG消息的時候,MFC就會調用我們的OnMyMsg函數,於是錯誤出現了,首先我們看看ON_MESSAGE宏的定義;
#define ON_MESSAGE(message, memberFxn) \
{ message, 0, 0, 0, AfxSig_lwl, \
(AFX_PMSG)(AFX_PMSGW)(LRESULT (AFX_MSG_CALL CWnd::*)(WPARAM, LPARAM))&memberFxn }
熟悉宏定義的朋友一看就明白,這個宏在展開的時候實際上是將兩個參數壓棧(WPARAM和LPARAM),然後調用函數指針;
而我們的函數OnMyMsg確沒有參數定義,換句話說,函數返回的時候不會平棧,這就是Release版程序非法操作的原因;
再說具體些,我們把上面的OnMyMsg函數寫成這樣:
VOID CADlg::OnMyMsg()
{
MessageBox("測試");
}
然後看看它的彙編代碼:
push 0
push 0
push 403020h
call 004017CA
ret
前面我們就不看了,看最後一句:
ret
完了,它直接ret了(當然了,直接ret是我們函數定義的結果),而不是比如說什麼
ret 8
之類的語句(這是因爲我們的函數沒有定義參數,因此直接ret)。
這樣我們進入函數前壓棧的兩個參數就沒有進行平棧動作了;函數返回,棧不平當然就會非法操作了;
換句話說,如果我們的程序寫成這樣:
VOID CADlg::OnMyMsg()
{
MessageBox("測試");
__asm ret 8;
}
那麼Release版就不會報錯了(相反Debug版就會報錯),不信請試驗一下,但是這樣寫是不對的,請朋友們在編寫程序的時候不要這樣寫,這只是說明消息映射函數平棧情況的一個證據罷了;
話分兩頭,爲什麼Debug版沒有問題呢?
先看看下面的彙編:
mov ecx,dword ptr [ebp-0Ch]
mov dword ptr fs:[0],ecx
pop edi
pop esi
pop ebx
add esp,5Ch
cmp ebp,esp
call _chkesp (004022fc)
mov esp,ebp
pop ebp
VC在對MFC的Debug版程序進行編譯的時候,會在函數的後面加上一段類似上面的代碼,那段代碼的功能就是檢測esp,看看棧是否是平的,如果不平則強行平棧,因此Debug版程序不會出這種錯誤,至於微軟爲什麼要這樣做,我實在也是想不明白,請各位朋友也一起琢磨一下吧(歡迎跟貼討論);
綜上所述,我們在編寫MFC程序,映射自己的消息函數的時候要麼採用第一種方法,重載WindowProc虛函數,要麼採用第二種方法,但是函數要定義兩個參數(WPARAM和LPARAM),即使沒有用處也要這樣定義;這樣就可以避免Release版出錯Debug版不出錯的絕大部分情況了;
另外,我這裏再提一下這個宏:
ON_MESSAGE_VOID
這個宏定義在"afxpriv.h",這個宏與ON_MESSAGE相反,他的消息映射函數不能帶參數。即如果用這個宏進行消息映射,那麼那個消息映射函數就不能帶參數,如果帶了參數就會發生Release版出錯,Debug版不出錯的情況了;
最後,我們不管用上面那個宏映射消息響應函數,而你的消息響應函數不管定義成什麼樣子,VC在進行編譯的時候都不會報錯,因此這個錯誤將隱藏的很深,直到你即將發佈Release版的時候才發現,程序會非法操作的;
以上所述僅代表個人看法,如有不同意的朋友,歡迎參加討論;
---------------------------------------------------------------
http://expert.csdn.net/Expert/topic/2539/2539864.xml?temp=.9315149
---------------------------------------------------------------
哈,vc7就會報錯了,我還真不知道,看來微軟也意識到這是個BUG了;
---------------------------------------------------------------
這是 MFC 的一個 BUG,看看 MSDN 文檔說的:
ms-help://MS.VSCC.2003/MS.MSDNQTR.2003FEB.2052/vccore/html/vcrefwhatsnewlibrariesvisualc70.htm#vcrefwhatsnewlibrariesmfcvisualc70
Visual C++ .NET 中包含的下列庫可能是新增的,也可能是經過更改的。
.......
Microsoft 基礎類 (MFC) 庫
* 有關 MFC 的參考主題包含數百個新的代碼示例。
* 靜態強制類型轉換和 MFC 消息映射 從 Visual C++ .NET 開始,MFC 對消息處理函數的返回類型和參數類型進行更嚴格的類型檢查。這些新增行爲通過使用錯誤信息標記潛在不安全的消息處理函數,來通知開發人員可能會遇到的問題。MFC 現對 ON_MESSAGE、ON_REGISTERED_MESSAGE、ON_THREAD_MESSAGE 和 ON_REGISTERED_THREAD_MESSAGE 使用靜態強制類型轉換。
例如,過去開發人員可以對 ON_MESSAGE 或 ON_REGISTERED_MESSAGE 使用返回 void 而非 LRESULT 的成員函數,並且編譯時不報告任何錯誤。而使用 Visual C++ .NET,則可以捕獲潛在的錯誤強制類型轉換,並將它標記爲錯誤。開發人員可以通過替換返回類型(用 LRESULT 替換)並重新編譯來修復這種潛在的問題。
* DHTML 編輯組件:CHtmlEditCtrl、CHTMLEditView、CHtmlEditDoc。
.........
VC7 的界面用不慣,而且速度慢,否則值得升級。
---------------------------------------------------------------
對了,建議大家以後做東西的時候都用Release版本做,這樣像上面的問題就不會出現,有的人
可能會說用Release版本怎麼調試啊。下面的辦法可以解決。調試完了改回原來的設置再發布
http://expert.csdn.net/Expert/TopicView1.asp?id=2555224
看看我的回答
Release版本單步跟蹤方法:(可能對大家來說早就是小菜一碟了)
選中Win32 Release然後
Project-》setting-》C/C++ -》Category-》General
-》Optimization-》Disable(Debug)
-》Debug Info-》Program DataBase
-》Link---》Generate Debug Info打上鉤
另外請朋友們去捧捧這兩個帖子。這個帖子我的回覆花了我長時間。也許對那些
Debug和release不太懂得人有幫助。雖然不是我的帖子,但是所涉及到的知識
挺全的。
http://expert.csdn.net/Expert/TopicView1.asp?id=2539864
http://expert.csdn.net/Expert/topic/2553/2553540.xml?temp=.2079431
本人關心技術。希望和有志之士(關心技術)成爲朋友
很同意woaini5994(孤獨的豬) 的話
這不算是作廣告吧。希望版主不要刪除
---------------------------------------------------------------
遇到並解決的第一個release mode bug
“在 Class Wizard 添加的響應函數中使用手動添加的參數將導致 Debug 模式運行正常,但Release 模式運行時非法操作。”
估計原因:MFC默認的 ON_CONTROL 消息響應函數原型爲 (void)pfn(void), 因此在未改變MFC函數類型聲明時,用額外的參數調用會導致Release mode下,程序堆棧上的函數返回地址被作爲函數參數來錯誤使用,而函數返回地址也就自然不對了,從而導致Access Violation。
解決辦法:
1.把消息響應函數聲明對應的 AfxSig_vv,改爲相應函數類型的 AfxSig_xx,然後用新的語句(原來的宏展開後把AfxSig_vv換成AfxSig_XX)替代ON_CONTROL等宏。
2.把消息響應函數的函數體移到一個自定義的一般類函數中,在類函數中使用參數,消息響應函數只對類函數進行調用。(此方法僅適用於在消息響應函數中添加默認參數的情況)