{"id":103219,"date":"2019-12-17T07:00:00","date_gmt":"2019-12-17T15:00:00","guid":{"rendered":"http:\/\/devblogs.microsoft.com\/oldnewthing\/?p=103219"},"modified":"2019-12-16T18:42:57","modified_gmt":"2019-12-17T02:42:57","slug":"20191217-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20191217-00\/?p=103219","title":{"rendered":"C++ coroutines: no callable ‘await_resume’ function found for type"},"content":{"rendered":"

You try to co_await<\/code> something and get the error message<\/p>\n

no callable ‘await_resume’ (or ‘await_ready’ or ‘await_suspend’) function found for type ‘Expression’<\/p><\/blockquote>\n

What does this mean?<\/p>\n

Recall how the compiler generates code for co_await<\/code>:<\/p>\n\n\n\n\n\n\n
 <\/td>\n\n
calculate x<\/code><\/div>\n
obtain awaiter<\/code><\/div>\n<\/td>\n<\/tr>\n
co_await<\/code><\/td>\n\n
if (!awaiter.await_ready())<\/code><\/div>\n
{<\/code><\/div>\n
save state for resumption<\/div>\n
if (awaiter.await_suspend(handle))<\/code><\/div>\n
{<\/code><\/div>\n
return to caller<\/div>\n<\/td>\n<\/tr>\n
\n
[Invoking the handle resumes execution here]<\/div>\n
}<\/code><\/div>\n
restore state after resumption<\/div>\n
}<\/code><\/div>\n
result = awaiter.await_resume();<\/code><\/div>\n<\/td>\n<\/tr>\n
 <\/td>\nexecution continues<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

The “obtain awaiter” step always succeeds because of rule 3:<\/p>\n

    \n
  1. (We’re not ready to talk about step 1 yet.)<\/li>\n
  2. (We’re not ready to talk about step 2 yet.)<\/li>\n
  3. Otherwise, x<\/code> is its own awaiter.<\/li>\n<\/ol>\n

    Even if the mysterious first two steps fail, the third always succeeds.<\/p>\n

    The other parts of the code generation require that the awaiter implement methods named await_<\/code>ready<\/code>, await_<\/code>suspend<\/code>, and await_<\/code>resume<\/code>. If any of them is missing, the compiler will generate a corresponding message.<\/p>\n

    And if all of them<\/i> are missing, then the one the compiler complains about first is unpredictable. The current implementation of the compiler looks for await_<\/code>resume<\/code> first, but that is not contractual, and future versions may look for one of the other two methods first.<\/p>\n

    One of the reasons you may get this error is that you are awaiting something that simply isn’t awaitable.<\/p>\n

    struct something { };\r\n\r\nco_await something();\r\n<\/pre>\n
    The something<\/code> structure doesn’t have any of the required methods for being an awaitable object, so you will get an error.<\/p>\n
    Another reason you may get this error is that you were expecting one of the first two steps (which we haven’t talked about yet) to produce an awaiter, but they failed. We’ll investigate this after we learn about the mysterious step 2.<\/p>\n","protected":false},"excerpt":{"rendered":"
    The thing you want isn’t there.<\/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-103219","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
    The thing you want isn’t there.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/103219","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=103219"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/103219\/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=103219"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=103219"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=103219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}