{"id":95915,"date":"2017-04-06T07:00:00","date_gmt":"2017-04-06T21:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/oldnewthing\/?p=95915"},"modified":"2019-03-13T01:09:14","modified_gmt":"2019-03-13T08:09:14","slug":"20170406-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20170406-00\/?p=95915","title":{"rendered":"What can I do if I want to throw a C++ exception from my InitOnce callback?"},"content":{"rendered":"

Suppose you want to use the Init­Once­Execute­Once<\/code> function to perform one-time initialization, but your initialization function might throw a C++ exception. We know that this is not allowed because you don’t control all the frames the exception is being thrown across<\/a>, so what are your options? <\/p>\n

The naïve solution is to catch the exception before it escapes your callback, and then rethrow it on the other side. <\/p>\n

\nvoid Sample()\n{\n    struct State {\n        std::exception_ptr p;\n        \/\/ other members you want to access from the lambda\n    } state;\n    if (!InitOnceExecuteOnce(&g_InitOnce,\n          [](PINIT_ONCE InitOnce, void* Parameter, void** Context)\n          -> BOOL\n          {\n              auto s = reinterpret_cast<State*>(Parameter);\n              try {\n                  init_stuff();\n                  return TRUE;\n              } catch (std::exception& e) {\n                  s->p = std::current_exception();\n                  return FALSE;\n              }\n          }, &state, nullptr)) {\n        \/\/ Failed due to exception.  Rethrow now that we are\n        \/\/ safely outside the InitOnceExecuteOnce function.\n        std::rethrow_exception(state.p);\n    }\n}\n<\/pre>\n
A less cumbersome solution is to use synchronous two-phase initialization<\/a>: <\/p>\n
\nvoid Sample()\n{\n    void* result;\n    BOOL pending;\n    if (!InitOnceBeginInitialize(&g_InitOnce, 0,\n                                 &pending, &result)) {\n        if (pending) {\n            try {\n                init_stuff();\n            } catch (...) {\n                InitOnceComplete(&g_InitOnce,\n                                 INIT_ONCE_INIT_FAILED, result);\n                throw;\n            }\n            InitOnceComplete(&g_InitOnce, 0, result);\n        }\n    }\n}\n<\/pre>\n
Synchronous two-phase initialization performs the initialization inline rather than in a callback, which saves you the trouble of having to save the exception in one place and rethrow it in another place. You can just tell the InitOnce engine that initialization failed and then allow the exception to propagate. <\/p>\n
You might decide to wrap this pattern inside an RAII type. <\/p>\n
\nclass InitOnceGuard\n{\npublic:\n    InitOnceGuard(PINIT_ONCE initOnce) :\n        m_initOnce(initOnce),\n        m_success(InitOnceBeginInitialize(initOnce, 0, &m_pending, nullptr)),\n        m_status(INIT_ONCE_INIT_FAILED)\n    {\n    }\n\n    ~InitOnceGuard()\n    {\n        if (NeedInitialization()) InitOnceComplete(m_initOnce, m_status, nullptr);\n    }\n\n    InitOnceGuard(const InitOnceGuard&) = delete;\n    InitOnceGuard(InitOnceGuard&&) = delete;\n    InitOnceGuard& operator=(const InitOnceGuard&) = delete;\n    InitOnceGuard& operator=(const InitOnceGuard&&) = delete;\n\n    bool NeedInitialization() { return m_success && m_pending; }\n\n    \/\/ If you don't Complete, then the guard assumes that initialization failed.\n    void Complete() { m_status = 0; }\n\nprivate:\n    PINIT_ONCE m_initOnce;\n    bool m_success;\n    bool m_pending;\n    DWORD m_status;\n}\n\nvoid Sample()\n{\n    InitOnceGuard guard(&g_InitOnce);\n    if (guard.NeedInitialization()) {\n        init_stuff();\n        guard.Complete();\n    }\n}\n<\/pre>\n
If the guard<\/code> destructs without ever being Complete<\/code>d, either because of an exception, or because the caller decided that initialization failed in an unexceptional way, then the destructor will tell the InitOnce engine that initialization failed. This will unblock any other threads that are waiting for initialization to complete and allow them to give it a try. <\/p>\n
If the guard<\/code> is Complete<\/code>d, then its destructor tells the InitOnce engine that initialization was successful. <\/p>\n
After thinking about all that, you might realize that the fact that you’re throwing C++ exceptions means that you’re already committed to C++, so you may as well go all in: Use std::call_once<\/code> or C++ static locals. These are part of the C++ standard and are fully exception-aware. Of course, it assumes that all the frames you are throwing across came from the same C++ compiler. <\/p>\n","protected":false},"excerpt":{"rendered":"
There’s the naïve solution and a sneakier one.<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-95915","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
There’s the naïve solution and a sneakier one.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/95915","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=95915"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/95915\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=95915"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=95915"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=95915"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}