Windows内核编程之：结构化异常处理

//结构化异常处理(try-except块)

__try

{

}

__except(filter_value)

{

}

在被__try{}包围的块中，如果出现异常，会根据filter_value的数值，判断是否需要在
__except{}块中处理。filter_value的数值会有三种可能。

(1)EXCEPTION_EXECUTE_HANDLER,该数值为1。进入到__except进行错误处理，处理完后
不再回到__try{}块中，转而继续执行
(2)EXCEPTION_CONTINUE_SEARCH,该数值为0。不使用__except块中的异常处理，转而向
上一层回卷。如果已经是最外层，则向操作系统请求异常处理函数
(2)EXCEPTION_CONTINUE_EXECUTION,该数值为-1。重复先前错误的指令，之歌在驱动程
序中很好用到

/************************************************************************

* 函数名称:ProbeTest

* 功能描述:ProbeForRead和ProbeForWrite函数可以和try-except块配合，

        用来检查某段内存是否可读写

* 参数列表:

* 返回 值:VOID

*************************************************************************/

VOID ProbeTest()

{

    PVOID badPointer = NULL;

    KdPrint(("Enter ProbeTest\n"));



    __try

    {

        KdPrint(("Enter __try block\n"));



        //判断空指针是否可写，显示会导致异常

        ProbeForWrite(badPointer, 100, 4);



        //由于在上面引发异常，所以以后语句不会被执行！

        KdPrint(("Leave __try block\n"));

    }

    __except

    {

        KdPrint(("Catch the except\n"));

        KdPrint(("The program will keep going\n"));

    }

    //该语句会被执行

    KdPrint(("Leave ProbeTest\n"));

}

//触发异常函数

函数                                描述

ExRaiseStatus                      //用指定状态代码触发异常

ExRaiseAccessViolation             //触发STATUS_ACCESS_VIOLATION异常

ExRaiseDatatypeMisalignment        //触发STATUS_DATATYPE_MISALIGNMENT异常

//结构化异常处理(try-finally块)

/************************************************************************

* 函数名称:TryFinallyTest

* 功能描述:结构化异常处理的另一种使用方法，利用try_finally块，

        强迫函数在退出前执行一段代码

* 参数列表:

* 返回 值:VOID

*************************************************************************/

NTSTATUS TryFinallyTest()

{

    NTSTATUS status = STATUS_SUCCESS;

    __try

    {

        //做一些事情

        return STATUS_SUCCESS;

    }

    __finally

    {

        //程序退出前必然运行到此

        KdPrint(("Enter finaly block\n"));

    }

}

在上面代码的__try{}块中，无论运行什么代码(即使是return语句或者触发异常),
在程序退出前都会运行__finally{}块中的代码。这样的目的是，在退出前需要运行
一些资源回收的工作，而资源回收的代码的最佳位置就是放在这个块中

/************************************************************************

* 函数名称:FoolTest

* 功能描述:使用try-finally块还可以某种程度上简化代码

* 参数列表:

* 返回 值:VOID

*************************************************************************/

VOID FoolTest()

{

    NTSTATUS status = STATUS_SUCCESS;

    //执行操作1

    status = Foo1(...);

    //判断操作是否成功

    if(!NT_SUCCESS(status))

    {

        //回收资源

        return status;

    }



    //执行操作2

    status = Foo2(...);

    //判断操作是否成功

    if(!NT_SUCCESS(status))

    {

        //回收资源

        return status;

    }



    //执行操作n

    status = FooN(...);

    //判断操作是否成功

    if(!NT_SUCCESS(status))

    {

        //回收资源

        return status;

    }



    //返回状态，此状态一般是STATUS_SUCCESS

    return status;

}

VOID FooTest()

{

    NTSTATUS status = STATUS_SUCCESS;



    __try

    {

        //执行操作1

        status = Foo1(...);

        //判断操作是否成功

        if(!NT_SUCCESS(status))

        {

            return status;

        }



        //执行操作2

        status = Foo2(...);

        //判断操作是否成功

        if(!NT_SUCCESS(status))

        {

            return status;

        }



        //执行操作n

        status = FooN(...);

        //判断操作是否成功

        if(!NT_SUCCESS(status))

        {

            return status;

        }

    }

    __finally

    {

        if(!NT_SUCCESS(status))

        {

            //回收资源    

        }

        return status;

    }

}