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)> }
