std::packaged_task 的推导指南
来自 cppreference.cn
< 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)> }
