This PR seems to be an improvement as it makes noexcept specified by the Standard explicitly spelt.

However, the touched move functions are already implicitly noexcept. E.g. the following code snippet is accepted with MSVC STL (Godbolt link).

#include <future>
#include <type_traits>
static_assert(std::is_nothrow_move_constructible_v<std::packaged_task<void()>>);
static_assert(std::is_nothrow_move_constructible_v<std::packaged_task<int(long)>>);
static_assert(std::is_nothrow_move_assignable_v<std::packaged_task<void()>>);
static_assert(std::is_nothrow_move_assignable_v<std::packaged_task<int(long)>>);

I think the title of this PR should be changed to

Explicitly spell the noexcept-specifier of the move constructor and move assignment operator of packaged_task

@microsoft-github-policy-service agree

Oops, the original explicit noexcept-specifiers were dropped by #3315... by me.

It's not all on you: in the past we've avoided explicit noexcepts - and even some constexprs - on defaulted member functions. I think it was just to have less code to read, both for us and (as you suggest) the compiler.

I agree that we should be explicit given the enormous number of readers the code gets with a diversity of experiences. It would be nice not to have to read the entire header simply to determine that packaged_task's move constructor is noexcept, or example.

@heckerpowered, for future reference we prefer that authors don't force push PR branches after review starts because it tends to break incremental code review. (GitHub's "show changes since your last review" feature gets confused. Or at least it did, I haven't checked for a while.) It's obviously a non-issue for this two-line change, but for bigger things we will cry and gnash our teeth with frustration. And nobody likes gnashing.

I remembered to check for R& and void specializations (as seen in other <future> technology) but packaged_task doesn't have them, so this change is correct and complete. 😸

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

Thanks for this clarity improvement and congratulations on your first microsoft/STL commit! 🎉 😸 🚀