Uso de un controlador de excepciones

En los ejemplos siguientes se muestra el uso de un controlador de excepciones.

Algunos de los ejemplos usan la función GetExceptionCode dentro de la expresión de filtro __except para comprobar el tipo de excepción antes de ejecutar el controlador. Esto permite al sistema continuar la búsqueda de un controlador adecuado si se produce algún otro tipo de excepción.

En general, solo devuelve EXCEPTION_EXECUTE_HANDLER de un filtro de excepción cuando se espera el tipo de excepción y se conoce la dirección de error. Debe permitir que el controlador de excepciones predeterminado procese tipos de excepciones inesperados y direcciones de error.

Ejemplo 1

El fragmento de código siguiente usa el control de excepciones estructurados para comprobar si una operación de división en dos enteros de 32 bits producirá un error de división por cero. Si esto ocurre, la función devuelve FALSE; de lo contrario, devuelve TRUE.

BOOL SafeDiv(INT32 dividend, INT32 divisor, INT32 *pResult)
{
    __try 
    { 
        *pResult = dividend / divisor; 
    } 
    __except(GetExceptionCode() == EXCEPTION_INT_DIVIDE_BY_ZERO ? 
             EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH)
    { 
        return FALSE;
    }
    return TRUE;
} 

Ejemplo 2

La siguiente función de ejemplo llama a la función DebugBreak y usa el control de excepciones estructurado para comprobar si hay una excepción de punto de interrupción. Si se produce, esto significa que un depurador no controló la excepción y la función devuelve FALSE; de lo contrario, devuelve TRUE.

BOOL CheckForDebugger()
{
    __try 
    {
        DebugBreak();
    }
    __except(GetExceptionCode() == EXCEPTION_BREAKPOINT ? 
             EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH) 
    {
        // No debugger is attached, so return FALSE 
        // and continue.
        return FALSE;
    }
    return TRUE;
}

Ejemplo 3

En el ejemplo siguiente se muestra la interacción de los controladores anidados. La función RaiseException provoca una excepción en el cuerpo protegido de un controlador de terminación que se encuentra dentro del cuerpo protegido de un controlador de excepciones. La excepción hace que el sistema evalúe la función FilterFunction, cuyo valor devuelto a su vez hace que se invoque el controlador de excepciones. Sin embargo, antes de ejecutar el bloque del controlador de excepciones, se ejecuta el bloque __finally del controlador de terminación porque el flujo de control ha dejado el bloque __try del controlador de terminación.

DWORD FilterFunction() 
{ 
    printf("1 ");                     // printed first 
    return EXCEPTION_EXECUTE_HANDLER; 
} 
 
VOID main(VOID) 
{ 
    __try 
    { 
        __try 
        { 
            RaiseException( 
                1,                    // exception code 
                0,                    // continuable exception 
                0, NULL);             // no arguments 
        } 
        __finally 
        { 
            printf("2 ");             // this is printed second 
        } 
    } 
    __except ( FilterFunction() ) 
    { 
        printf("3\n");                // this is printed last 
    } 
}