Debug与Release调试模式详解及其差异

优化：这是造成错误的主要原因，因为关闭优化时源程序基本上是直接翻译的，而打开优化后编译器会作出一系列假设。这类错误主要有以下几种：
  
        (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   并未其很大作用可能会被优化掉，从而使栈被破坏。