{"id":105173,"date":"2021-05-03T07:00:00","date_gmt":"2021-05-03T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=105173"},"modified":"2021-05-03T06:10:39","modified_gmt":"2021-05-03T13:10:39","slug":"20210503-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20210503-00\/?p=105173","title":{"rendered":"C++ coroutines: Converting among tasks that use the same promise"},"content":{"rendered":"

If the only difference between tasks is in the awaiter, then it’s possible to convert between them without the promise even knowing what happened. We have an example of this with our simple_task<\/code> and com_simple_task<\/code>, which differ only in the awaiter produced by the co_await<\/code> operator. This means that we can actually convert between the two by simple wrapping the promise inside the other class:<\/p>\n

    template<typename T>\r\n    struct simple_task : details::simple_task_base<T>\r\n    {\r\n        using base = details::simple_task_base<T>;\r\n        simple_task() noexcept = default;\r\n        simple_task(details::simple_promise<T>*\r\n            initial) noexcept : base(initial)\r\n            { this->promise->start(); }\r\n        simple_task(com_aware_task<T>&& other) noexcept\r\n            : base(std::move(other)) { }<\/span>\r\n        ...\r\n    };\r\n\r\n    template<typename T>\r\n    struct com_aware_task : details::simple_task_base<T>\r\n    {\r\n        using base = details::simple_task_base<T>;\r\n        com_aware_task() noexcept = default;\r\n        com_aware_task(details::simple_promise<T>*\r\n            initial) noexcept : base(initial)\r\n            { this->promise->start(); }\r\n        com_aware_task(simple_task<T>&& other) noexcept\r\n            : base(std::move(other)) { }<\/span>\r\n        ...\r\n    };\r\n<\/pre>\n
You can now take a simple_task<T><\/code> and re-wrap it inside a com_aware_task<T><\/code>:<\/p>\n
extern async_helpers::simple_task<void> SomethingAsync();\r\n\r\nauto task = com_aware_task<void>(SomethingAsync());\r\n<\/pre>\n
The Something\u00adAsync<\/code> function returned a simple_task<void><\/code>, but we converted it to a com_aware_task<void><\/code>.<\/p>\n
We can also do the same thing to convert a cold-start task to a simple task or com-aware task by adopting the promise and starting it. However, we cannot convert a hot-start task into a cold-start task because the task has already started; you can’t un-start a task.<\/p>\n
The last step here is to remove the need to retype the coroutine return value when performing the conversion. We do this by adding deduction guides.<\/p>\n
    template<typename T>\r\n    simple_task(com_aware_task<T>&&) -> simple_task<T>;\r\n    template<typename T>\r\n    com_aware_task(simple_task<T>&&) -> com_aware_task<T>;\r\n<\/pre>\n
Now you can write<\/p>\n
auto task = com_aware_task(SomethingAsync());\r\n<\/pre>\n
Next time, I’ll look at a dark corner of the coroutine specification and how danger lurks inside.<\/p>\n","protected":false},"excerpt":{"rendered":"
Keeping the promise in the dark.<\/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-105173","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Keeping the promise in the dark.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/105173","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=105173"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/105173\/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=105173"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=105173"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=105173"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}