备忘：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 是被忽略掉的。