try statement

statement := try-block

try-block ::= try compound-statement handler-seq

function-try-block ::= try [ctor-initializer] function-body handler-seq

handler-seq ::= handler | handler-seq handler

handler ::= catch ( exception-declaration ) compound-statement

exception-declaration ::= type-specifier-seq declarator | 

    type-specifier-seq abstract-declarator | type-specifier-seq |  . . .

The try statement executes compound-statement, and if an exception is thrown in any of the statements within that compound statement (and not caught and handled by another try statement), the catch handlers are tested to see if any of them can handle the exception. Each catch handler is tested in turn. The first one to match the exception type handles the exception. If no handler matches, the exception propagates up the call stack to the next try statement. If there is no further try statement, terminate( ) is called.

Example

int main(  )

try {

  run_program(  );

} catch(const exception& ex) {

  std::cerr << ex.what(  ) << '\n';

  abort(  );

} catch(...) {

  std::cerr << "Unknown exception. Program terminated.\n";

  abort(  );

}

See Also

catch, declarator, function, throw, type, Chapter 4, <exception> in Chapter 13