`std::function` 的推导指引

在标头 `<functional>` 定义
template< class R, class... ArgTypes > function( R(*)(ArgTypes...) ) -> function<R(ArgTypes...)>;	(1)	(C++17 起)
template<class F> function(F) -> function</see below/>;	(2)	(C++17 起)
template< class F > function( F ) -> function</see below/>;	(3)	(C++23 起)
template< class F > function( F ) -> function</see below/>;	(4)	(C++23 起)

1) 为 std::function 提供此推导指引以允许从函数推导。

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}; // 指引 #1 推导 function<int(double)>
  int i = 5;
  std::function g = [&](double) { return i; }; // 指引 #2 推导 function<int(double)>
}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 3238	C++17	(2) 的行为在 F::operator() 为 && 限定时不明确	明确为从重载决议排除

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
function::function
function::~function
function::operator=
function::swap
function::assign (C++17 前)
function::operator bool
function::operator()
function::target_type
function::target
非成员函数
operator==operator!= (C++20 前)
std::swap(std::function)
辅助类
std::uses_allocator<std::function> (C++17 前)
推导指引(C++17)

std::function 的推导指引

注解

示例

缺陷报告

导航

`std::function` 的推导指引