VC下Debug和Release区别

整理日: 2015年3月23日

最近写代码过程中，发现 Debug 下运行正常，Release 下就会出现问题，百思不得其解，而Release 下又无法进行调试，于是只能采用printf方式逐步定位到问题所在处，才发现原来是给定的一个数组未初始化，导致后面处理异常。网上查找了些资料，在这罗列汇总下，做为备忘～

Debug 和 Release 的区别

Debug: 通常称为调试版本，它包含调试信息，并且不作任何优化，便于程序员调试程序。

Release:称为发布版本，它往往是进行了各种优化，使得程序在代码大小和运行速度上都是最优的，以便用户很好地使用。

Debug 和 Release 的真正区别，在于一组编译选项。

Debug版本

参数	含义
/MDd	/MLd 或 /MTd 使用 Debug runtime library(调试版本的运行时刻函数库)
/Od	关闭优化开关
/D	"_DEBUG" 相当于 #define _DEBUG,打开编译调试代码开关(主要针对assert函数)
/ZI	创建 Edit and continue(编辑继续)数据库，这样在调试过程中如果修改了源代码不需重新编译
GZ	可以帮助捕获内存错误

Release版本

参数	含义
/MD	/ML 或 /MT 使用发布版本的运行时刻函数库
/O1	或 /O2 优化开关，使程序最小或最快
/D	"NDEBUG" 关闭条件编译调试代码开关(即不编译assert函数)
/GF	合并重复的字符串，并将字符串常量放到只读内存，防止被修改

总结

Debug与Release不同的问题在刚开始编写代码时会经常发生，99%是因为你的代码书写错误而导致的，所以不要动不动就说系统问题或编译器问题，努力找找自己的原因才是根本。我从前就常常遇到这情况，经历过一次次的教训后我就开始注意了，现在我所写过的代码我已经好久没遇到这种问题了。下面是几个避免的方面，即使没有这种问题也应注意一下：

注意变量的初始化，尤其是指针变量，数组变量的初始化(很大的情况下另作考虑了)。
自定义消息及其他声明的标准写法
使用调试宏时使用后最好注释掉
尽量使用try - catch(...)
尽量使用模块，不但表达清楚而且方便调试。

注1：

debug版初始化成0xcc是因为0xcc在x86下是一条int 3单步中断指令，这样程序如果跑飞了遇到0xcc就会停下来，这和单片机编程时一般将没用的代码空间填入jmp 0000语句是一样地转贴于：计算机二级考试_考试大【责编:drfcy 纠错】

VC例

1. 变量未初始化

下面的程序在debug中运行的很好。

而在release中却不行，因为debug中会自动给变量初始化found=FALSE,而在release版中则不会。所以尽可能的给变量、类或结构初始化。

thing* search(thing* something)

BOOL found;

for(int i = 0; i < whatever.GetSize(); i++)

{

    if(whatever[i]->field == something->field)

    {

        /* found it */

        found = TRUE;

        break;

    } /* found it */

}

if(found)

    return whatever[i];

else

    return NULL;

2. 数据溢出的问题

在debug版中buffer的NULL覆盖了counter的高位，但是除非counter>16M,什么问题也没有。但是在release版中，counter可能被放在寄存器中，这样NULL就覆盖了buffer下面的空间，可能就是函数的返回地址，这将导致ACCESS ERROR。

如：

char buffer[10];

int counter;

lstrcpy(buffer, "abcdefghik");

3. DEBUG版和RELEASE版的内存分配方式是不同的

如果你在DEBUG版中申请ele为6*sizeof(DWORD)=24bytes,实际上分配给你的是32bytes（debug版以32bytes为单位分配）,而在release版，分配给你的就是24bytes（release版以8bytes为单位），所以在debug版中如果你写ele[6],可能不会有什么问题，而在release版中，就有ACCESS VIOLATE。

4. ASSERT在Release版本中是不会被编译的

ASSERT宏是这样定义的

#ifdef _DEBUG

#define ASSERT(x) if( (x) == 0) report_assert_failure()

#else

#define ASSERT(x)

#endif

实际上复杂一些，但无关紧要。假如你在这些语句中加了程序中必须要有的代码

比如

ASSERT(pNewObj = new CMyClass);

pNewObj->MyFunction();

这种时候Release版本中的pNewObj不会分配到空间

所以执行到下一个语句的时候程序会报该程序执行了非法操作的错误。这时可以用VERIFY:

#ifdef _DEBUG

#define VERIFY(x) if((x)==0) report_assert_failure()

#else

#define VERIFY(x) (x)

#endif

这样的话，代码在release版中就可以执行了。

5. 参数问题

自定义消息的处理函数，必须定义如下：

afx_msg LRESULT OnMyMessage(WPARAM, LPARAM);

返回值必须是HRESULT型，否则Debug会过，而Release出错

6. 内存分配

保证数据创建和清除的统一性：如果一个DLL提供一个能够创建数据的函数，那么这个DLL同时应该提供一个函数销毁这些数据。数据的创建和清除应该在同一个层次上。

7. DLL的灾难

人们将不同版本DLL混合造成的不一致性形象的称为“动态连接库的地狱“(DLL Hell)，甚至微软自己也这么说http://msdn.microsoft.com/library/techart/dlldanger1.htm)。

如果你的程序使用你自己的DLL时请注意：

不能将debug和release版的DLL混合在一起使用。debug都是debug版，release版都是release版。

解决办法是将debug和release的程序分别放在主程序的debug和release目录下
千万不要以为静态连接库会解决问题，那只会使情况更糟糕。

RELEASE板中的调试:

将ASSERT()改为VERIFY()

找出定义在"#ifdef _DEBUG"中的代码，如果在RELEASE版本中需要这些代码请将他们移到定义外。查找TRACE(...)中代码，因为这些代码在RELEASE中也不被编译。请认真检查那些在RELEASE中需要的代码是否并没有被便

请对变量进行初始化

变量的初始化所带来的不同，在不同的系统，或是在DEBUG/RELEASE版本间都存在这样的差异，所以请对变量进行初始化。

编译时没有警告

是否在编译时已经有了警告? 请将警告级别设置为3或4,然后保证在编译时没有警告出现.

8. 将"Project Settings"中"C++/C" 项目下优化选项改为Disbale（Debug）。

编译器的优化可能导致许多意想不到的错误，请参http://www.pgh.net/~newcomer/debug_release.htm

此外对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"优化选项并未被完全支持，因此这将会引起内存错误并导致程序崩溃。

http://www.sysinternals.com/

有一个程序DebugView，用来捕捉OutputDebugString的输出，运行起来后（估计是自设为system debugger）就可以观看所有程序的OutputDebugString的输出。此后，你可以脱离VC来运行你的程序并观看调试信息。

Gimpel Lint

有一个叫Gimpel Lint的静态代码检查工具，据说比较好用http://www.gimpel.com/ 不过要化$的。