命名空间
变体
操作

std::function_ref 的推导指引

来自 cppreference.cn
 
 
 
函数对象
函数调用
(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++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) (since C++26)
template< auto f >
function_ref( std::nontype_t<f> ) -> function_ref</*见下方*/>;
(2) (since C++26)
template< auto f, class T >
function_ref( std::nontype_t<f>, T&& ) -> function_ref</*见下方*/>;
(3) (since 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 的形式为 R(G::*)(A...) noexcept(E) (可选地带有 cv 限定,可选地 noexcept,可选地为左值引用限定),对于类型 G,或
  • F 的形式为 M G::*,对于类型 G 和对象类型 M,在这种情况下,设 Rstd::invoke_result_t<F, T&>A... 为空包,且 E 为 false,或
  • F 的形式为 R(*)(G, A...) noexcept(E),对于类型 G
推导的类型为 std::function_ref<R(A...) noexcept(E)>

[编辑] 示例