Exception handling syntax
Exception handling syntax varies between programming languages to accomodate their overall syntax. Some languages don't call the concept exception handling or they may not have direct facilities for it, but they can still provide means for implementing it.
Catalogue of exception handling syntaxes
public static void Main() { try { // Code that could throw an exception } catch(System.Net.WebException exp) { //Process a WebException } catch(System.Exception) { //Process a System level CLR exception, that is not a System.Net.WebException //since the exception has not been given an identifier it cannot be referenced } catch { //Process a non-CLR exception } finally { // (optional) code that will *always* execute } }
#include <exception> int main() { try { // do something (might throw an exception) } catch (const std::exception& e) { // handle exception e } catch (...) { // unknown exception, should not happen } }
In C++, a resource acquisition is initialization technique can be used to clean up resources in exceptional situations.
import std.stdio; // for writefln() int main() { try { // do something that might throw an exception } catch (FooException e) { // handle exceptions of type FooException } catch (Object o) { // handle any other exceptions writefln("Unhandled exception: ", o); return 1; } return 0; }
In D, a finally clause or the resource acquisition is initialization technique can be used to clean up resources in exceptional situations.
try { // Normal execution path } catch (ExampleException ee) { // deal with the ExampleException } finally { // This optional section is executed upon termination of any of the try or catch blocks above }
begin # Do something nifty raise SomeError, "This is the error message!" # Uh-oh! rescue SomeError # This is executed when a SomeError exception # is raised rescue AnotherError => error # Here, the exception object is referenced from the # `error' variable else # This is executed only if no exceptions were raised ensure # This is always executed, exception or not end
try: f = file("aFileName") except IOError: print "Unable to open file" except: # catch all exceptions print "Unexpected error" else: # no exception was raised try: f.write(could_make_error()) finally: # clean-up actions f.close()
exception MyException of string * int (* exceptions can carry a value *) let _ = try raise (MyException ("not enough food", 2)); print_endline "Not reached" with | MyException (s, i) -> Printf.printf "MyException: %s, %d\n" s i | _ -> (* catch all exceptions *) print_endline "Unexpected exception"
The most common way to implement exception handling in standard C is to use setjmp/longjmp functions:
#include <setjmp.h> #include <stdio.h> enum { SOME_EXCEPTION = 1 }; jmp_buf state; int main() { int exception; if((exception = setjmp(state)) == 0) // try { if(/* something happend */) longjmp(state, SOME_EXCEPTION); // throw SOME_EXCEPTION } else switch(exception) { case SOME_EXCEPTION: // catch SOME_EXCEPTION puts("SOME_EXCEPTION caught"); break; default: // catch ... puts("Some strange exception"); } return 0; }
Some operating systems also have similar features, for example Microsoft Windows has "structured exception handling":
int filterExpression (EXCEPTION_POINTERS* ep) { ++ep->ContextRecord->Eip; return EXCEPTION_CONTINUE_EXECUTION; } int main() { static int zero; __try { zero = 1/zero; printf ("Past the exception.\n"); } __except (filterExpression (GetExceptionInformation())) { printf ("Handler called.\n"); } return 0; }
eval { # Code that could throw an exception } if($@){ # Handle exception here. (The exception object is in $@) }
// Exception handling is only available in PHP versions 5 and greater. == try == try { ... // Code which might throw an exception } catch (FirstExceptionClass $exception) { ... // Code which handles this exception } catch (SecondExceptionClass $exception) { // you get the idea what i mean ;) }
(php5powerprogramming: ISBN 0-13-147149-X, page 77)
try try // Code which may raise an exception except on E:Exception do // Code to call when an exception is raised end; finally // Code which will be executed whether or not an exception is raised (e.g. clean-up code) end;
See also
- Exception handling for the semantics of exception handling
- Syntax#Syntax in computer science for definition of syntax in computer science