C++ 具名要求： 可调用 (Callable)

可调用 (Callable) 类型是可应用 INVOKE 操作（例如用于 std::function、std::bind 和 std::thread::thread）的类型。此操作可以用库函数 std::invoke 显式进行。 (C++17 起)

要求

若满足下列条件，则类型 T 满足可调用 (Callable)

给定

• T 类型的对象 f
• 适合的实参类型列表 ArgTypes
• 适合的返回类型 R

则下列表达式必须合法：

表达式	要求
INVOKE<R>(f, std::declval<ArgTypes>()...)	该表达式在不求值语境中良构

其中 INVOKE<R>(f, t1, t2, ..., tN)，若 R 是可有 cv 限定的 void，则定义为 static_cast<void>(INVOKE(f, t1, t2, ..., tN))，否则为 INVOKE(f, t1, t2, ..., tN)，隐式转换成 R

其中 INVOKE(f, t1, t2, ..., tN) 定义如下：

• è‹¥ f 是类 T 的成员函数指针：

• è‹¥ std::is_base_of<T, std::remove_reference_t<decltype(t1)>>::value 为 true，则 INVOKE(f, t1, t2, ..., tN) 等价于 (t1.*f)(t2, ..., tN)
• 否则，若 std::remove_cvref_t<decltype(t1)> 为 std::reference_wrapper 的特化，则 INVOKE(f, t1, t2, ..., tN) 等价于 (t1.get().*f)(t2, ..., tN) (C++17 èµ·)
• 否则，若 t1 不满足前述条件，则 INVOKE(f, t1, t2, ..., tN) 等价于 ((*t1).*f)(t2, ..., tN)。

• 否则，若 N == 1 且 f 是类 T 的数据成员指针：

• è‹¥ std::is_base_of<T, std::remove_reference_t<decltype(t1)>>::value 为 true，则 INVOKE(f, t1) 等价于 t1.*f
• 否则，若 std::remove_cvref_t<decltype(t1)> 是 std::reference_wrapper 的特化，则 INVOKE(f, t1) 等价于 t1.get().*f (C++17 èµ·)
• 否则，若 t1 不满足前述条件，则 INVOKE(f, t1) 等价于 (*t1).*f

• 否则，INVOKE(f, t1, t2, ..., tN) 等价于 f(t1, t2, ..., tN)（即 f 是一个函数对象 (FunctionObject) ）

注解

对于成员函数指针和数据成员指针，t1 可以是一个常规指针或一个重载了 operator* 的类的对象，例如 std::unique_ptr 或 std::shared_ptr。

数据成员指针为可调用 (Callable) ，尽管并不发生函数调用。

标准库

此外，下列标准库设施接受任何可调用 (Callable) 类型（不仅是函数对象 (FunctionObject) ）

std::function

std::bind

std::result_of

std::thread::thread

std::call_once

std::async

std::packaged_task

std::reference_wrapper

缺陷报告

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

DR	应用于	出版时的行为	正确行为
LWG 2420	C++11	当 R 为 void 时，结果必须可隐式转换为 void（这是不可能的）	当 R 为 void 时结果可以显式转换后为 void

参阅

is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)

检查类型能否以给定的实参类型调用（如同以 std::invoke） (类模板)