deduction guides for std::packaged_task

1) 이 deduction guide 는 함수로부터의 추론을 허용하기 위해 std::packaged_task 에 제공됩니다.

2) 이 오버로드는 다음 조건에서만 오버로드 해결에 참여합니다: & F :: operator ( ) 가 평가되지 않은 피연산자로 취급될 때 올바른 형식을 가지며, decltype ( & F :: operator ( ) ) 가 다음 형식인 경우입니다 R ( G :: * ) ( A... ) (선택적으로 cv-qualified, 선택적으로 noexcept, 선택적으로 lvalue reference qualified). 추론된 타입은 std:: packaged_task < R ( A... ) > 입니다.

3) 이 오버로드는 다음 조건에서만 오버로드 해결에 참여합니다: & F :: operator ( ) 가 평가되지 않은 피연산자로 취급될 때 올바른 형식이며, F :: operator ( ) 가 명시적 객체 매개변수 함수 이고 그 형식이 R ( G, A... ) 또는 R ( G, A... ) noexcept 형태인 경우입니다. 추론된 형식은 std:: packaged_task < R ( A... ) > 입니다.

4) 이 오버로드는 다음 조건에서만 오버로드 해결에 참여합니다: & F :: operator ( ) 가 평가되지 않은 피연산자로 취급될 때 올바른 형식을 가지며, F :: operator ( ) 가 정적 멤버 함수 이고 그 형식이 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)>
}