std::function_ref
的推导指引
来自cppreference.com
< cpp | utility | functional | function ref
在标头 <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 起) |
2) 令类型 F 为 std::remove_pointer_t<decltype(f)>。此重载只有在 std::is_function_v<F> 为 true 时才会参与重载决议。推导的类型是 std::function_ref<F>。
3) 令类型 F 为 decltype(f)。此重载只有在:
- F 对于类型 G 的形式为 R(G::*)(A...) noexcept(E)(可选有 cv 限定,可选为 noexcept,可选有左值引用限定),或者
- F 对于类型 G 和对象类型 M 的形式为 M G::*,这种情况下令 R 为 std::invoke_result_t<F, T&>,A... 为空包,并令 E 为 false,或者
- F 对于类型 G 的形式为 R(*)(G, A...) noexcept(E)。
时才会参与重载决议。
- 推导的类型是 std::function_ref<R(A...) noexcept(E)>。
示例
本节未完成 原因:暂无示例 |