std::packaged_task 的推导指南
来自 cppreference.com
< cpp | thread | packaged task
| 在头文件 <future> 中定义 |
||
| template< class R, class... Args > packaged_task( R(*)(Args...) ) -> packaged_task<R(Args...)>; |
(1) | (自 C++17 起) |
| template< class F > packaged_task( F ) -> packaged_task</*见下文*/>; |
(2) | (自 C++17 起) |
| template< class F > packaged_task( F ) -> packaged_task</*见下文*/>; |
(3) | (自 C++23 起) |
| template< class F > packaged_task( F ) -> packaged_task</*见下文*/>; |
(4) | (自 C++23 起) |
2) 仅当将 &F::operator() 视为未经评估的操作数时，此重载才参与重载解析，并且 decltype(&F::operator()) 的形式为 R(G::*)(A...)（可选地进行 cv 限定、可选地进行 noexcept 限定、可选地进行左值引用限定）。推导的类型为 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}; // deduces packaged_task<int(double)> int i = 5; std::packaged_task g = [&](double) { return i; }; // => packaged_task<int(double)> }
