try{} catch(…){}

以前都是用try{} catch(…){}来捕获C++中一些意想不到的异常, 今天看了Winhack的帖子才知道,这种方法在VC中其实是靠不住的。例如下面的代码:


try
{
BYTE* pch ;
pch = ( BYTE* )00001234 ; //给予一个非法地址

*pch = 6 ; //对非法地址赋值,会造成Access Violation 异常
}
catch(…)
{
AfxMessageBox( “catched” ) ;
}


这段代码在debug下没有问题,异常会被捕获,会弹出”catched”的消息框。 但在Release方式下如果选择了编译器代码优化选项,则VC编译器会去搜索try块中的代码, 如果没有找到throw代码, 他就会认为try catch结构是多余的, 给优化掉。 这样造成在Release模式下,上述代码中的异常不能被捕获,从而迫使程序弹出错误提示框退出。

那么能否在release代码优化状态下捕获这个异常呢, 答案是有的。 就是__try, __except结构, 上述代码如果改成如下代码异常即可捕获。


__try
{
BYTE* pch ;
pch = ( BYTE* )00001234 ; //给予一个非法地址

*pch = 6 ; //对非法地址赋值,会造成Access Violation 异常
}
__except( EXCEPTION_EXECUTE_HANDLER )
{
AfxMessageBox( “catched” ) ;
}

但是用__try, __except块还有问题, 就是这个不是C++标准, 而是Windows平台特有的扩展。 而且如果在使用过程中涉及局部对象析构函数的调用,则会出现C2712 的编译错误。 那么还有没有别的办法呢?

当然有, 就是仍然使用C++标准的try{}catch(..){}, 但在编译命令行中加入 /EHa 的参数。这样VC编译器不会把try catch模块给优化掉了。

找到一篇比较好的英文文章谈这个问题: http://members.cox.net/doug_web/eh.htm

用C++10 年多了 , 居然这么基础的问题都搞错, 真是汗颜。 要加紧学习啊, Stay Hungry, Stay Foolish!

Tags: ,

categories IT

5 Comments

  • By 空心人, 九月 13, 2006 @ 1:24 下午

    以前曾有过这个的疑问,赶紧在Linux上试了一下,Segment fault之后也不能被catch住。到网上查了一下,要想catch住这种系统信号,可以在信号处理函数中加上throw语句,并且在用g++编译时,加上non-call-exceptions

    Since processor exceptions may occur anywhere in the code, the stack un-
    winding libraries must be prepared to handle exceptions within any context.
    This functionality is enabled by a special GNU g++ compiler °ag, \-fnon-call-
    exceptions". Without the use of this °ag, only explicitly thrown exceptions are
    handled. This option is typically used from user-space code that attempts to
    throw exceptions from signal handlers. In the kernel, this allows an exception to
    be correctly dispatched even in the absence of an explicit throw call.

  • By hanbger, 四月 9, 2007 @ 2:26 上午

    :em21: good example~~~

  • By tenlywu, 四月 13, 2009 @ 12:12 上午

    刚好写GA代码文章的时候,提到了try catch

  • By my3439955, 九月 11, 2014 @ 2:11 下午

    非法的内存访问属于Win32异常范畴,C++语言的try catch根本就不会去处理这种异常,也没有这种能力。

    Release也不会那样去优化,可以做如下代码验证:
    try
    {
    *(int *)NULL = 11;
    throw 111;
    }
    catch (…)
    {
    cerr<<"excetion"<<endl;
    }
    这里是有throw的,Release不会优化掉了,但是仍旧崩溃。

    这段代码在Debug下也崩溃,博主能捕获到异常可能是因为那个地址真的就可写。最好直接用地址0来做测试。

  • By my3439955, 九月 11, 2014 @ 2:16 下午

    之前用vc9测试的。我用vc6又测试了一下,果然如楼主所说。

Other Links to this Post

RSS feed for comments on this post. TrackBack URI

Leave a comment

  • :em48:
  • :em32:
  • :em34:
  • :em14:
  • :em72:
  • :em37:
  • :em53:
  • :em56:
  • :em25:
  • :em39:
  • :em04:
  • :em13:
  • :em38:
  • :em20:
  • :em41:
  • :em31:
  • :em16:
  • :em45:
  • :em21:
  • :em43:
  • :em12:
  • :em71:
  • :em11:
  • :em23:
  • :em46:
  • :em66:
  • :em47:
  • :em02:
  • :em49:
  • :em54:
  • :em27:
  • :em36:
  • :em35:
  • :em15:
  • :em05:
  • :em26:
  • :em44:
  • :em06:
  • :em64:
  • :em01:
  • :em55:
  • :em70:
  • :em28:
  • :em40:
  • :em67:
  • :em18:
  • :em63:
  • :em09:
  • :em10:
  • :em62:
  • :em69:
  • :em03:
  • :em08:
  • :em33:
  • :em42:
  • :em52:
  • :em51:
  • :em68:
  • :em30:
  • :em65:
  • :em59:
  • :em29:
  • :em07:
  • :em50:
  • :em17:
  • :em24:
  • :em57:
  • :em22:
  • :em19:
  • :em60:
  • :em61:
  • :em58: