{"id":104075,"date":"2020-08-12T07:00:00","date_gmt":"2020-08-12T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=104075"},"modified":"2020-09-09T06:13:43","modified_gmt":"2020-09-09T13:13:43","slug":"20200812-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20200812-00\/?p=104075","title":{"rendered":"Hidden constraints on the result type in Concurrency Runtime tasks"},"content":{"rendered":"

If you are using the Concurrency Runtime task<T><\/code><\/a> to represent asynchronous activity, there are some hidden constraints on the type T<\/code>. If you violate these constraints, the compiler will complain, but perhaps not in an obvious way.\u00b9<\/p>\n

If you try to create a task<T><\/code> where T<\/code> does not have a public default constructor, then you get an error like<\/p>\n

ppltasks.h: error C2280: 'Concurrency::details::_ResultHolder<_ReturnType>::_ResultHolder(void)': attempting to reference a deleted function\r\nwith _ReturnType = T\r\n<\/pre>\n
And if the T<\/code> is not copyable, then you get something like<\/p>\n
ppltasks.h: Error C2280: 'T::T(const T&) noexcept' attempting to reference a deleted function\r\n<\/pre>\n
What’s going on?<\/p>\n
Let’s look at the copyability first. Task results must be copyable because the task result can be consumed multiple times in multiple ways. You can get()<\/code> multiple times, and each time returns the task result. You can call then()<\/code> multiple times, and each continuation is given the task result. If the task result were not copyable, then only one of the calls to get()<\/code> or then()<\/code> will get the result, and the others would get, um, a letter of apology?<\/p>\n
The requirement that the type be publicly constructible is a consequence of the fact that the task contains a copy of the T<\/code>, and if the task hasn’t completed yet, then the T<\/code> object needs to contains something<\/i>, so the library just puts a default-constructed T<\/code> in it. This requirement is confessed in the source code:<\/p>\n
    \/\/ this means that the result type must have a public default ctor.\r\n    _ResultHolder<_ReturnType> _M_Result;\r\n<\/pre>\n
Okay, so how can you work around these limitations? We’ll look at that  next time<\/a>.<\/p>\n
\u00b9 Related reading<\/b>:  Why does my C++\/WinRT project get errors of the form “abi<\u2026>::\u2026<\/code> is abstract see reference to producer<\u2026><\/code>“?<\/a>, on the underappreciated need for libraries to generate comprehensible error messages when used incorrectly, and the difficulty of compiler error message meta-programming. For these two cases, the Concurrency Runtime could have added some static_assert<\/code>s to generate custom error messages.<\/p>\n
template<typename _Type>\r\nstruct _ResultHolder\r\n{\r\n    static_assert(std::is_default_constructible<_Type>::value,\r\n        \"The result type of a task must be default constructible\");\r\n    static_assert(std::is_copy_constructible<T>::value,\r\n        \"The result type of a task must be copy constructible\");\r\n\r\n    ....\r\n};\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"
If you are using the Concurrency Runtime task<T> to represent asynchronous activity, there are some hidden constraints on the type T. If you violate these constraints, the compiler will complain, but perhaps not in an obvious way.\u00b9 If you try to create a task<T> where T does not have a public default constructor, then you […]<\/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-104075","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
If you are using the Concurrency Runtime task<T> to represent asynchronous activity, there are some hidden constraints on the type T. If you violate these constraints, the compiler will complain, but perhaps not in an obvious way.\u00b9 If you try to create a task<T> where T does not have a public default constructor, then you […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104075","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=104075"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104075\/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=104075"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=104075"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=104075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}