备忘:VC++ 中的异常处理

    当程序遇到一个异常或一个严重的错误时,通常意味着它不能继续正常运行并且需要停止执行。任何的设计都离不开对异常与错误的处理。如果设计者不主动规避程序异常,往往在程序发生异常时,会被系统终止而直接退出。这对使用者来说,是很不友好的。

    如果主动处理异常,可以显式地提示错误地发生,也可以避免程序异常终止。更好的处理是,在设计时,预估一些错误,让用户避开这些错误以让程序顺利运行。对一些无法预知的异常,也需要我们通过VC++的异常处理机制,显式地告诉错误已发生,并保证程序的继续进行。

    VC++提供了两种不同性质的异常处理:
    结构化异常SEH (Structured Exception Handling, ) 和 类型化的 C++异常。
    SEH 是VC++编译器特有的,因此如果你想要编写可移植的代码,就不应当使用SEH。他只能在 Windows系统中产生作用。如果只想编写 Windows 应用。那么,最好选择SEH来处理异常。SEH 比 类型化的C++异常 更方便,更灵活。

结构化异常SEH

   __try,__except,__finally   是Windows系列操作系统平台上提供的SEH的处理模型。

   __try,__except:表示 try {}语句中发生异常,将转到 except () {}模块执行。如果try{}没有异常。except模块被跳过。继续执行 except {} 之后的代码。

    __try, __finally :  表示try {}语句无论有没异常发生,finally{}模块都会被执行。__try __finally 没有太多用法,不作详细说明。只要用对地方就行了。

    ___leave : 一般用在 try{} 里。表示退出 try 模块,并不执行 leave之后的语句。根当于函数中的return. 不过,这里只退出try{}.

__try,__except 简单用法示范

int _tmain(int argc, _TCHAR* argv[])
{
    int v1, v2;
    v1 = 1; v2 = 0;
    double x=0;
    
    __try
    {
        // if (v2==0) ___leave; 
        // 加上___leave这一句。leave 之后的代码都不会执行 跳出 try 执行 try except 之后的代码。
        x = v1 / v2; // x = myFunc(v1, v2);
        cout << x << endl;
    }
    __except (1) // 试着改为 0 或 -1 看看效果
    {
        cout << "Error!" << endl;
    }
    system("pause");
    return 0;
}

 

 

__except 后的括号里,是一个表达式或一个数值。表达式返回的也应是一个数值。这个数值 为 1-3 表明 except的三种处理方试:

  • __except(-1)  异常终止,退出程序。很少用这个。除非人为想终止自己的程序。

  • __except(0) 跳出当前异常,继续由下一个异常 except 来处理。

  • __except(1) 接受异常。执行异常 {} 中的语句。以上二个值 -1, 0 都不会执行 except{ ... } 中的语句。

这三个值,在 Windows 中,有三个常量代表:

        EXCEPTION_CONTINUE_EXECUTION (– 1)
        EXCEPTION_CONTINUE_SEARCH (0)
        EXCEPTION_EXECUTE_HANDLER (1)

我们也可以通过一个函数来返回三个值。让 except 被触发时,作更精准的处理。而这个函数一般会调用 Windows的 两个错误代码处理的API函数:
        GetExceptionCode() : 返回错误代码;
        GetExceptionInformation() : 取得错误信息结构。

嵌入异常处理与自定义处理函数示例:

int ErrorFunc(unsigned int code, struct _EXCEPTION_POINTERS *ep)
{
    puts("my Error infomathion.");

    if (code == EXCEPTION_ACCESS_VIOLATION) {

        puts("caught AV as expected.");

        return EXCEPTION_EXECUTE_HANDLER; // =1 执行被调用的 except 处理过程

    }

    else {

        puts("didn't catch AV, unexpected.");

        return EXCEPTION_CONTINUE_SEARCH; // =0 继续让下一个 except处理

    };
}

double myFunc(int a, int b) 
{
    double r;
    
    //exit(0);
    __try
    { 
    r = a / b;
    cout << "Cacle..." << endl;
    } 
    __except (ErrorFunc(GetExceptionCode(), GetExceptionInformation()))
    {
        // 如果 ErrorFunc 返回值为 1 下面的语句才会执行
        unsigned int code = GetExceptionCode();
        cout << "ERROR!:" << code  << endl;
        //throw;
    }
    cout << "...end1..." << endl;
    return r;
}


int _tmain(int argc, _TCHAR* argv[])
{
    int v1, v2;
    v1 = 1; v2 = 0;
    double x=0;
    
    __try
    {
        x = myFunc(v1, v2); // 调用函数,嵌入式 __try __except 示范。  
        cout << x << endl;
    }
    __except (1)
    {
        cout << "Error!" << endl;
    }
    cout << "...end2..." << endl;
    system("pause");
    return 0;
}

 

 

SEH异常处理模型中,异常通过RaiseException()函数抛出。RaiseException()函数的作用类似于C++异常模型中的throw。可以通过这个函数,主动处理预知的异常。

主动抛出异常示例:

 

int _tmain(int argc, _TCHAR* argv[])
{
    int v1, v2;
    v1 = 1; v2 = 0;
    double x=0;
    
    __try
    {
        // x = v1 / v2;
        RaiseException(100, 0, 0, NULL); //主动抛出错误 100 是自己定义的异常代码
        cout << x << endl;
    }
    __except (1)
    {
        UINT code = GetExceptionCode();
        if (code==100) // 判断自己抛出的异常代码
          cout << "Error! Code:"<< code << endl;
    }
    cout << "...end..." << endl;
    system("pause");
    return 0;
}

 

 

 

类型化的 C++异常

    C++的异常处理很简单,就是三个关键字 try, throw, catch来完成。他在很多地方有关系性作用。但这里只作简单地了解。

try
{
  //这里写入一些代码
  int a=10, b=0;
  int x;
  if (b==0) 
    throw 1; // 抛出异常。终止以下的代码执行 。
  if (a==1);
    throw 2; // 再抛出个异常。终止以下的代码执行 。
  
  x = a/b; // b=0. 会产生运算异常。
}
catch int i
{
  if (i==1) // 由 throw 抛出的值 =1
    cout << "b=0 is error!" <<endl;
  if (i==2) // 由 throw 抛出的值 =2
    cout << "i=1 is error!" <<endl;
}
catch(...){} //接受所有异常

 

 

    如 果想用 try{} catch{}来捕捉一些意想不到的异常,是靠不住的。也就是说他需要在 try {} 中主动发现异常,然后通过 throw, 抛出异常,让 catch来处理。如果是你发现不了的异常,如果无法throw出来,也就无法处理。如上例中: if (b==0) throw 1; 这句不要。执行到 x=a/b; 是会产生一个系统错误。try{}catch{} 中不会主动识别这个异常。但 try , catch 的用法有很多。可以找更多的资料去了解下。我也未了解清楚。

    以下内容容易不被了解:

    catch 没有捕获到匹配的异常的时候,会调用默认的终止函数。可以调用 set_terminate()来设置终止函数,参数是一个函数指针,类型是:void (*terminate)(); 实际上是调用默认的unexpected()函数,而这个默认的unexpected() 调用了 set_terminate() 中设定的终止函数。可以用set_unexpected()来设置unexpected。

如下:( 但这一段代码在VC下编译执行不会发生什么!)

void myUnexpected() {
    cerr << "unexpected called\n";
    throw 0;     // throws int (in exception-specification)  
}

void myfunction() throw (int) {
    throw 'x';   // throws char (not in exception-specification)  
}
int _tmain(int argc, _TCHAR* argv[])
{
    int v1, v2;
    v1 = 1; v2 = 0;
    double x=0;
    set_unexpected(myUnexpected);
    try
    {
        myfunction();  // x = v1 / v2;
    }
    catch (int) {
        cerr << "caught int/n";
    }
    catch (...){ 
        cerr << "caught other exception (non-compliant compiler?)\n"; 
    };
}

 

 

    VC 在Release方式下如果选择了编译器代码优化选项,则会去搜索try块中的代码, 如果没有找到throw代码, 就会认为try catch结构是多余的, 给优化掉。 这样造成在Release模式下。如果不在 try{}中主动throw抛出一个异常。在VC 的 Release编译模式下,try  catch 是被忽略掉的。

 

 

   

posted @ 2014-12-23 04:48  isixther  阅读(996)  评论(0编辑  收藏  举报