Function-try-block is a mechanism in C++ to establish an exception handler around the body of a function. The following is an example:<\/p>\n
int foo() \r\n{\r\n throw std::runtime_error(\"oops...\");\r\n}\r\n\r\nint main()\r\ntry\r\n{\r\n foo();\r\n return 0;\r\n}\r\ncatch (...)\r\n{\r\n return -1;\r\n}<\/pre>\n<\/p>\n
The function foo()<\/tt> throws and the exception is caught in the catch block so that the function main()<\/tt> returns with value -1.<\/p>\n
Function-try-block can be used with regular functions, constructors, and destructors. Their use for functions and destructors is of little use and so far I have never seen it used in these cases. The function main()<\/tt> above is semantically equivalent to the following:<\/p>\nint main()\r\n{\r\n try\r\n {\r\n foo();\r\n return 0;\r\n }\r\n catch (...)\r\n {\r\n return -1;\r\n }\r\n}<\/pre>\nHowever, there are still gotchas that you must be aware of:<\/p>\n
\n- Exceptions from constructors and destructors of objects declared in the global namespace are not caught with function-try-catch in main()<\/tt>.\n
struct foo\r\n{\r\n foo()\r\n {\r\n throw std::runtime_error(\"oops...\");\r\n }\r\n};\r\n\r\nfoo f;\r\n\r\nint main()\r\ntry\r\n{ \r\n return 0;\r\n}\r\ncatch (...)\r\n{\r\n return -1;\r\n}<\/pre>\n<\/li>\n- Exceptions from destructors of static objects are not caught with function-try-catch in main()<\/tt>.\n
struct foo\r\n{\r\n ~foo() noexcept(false)\r\n {\r\n throw std::runtime_error(\"oops...\");\r\n }\r\n};\r\n\r\nint main()\r\ntry\r\n{ \r\n static foo f;\r\n return 0;\r\n}\r\ncatch (...)\r\n{\r\n return -1;\r\n}<\/pre>\n<\/li>\n- If a function (any function, not just main()<\/tt>) has a return type other than void<\/tt> and the function-try-catch does not have a return statement in the catch block then the behaviour is undefined.\n
int foo()\r\n{\r\n throw std::runtime_error(\"oops...\");\r\n}\r\n\r\nint main()\r\ntry\r\n{ \r\n return 0;\r\n}\r\ncatch (...)\r\n{ \r\n \/\/ undefined behaviour\r\n}<\/pre>\n<\/li>\n<\/ul>\nSo what is then the real use of function-try-catch? The answer is catching exceptions in constructors member initializer list. Let’s take the following example:<\/p>\n
int foo()\r\n{\r\n throw std::runtime_error(\"oops...\");\r\n}\r\n\r\nstruct bar\r\n{\r\n bar() try : data(foo())\r\n {\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << e.what() << '\\n';\r\n }\r\nprivate:\r\n int data;\r\n};\r\n\r\nint main()\r\n{\r\n bar b;\r\n}<\/pre>\nA function-try-block is used with the constructor of bar<\/tt>. The exception thrown by the function foo()<\/tt> is caught in the catch block. If you run the program, “oops…” is printed to the console. But then, the program is aborted. The reason for this that the exception caught in the catch block of a function-try-catch of a constructor or destructor is rethrown<\/strong>! Therefore, the purpose of this handler is to perhaps log the error and\/or run some cleanup code. Alternatively, you can throw a different exception than the one being caught, as shown in the following example:<\/p>\nstruct bar\r\n{\r\n bar() try : data(foo())\r\n {\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << e.what() << '\\n';\r\n throw std::runtime_error(\"bar failed to initialize\");\r\n }\r\nprivate:\r\n int data;\r\n};\r\n\r\nint main()\r\n{\r\n try\r\n {\r\n bar b;\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << e.what() << '\\n';\r\n }\r\n}<\/pre>\nOf course, you can have multiple catch blocks too:<\/p>\n
struct bar\r\n{\r\n bar() try : data(foo())\r\n {\r\n }\r\n catch (std::runtime_error const & e)\r\n {\r\n std::cout << e.what() << '\\n';\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << \"unexpected: \" << e.what() << '\\n';\r\n }\r\nprivate:\r\n int data;\r\n};<\/pre>\nIt is important to note that base class destructors are called after derived class destructors but before the catch block of function-try-block of the derived destructor. <\/p>\n
int foo()\r\n{\r\n throw std::runtime_error(\"oops...\");\r\n}\r\n\r\nstruct base\r\n{\r\n virtual ~base() noexcept(false)\r\n {\r\n std::cout << \"destructing base\" << '\\n'; \r\n }\r\n};\r\n\r\nstruct derived : base\r\n{\r\n ~derived() noexcept(false)\r\n try\r\n {\r\n std::cout << \"destructing derived\" << '\\n';\r\n foo();\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << \"got it: \" << e.what() << '\\n';\r\n }\r\n};\r\n\r\nint main()\r\n{\r\n try\r\n {\r\n derived d;\r\n }\r\n catch (std::exception const & e)\r\n {\r\n std::cout << e.what() << '\\n';\r\n }\r\n}<\/pre>\nThe output of this program is:<\/p>\n
destructing derived\r\ndestructing base\r\ngot it: oops...\r\noops...<\/pre>\nFurther readings:<\/p>\n
\n- Understanding C++ Function Try Blocks<\/a><\/li>\n
- Function-try-block<\/a><\/li>\n
- When is a function try block useful?<\/a><\/li>\n<\/ul>\n
Note<\/strong>: whether C++ destructors should throw or not is another topic beyond the scope of this article.<\/p>\n","protected":false},"excerpt":{"rendered":"Function-try-block is a mechanism in C++ to establish an exception handler around the body of a function. The following is an example:<\/p>\n
int foo() \r\n{\r\n throw std::runtime_error(\"oops...\");\r\n}\r\n\r\nint main()\r\ntry\r\n{\r\n foo();\r\n return 0;\r\n}\r\ncatch (...)\r\n{\r\n return -1;\r\n}<\/pre>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","advgb_blocks_editor_width":"","advgb_blocks_columns_visual_guide":"","_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[7],"tags":[451,580,581],"class_list":["post-3360","post","type-post","status-publish","format-standard","hentry","category-c","tag-c","tag-exceptions","tag-try-catch"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t