std::function 的推导指引
来自 cppreference.cn
< cpp | utility | functional | function
| 定义于头文件 <functional> |
||
| template< class R, class... ArgTypes > function( R(*)(ArgTypes...) ) -> function<R(ArgTypes...)>; |
(1) | (自 C++17 起) |
| template< class F > function( F ) -> function</*见下文*/>; |
(2) | (自 C++17 起) |
| template< class F > function( F ) -> function</*见下文*/>; |
(3) | (自 C++23 起) |
| template< class F > function( F ) -> function</*见下文*/>; |
(4) | (自 C++23 起) |
2) 仅当将 &F::operator() 视为未求值操作数时为良构，且 decltype(&F::operator()) 具有形式 R(G::*)(A...) (可选地带有 cv 限定符，可选地 noexcept，可选地左值引用限定) 时，此重载才参与重载决议。推导出的类型为 std::function<R(A...)>。
3) 仅当将 &F::operator() 视为未求值操作数时为良构，且 F::operator() 为 显式对象形参函数，其类型具有形式 R(G, A...) 或 R(G, A...) noexcept 时，此重载才参与重载决议。推导出的类型为 std::function<R(A...)>。
4) 仅当将 &F::operator() 视为未求值操作数时为良构，且 F::operator() 为 静态成员函数，其类型具有形式 R(A...) 或 R(A...) noexcept 时，此重载才参与重载决议。推导出的类型为 std::function<R(A...)>。
[编辑] 注解
这些推导指引不允许从带有省略号形参的函数进行推导，并且类型中的 ... 始终被视为包展开。
这些推导指引推导出的类型可能会在以后的标准修订中更改（特别是，如果 noexcept 支持添加到以后的标准中的 std::function 时，可能会发生这种情况）。
[编辑] 示例
运行此代码
#include <functional> int func(double) { return 0; } int main() { std::function f{func}; // guide #1 deduces function<int(double)> int i = 5; std::function g = [&](double) { return i; }; // guide #2 deduces function<int(double)> }
[编辑] 缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| LWG 3238 | C++17 | 当 (2) 的行为不明确时 F::operator() 是 && 限定的 |
澄清为从重载决议中排除 |
