deduction guides for std::packaged_task

1) この deduction guide は、 std::packaged_task が関数からの推論を可能にするために提供されています。

2) このオーバーロードは、以下の条件を満たす場合にのみオーバーロード解決に参加します： & F :: operator ( ) が未評価オペランドとして扱われた際に適切な形式であり、かつ decltype ( & F :: operator ( ) ) が R ( G :: * ) ( A... ) の形式（オプションでcv修飾、オプションでnoexcept、オプションで左辺値参照修飾）である場合です。推定される型は std:: packaged_task < R ( A... ) > です。

3) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： & F :: operator ( ) が未評価オペランドとして扱われた際に well-formed であり、かつ F :: operator ( ) が 明示的オブジェクトパラメータ関数 であり、その型が R ( G, A... ) または R ( G, A... ) noexcept の形式である場合です。推定される型は std:: packaged_task < R ( A... ) > です。

4) このオーバーロードは、以下の条件が満たされる場合にのみオーバーロード解決に参加します： & F :: operator ( ) が未評価オペランドとして扱われた際に well-formed であり、かつ F :: operator ( ) が static member function であり、その型が R ( A... ) または R ( A... ) noexcept の形式である場合です。推論される型は std:: packaged_task < R ( A... ) > です。

#include <future>
int func(double) { return 0; }
int main()
{
    std::packaged_task f{func}; // packaged_task<int(double)> を推論
    int i = 5;
    std::packaged_task g = [&](double) { return i; }; // => packaged_task<int(double)>
}