{"id":112368,"date":"2026-05-29T07:00:00","date_gmt":"2026-05-29T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=112368"},"modified":"2026-05-29T20:24:33","modified_gmt":"2026-05-30T03:24:33","slug":"20260529-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20260529-00\/?p=112368","title":{"rendered":"Sharing the result of a single Windows Runtime IAsyncOperation among multiple coroutines, part 3"},"content":{"rendered":"

Last time, we wrote a coroutine function that cached the result of another coroutine<\/a>, but it only cached successful calls. It didn’t cache failures, so if the inner coroutine fails, the outer one will simply try again the next time it is called. But what if we want to call the inner coroutine only once and cache the failure, too?<\/p>\n

We now have three states: Never tried, tried with success (and cache the success result), and tried with failure (and cache the failure). We can represent that as a variant with three types, using std::monostate<\/code> to represent the “never tried” state.\u00b9<\/p>\n

struct Widget : WidgetT<Widget>\r\n{\r\n    std::variant<std::monostate, winrt::Thing, std::exception_ptr> m_thing;\r\n    wil::unique_event m_busy{ wil::EventOptions::Signaled }; \/\/ auto-reset, initially signaled\r\n\r\n    IAsyncOperation<winrt::Thing> GetThingAsync()\r\n    {\r\n        auto lifetime = get_strong();\r\n\r\n        co_await winrt::resume_on_signal(m_busy.get());\r\n        auto not_busy = m_busy.SetEvent_scope_exit();\r\n\r\n        \/\/ If haven't tried, then this is our chance.\r\n        if (m_thing.holds_alternative<std::monostate>()) {\r\n            try {\r\n                m_thing = co_await GetThingWorkerAsync();\r\n            } catch (...) {\r\n                m_thing = std::current_exception();\r\n            }\r\n        }\r\n\r\n        \/\/ Return the cached result or cached failure.\r\n        if (auto thing = std::get_if<winrt::Thing>(&m_thing)) {\r\n            co_return *thing;\r\n        } else {\r\n            std::rethrow_exception(std::get<std::exception_ptr>());\r\n        }\r\n    }\r\n};\r\n<\/pre>\n
After getting past our serialization, we check whether the m_thing<\/code> holds a std::monostate<\/code>, meaning that we haven’t tried getting the thing yet. If so, then this is the first time through the function, so we will call Get\u00adThing\u00adWorker\u00adAsync<\/code> and save the answer in the m_thing<\/code>. If the call fails, then we save the exception in the m_thing<\/code>.<\/p>\n
Regardeless of whether this is the first or subsequent call, we know that by the time we get past the first if<\/code>, the m_thing<\/code> is definitely not a std::monostate<\/code>. If it has a winrt::Thing<\/code>, then we return that cached thing. Otherwise, it must be a std::exception_ptr<\/code>, so we rethrow that exception.<\/p>\n
If we know that Get\u00adThing\u00adWorker\u00adAsync<\/code> never succeeds with nullptr<\/code>, we can simplify the code by having separate variables (one for the non-null successful result and one for the exception pointer on failure), knowing that at most one of them will be non-null. And if both are null, then it means we haven’t attempted the call yet.<\/p>\n
struct Widget : WidgetT<Widget>\r\n{\r\n    winrt::Thing m_thing{ nullptr };<\/span>\r\n    std::exception_ptr m_ex;        <\/span>\r\n    wil::unique_event m_busy{ wil::EventOptions::Signaled }; \/\/ auto-reset, initially signaled\r\n\r\n    IAsyncOperation<winrt::Thing> GetThingAsync()\r\n    {\r\n        auto lifetime = get_strong();\r\n\r\n        co_await winrt::resume_on_signal(m_busy.get());\r\n        auto not_busy = m_busy.SetEvent_scope_exit();\r\n\r\n        \/\/ If haven't tried, then this is our chance.\r\n        if (!m_thing && !m_ex<\/span>) {\r\n            try {\r\n                m_thing = co_await GetThingWorkerAsync();\r\n                assert(m_thing);<\/span>\r\n            } catch (...) {\r\n                m_ex<\/span> = std::current_exception();\r\n            }\r\n        }\r\n\r\n        \/\/ Return the cached result or cached failure.<\/span>\r\n        if (m_thing) {                                <\/span>\r\n            co_return m_thing;                        <\/span>\r\n        } else {                                      <\/span>\r\n            std::rethrow_exception(m_ex);             <\/span>\r\n        }                                             <\/span>\r\n    }\r\n};\r\n<\/pre>\n
A variation where we try only once.<\/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-112368","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
A variation where we try only once.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/112368","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=112368"}],"version-history":[{"count":1,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/112368\/revisions"}],"predecessor-version":[{"id":112369,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/112368\/revisions\/112369"}],"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=112368"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=112368"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=112368"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\u00b9 Bonus reading about std::monostate<\/code>:  What’s the point of std::monostate<\/code>? You can’t do anything with it<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"