std::function_ref
的推导指引
来自 cppreference.cn
< cpp | utility | functional | function ref
定义于头文件 <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) |
2) 设类型 F 为 std::remove_pointer_t<decltype(f)>。仅当 std::is_function_v<F> 为 true 时,此重载参与重载决议。推导的类型为 std::function_ref<F>。
3) 设类型 F 为 decltype(f)。仅当以下情况时,此重载参与重载决议:
- F 的形式为 R(G::*)(A...) noexcept(E) (可选地带有 cv 限定,可选地 noexcept,可选地为左值引用限定),对于类型 G,或
- F 的形式为 M G::*,对于类型 G 和对象类型 M,在这种情况下,设 R 为 std::invoke_result_t<F, T&>,A... 为空包,且 E 为 false,或
- F 的形式为 R(*)(G, A...) noexcept(E),对于类型 G。
- 推导的类型为 std::function_ref<R(A...) noexcept(E)>。
[编辑] 示例
本节尚不完整 原因:没有示例 |