C++, __essayer et try/catch/finally

Sur Windows, les exceptions sont prises en charge au niveau du système d'exploitation. Appelé la gestion Structurée des exceptions (SEH), ils sont l'équivalent d'Unix signaux. Les compilateurs qui génère du code pour Windows prennent généralement avantage de cette, ils utilisent le SEH infrastructure à mettre en place les exceptions C++.

En accord avec la norme C++, le jeter et attraper que les mots clés jamais à lancer et à attraper les exceptions C++. Le correspondant de la SEH code d'exception pour la MSVC compilateur est 0xe06d7343. Les 3 derniers octets sont le code ASCII pour "msc".

L'unifier avec le support de système d'exploitation signifie également que le C++ destructeurs sera appelé pendant le déroulement de pile pour un SEH exception. Le code ne le déroulement est à l'intérieur de Windows et le traite de la gestion structurée des exceptions soulevées par un jeter exactement de la même manière que tout le SEH. Cependant, le compilateur de Microsoft dispose d'une optimisation qui essaie d'éviter de générer le code nécessaire qui garantit que les destructeurs sont appelés dans tous les cas. S'il peut prouver qu'il n'y a pas de jeter de l'instruction à l'intérieur de la portée du bloc de contrôle de l'objet à vie, puis il saute le code d'enregistrement. Ce n'est pas compatible avec asynchrone SEH exceptions, vous devez utiliser le /EHa option de compilation pour supprimer cette optimisation si vous envisagez d'attraper une gestion structurée des exceptions les exceptions.

Il y a beaucoup de SEH types d'exception. Ceux qui peuvent être générés par le système d'exploitation répertoriés dans le ntstatus.h SDK fichier d'en-tête. En outre, vous pouvez l'interopérabilité avec du code qui utilise SEH pour mettre en œuvre leur propre gestion d'exception, ils vont utiliser leur propre code d'exception. Comme .NET, exceptions gérées utiliser le 0xe0434f4d ("com") code d'exception.

Pour attraper SEH exceptions dans un programme C++, vous devez utiliser le non-standard __essayer un mot clé. L' __à l'exception de mot-clé est analogue à la C++ attraper mot-clé. Il a plus de fonctionnalités, vous pouvez spécifier une exception expression de filtre qui détermine si oui ou non un actif d'exception doit être pris. Tout est possible, mais en général, on regarde le passé exception de l'information pour voir si vous êtes intéressé par la manipulation. L' __enfin de mot-clé vous permet d'écrire du code qui s'exécute après que l'exception est gérée. Pas d'équivalent qu'en C++, mais pas rare dans d'autres langues.

Tout cela est assez mal documenté comme l'a souligné dans les commentaires. La preuve est dans le pudding. Voici un exemple de programme que vous pouvez jouer avec. Il montre comment SEH exceptions permet toujours de C++ destructeurs pour être appelé, à condition que vous compilez avec /EHa et comment les exceptions C++ sont mis en œuvre sur le dessus de la SEH. MSVC compilateur nécessaire, exécuter avec Ctrl+F5 pour éviter le débogueur être utile:

#include "stdafx.h"
#include <windows.h>
#include <iostream>

//NOTE: the value of the C/C++, Code Generation, Enable C++ Exceptions setting in important
//Try it both with /EHsc (the default) and /EHa to see the difference

class Example {  
public:
    ~Example() { std::cout << "destructed" << std::endl; }
};

int filterException(int code, PEXCEPTION_POINTERS ex) {
    std::cout << "Filtering " << std::hex << code << std::endl;
    return EXCEPTION_EXECUTE_HANDLER;
}

void testProcessorFault() {
    Example e;
    int* p = 0;
    *p = 42;
}

void testCppException() {
    Example e;
    throw 42;
}

int main()
{
    __try {
        testProcessorFault();
    }
    __except(filterException(GetExceptionCode(), GetExceptionInformation())) {
        std::cout << "caught" << std::endl;
    }
    __try {
        testCppException();
    }
    __except(filterException(GetExceptionCode(), GetExceptionInformation())) {
        std::cout << "caught" << std::endl;
    }
    return 0;
}

De sortie:

Filtering c0000005
destructed
caught
Filtering e06d7363
destructed
caught

__try/__except est Microsoft Si vous voulez que votre code compilable avec d'autres compilateurs (pour exemplec g++) (ou) dans un autre système d'exploitation d'éviter de les utiliser, et le bâton avec la standard try/catch états