std::function_ref 的推导指引

来自cppreference.com


 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
函数对象
函数调用
(C++17)(C++23)
恒等函数对象
(C++20)
通透运算符包装器
(C++14)
(C++14)
(C++14)
(C++14)  
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)

旧式绑定器与适配器
(C++17 前*)
(C++17 前*)
(C++17 前*)
(C++17 前*)
(C++17 前*)(C++17 前*)(C++17 前*)(C++17 前*)
(C++20 前*)
(C++20 前*)
(C++17 前*)(C++17 前*)
(C++17 前*)(C++17 前*)

(C++17 前*)
(C++17 前*)(C++17 前*)(C++17 前*)(C++17 前*)
(C++20 前*)
(C++20 前*)
 
 
在标头 <functional> 定义
template< class F >
function_ref( F* ) -> function_ref<F>;
(1) (C++26 起)
template< auto f >
function_ref( std::nontype_t<f> ) -> function_ref</* 见下文 */>;
(2) (C++26 起)
template< auto f, class T >
function_ref( std::nontype_t<f>, T&& ) -> function_ref</* 见下文 */>;
(3) (C++26 起)
1) 此重载只有在 std::is_function_v<F>true 时才会参与重载决议。
2) 令类型 Fstd::remove_pointer_t<decltype(f)>。此重载只有在 std::is_function_v<F>true 时才会参与重载决议。推导的类型是 std::function_ref<F>
3) 令类型 Fdecltype(f)。此重载只有在:
  • F 对于类型 G 的形式为 R(G::*)(A...) noexcept(E)(可选有 cv 限定,可选为 noexcept,可选有左值引用限定),或者
  • F 对于类型 G 和对象类型 M 的形式为 M G::*,这种情况下令 Rstd::invoke_result_t<F, T&>A... 为空包,并令 Efalse,或者
  • F 对于类型 G 的形式为 R(*)(G, A...) noexcept(E)

时才会参与重载决议。

推导的类型是 std::function_ref<R(A...) noexcept(E)>

示例