调用协议¶
CPython 支持两种不同的调用协议:tp_call 和 vectorcall。
tp_call 协议¶
设置 tp_call
的类的实例是可调用的。槽的签名是
PyObject *tp_call(PyObject *callable, PyObject *args, PyObject *kwargs);
调用使用元组作为位置参数,使用字典作为关键字参数,类似于 Python 代码中的 callable(*args, **kwargs)
。args 必须是非 NULL(如果没有参数则使用空元组),但如果没有关键字参数,kwargs 可以为 NULL。
此约定不仅由 tp_call 使用:tp_new
和 tp_init
也以这种方式传递参数。
要调用对象,请使用 PyObject_Call()
或其他 调用 API。
Vectorcall 协议¶
在 3.9 版本中添加。
vectorcall 协议在 PEP 590 中引入,作为提高调用效率的附加协议。
根据经验,如果可调用对象支持,CPython 将优先使用 vectorcall 进行内部调用。但是,这不是硬性规定。此外,一些第三方扩展直接使用 tp_call(而不是使用 PyObject_Call()
)。因此,支持 vectorcall 的类也必须实现 tp_call
。此外,无论使用哪种协议,可调用对象的行为都必须相同。实现此目的的建议方法是将 tp_call
设置为 PyVectorcall_Call()
。这需要重复强调
警告
支持 vectorcall 的类必须也实现具有相同语义的 tp_call
。
在 3.12 版本中更改: 当类的 __call__()
方法被重新分配时,Py_TPFLAGS_HAVE_VECTORCALL
标志现在从类中删除。(这在内部仅设置 tp_call
,因此可能使其行为与 vectorcall 函数不同。)在早期 Python 版本中,vectorcall 仅应与 immutable
或静态类型一起使用。
如果 vectorcall 比 tp_call 慢,则类不应实现 vectorcall。例如,如果被调用者无论如何都需要将参数转换为 args 元组和 kwargs 字典,那么实现 vectorcall 就没有意义了。
类可以通过启用 Py_TPFLAGS_HAVE_VECTORCALL
标志并将 tp_vectorcall_offset
设置为对象结构内 vectorcallfunc 出现的偏移量来实现 vectorcall 协议。这是指向具有以下签名的函数的指针
-
typedef PyObject *(*vectorcallfunc)(PyObject *callable, PyObject *const *args, size_t nargsf, PyObject *kwnames)¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
callable 是被调用的对象。
- args 是一个 C 数组,由位置参数后跟
关键字参数的值组成。如果没有参数,则可以为 NULL。
- nargsf 是位置参数的数量,加上可能为
PY_VECTORCALL_ARGUMENTS_OFFSET
标志。要从 nargsf 获取位置参数的实际数量,请使用PyVectorcall_NARGS()
。
- kwnames 是一个包含关键字参数名称的元组;
换句话说,是 kwargs 字典的键。这些名称必须是字符串(
str
的实例或子类),并且必须是唯一的。如果没有关键字参数,则 kwnames 可以改为 NULL。
-
PY_VECTORCALL_ARGUMENTS_OFFSET¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
如果在 vectorcall nargsf 参数中设置了此标志,则允许被调用者临时更改
args[-1]
。换句话说,args 指向已分配向量中的参数 1(而不是 0)。被调用者必须在返回之前恢复args[-1]
的值。对于
PyObject_VectorcallMethod()
,此标志表示可以更改args[0]
。只要他们能够以较低的成本(无需额外分配)执行此操作,就鼓励调用者使用
PY_VECTORCALL_ARGUMENTS_OFFSET
。这样做将允许诸如绑定方法之类的可调用对象非常有效地进行后续调用(包括前置的 self 参数)。在 3.8 版本中添加。
要调用实现 vectorcall 的对象,请像使用任何其他可调用对象一样使用 调用 API 函数。PyObject_Vectorcall()
通常是最有效的。
递归控制¶
使用 tp_call 时,被调用者无需担心 递归:CPython 对使用 tp_call 进行的调用使用 Py_EnterRecursiveCall()
和 Py_LeaveRecursiveCall()
。
为了效率起见,对于使用 vectorcall 完成的调用情况并非如此:如果需要,被调用者应使用 Py_EnterRecursiveCall 和 Py_LeaveRecursiveCall。
Vectorcall 支持 API¶
-
Py_ssize_t PyVectorcall_NARGS(size_t nargsf)¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
给定一个 vectorcall nargsf 参数,返回参数的实际数量。目前等效于
(Py_ssize_t)(nargsf & ~PY_VECTORCALL_ARGUMENTS_OFFSET)
但是,应使用函数
PyVectorcall_NARGS
以允许未来的扩展。在 3.8 版本中添加。
-
vectorcallfunc PyVectorcall_Function(PyObject *op)¶
如果op不支持 vectorcall 协议(要么是因为类型不支持,要么是因为特定实例不支持),则返回 NULL。否则,返回存储在 op 中的 vectorcall 函数指针。此函数永远不会引发异常。
这主要用于检查 op 是否支持 vectorcall,可以通过检查
PyVectorcall_Function(op) != NULL
来完成。在 3.9 版本中添加。
-
PyObject *PyVectorcall_Call(PyObject *callable, PyObject *tuple, PyObject *dict)¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
使用元组和字典中分别给出的位置参数和关键字参数调用 callable 的
vectorcallfunc
。这是一个专门的函数,旨在放入
tp_call
插槽或在tp_call
的实现中使用。它不检查Py_TPFLAGS_HAVE_VECTORCALL
标志,并且不会回退到tp_call
。在 3.8 版本中添加。
对象调用 API¶
有各种函数可用于调用 Python 对象。每个函数都会将其参数转换为被调用对象支持的约定——tp_call 或 vectorcall。为了尽可能少地进行转换,请选择最适合您可用数据格式的函数。
下表总结了可用的函数;请参阅各个文档了解详细信息。
函数 |
可调用对象 |
args |
kwargs |
---|---|---|---|
|
元组 |
字典/ |
|
|
— |
— |
|
|
1 个对象 |
— |
|
|
元组/ |
— |
|
|
格式 |
— |
|
obj + |
格式 |
— |
|
|
可变参数 |
— |
|
obj + 名称 |
可变参数 |
— |
|
obj + 名称 |
— |
— |
|
obj + 名称 |
1 个对象 |
— |
|
|
vectorcall |
vectorcall |
|
|
vectorcall |
字典/ |
|
arg + 名称 |
vectorcall |
vectorcall |
-
PyObject *PyObject_Call(PyObject *callable, PyObject *args, PyObject *kwargs)¶
- 返回值:新引用。是稳定 ABI的一部分。
调用可调用的 Python 对象 callable,参数由元组 args 给出,命名参数由字典 kwargs 给出。
args 不能为 NULL;如果不需要参数,请使用空元组。如果不需要命名参数,kwargs 可以为 NULL。
成功时返回调用的结果,失败时引发异常并返回 NULL。
这等效于 Python 表达式:
callable(*args, **kwargs)
。
-
PyObject *PyObject_CallNoArgs(PyObject *callable)¶
- 返回值:新引用。自 3.10 版本起是 稳定 ABI的一部分。
调用一个不带任何参数的可调用 Python 对象 callable。这是调用不带任何参数的可调用 Python 对象的最有效方法。
成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。
-
PyObject *PyObject_CallOneArg(PyObject *callable, PyObject *arg)¶
- 返回值:新引用。
调用一个可调用的 Python 对象 callable,它具有恰好 1 个位置参数 arg 且没有关键字参数。
成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。
-
PyObject *PyObject_CallObject(PyObject *callable, PyObject *args)¶
- 返回值:新引用。是稳定 ABI的一部分。
调用一个可调用的 Python 对象 callable,参数由元组 args 给出。如果不需要参数,则 args 可以为 NULL。
成功时返回调用的结果,失败时引发异常并返回 NULL。
这等效于 Python 表达式:
callable(*args)
。
-
PyObject *PyObject_CallFunction(PyObject *callable, const char *format, ...)¶
- 返回值:新引用。是稳定 ABI的一部分。
调用一个可调用的 Python 对象 callable,它带有可变数量的 C 参数。C 参数使用
Py_BuildValue()
样式的格式字符串进行描述。格式可以为 NULL,表示不提供参数。成功时返回调用的结果,失败时引发异常并返回 NULL。
这等效于 Python 表达式:
callable(*args)
。请注意,如果您只传递 PyObject* 参数,则
PyObject_CallFunctionObjArgs()
是更快的替代方法。在 3.4 版本中更改: format 的类型已从
char *
更改。
-
PyObject *PyObject_CallMethod(PyObject *obj, const char *name, const char *format, ...)¶
- 返回值:新引用。是稳定 ABI的一部分。
使用可变数量的 C 参数调用对象 obj 的名为 name 的方法。C 参数由
Py_BuildValue()
格式字符串描述,该字符串应生成一个元组。格式可以为 NULL,表示不提供参数。
成功时返回调用的结果,失败时引发异常并返回 NULL。
这等效于 Python 表达式:
obj.name(arg1, arg2, ...)
。请注意,如果您只传递 PyObject* 参数,则
PyObject_CallMethodObjArgs()
是更快的替代方法。在 3.4 版本中更改: name 和 format 的类型已从
char *
更改。
-
PyObject *PyObject_CallFunctionObjArgs(PyObject *callable, ...)¶
- 返回值:新引用。是稳定 ABI的一部分。
调用一个可调用的 Python 对象 callable,使用可变数量的 PyObject* 参数。这些参数以可变数量的参数形式提供,并以 NULL 结尾。
成功时返回调用的结果,失败时引发异常并返回 NULL。
这等效于 Python 表达式:
callable(arg1, arg2, ...)
。
-
PyObject *PyObject_CallMethodObjArgs(PyObject *obj, PyObject *name, ...)¶
- 返回值:新引用。是稳定 ABI的一部分。
调用 Python 对象 obj 的一个方法,其中方法名称以 Python 字符串对象的形式在 name 中给出。它使用可变数量的 PyObject* 参数调用。这些参数以可变数量的参数形式提供,并以 NULL 结尾。
成功时返回调用的结果,失败时引发异常并返回 NULL。
-
PyObject *PyObject_CallMethodNoArgs(PyObject *obj, PyObject *name)¶
调用 Python 对象 obj 的一个不带参数的方法,其中方法名称以 Python 字符串对象的形式在 name 中给出。
成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。
-
PyObject *PyObject_CallMethodOneArg(PyObject *obj, PyObject *name, PyObject *arg)¶
调用 Python 对象 obj 的一个带单个位置参数 arg 的方法,其中方法名称以 Python 字符串对象的形式在 name 中给出。
成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。
-
PyObject *PyObject_Vectorcall(PyObject *callable, PyObject *const *args, size_t nargsf, PyObject *kwnames)¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
调用一个可调用的 Python 对象 callable。参数与
vectorcallfunc
的参数相同。如果 callable 支持 vectorcall,则此函数直接调用存储在 callable 中的 vectorcall 函数。成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。
-
PyObject *PyObject_VectorcallDict(PyObject *callable, PyObject *const *args, size_t nargsf, PyObject *kwdict)¶
调用 callable,其中位置参数的传递方式与 vectorcall 协议中完全相同,但关键字参数以字典 kwdict 的形式传递。args 数组仅包含位置参数。
无论内部使用哪种协议,都需要进行参数转换。因此,只有当调用者已经有一个准备好用于关键字参数的字典,但没有用于位置参数的元组时,才应使用此函数。
在 3.9 版本中添加。
-
PyObject *PyObject_VectorcallMethod(PyObject *name, PyObject *const *args, size_t nargsf, PyObject *kwnames)¶
- 自 3.12 版本以来是 稳定 ABI 的一部分。
使用 vectorcall 调用约定调用方法。方法名称以 Python 字符串 name 的形式给出。调用方法的对象是 args[0],并且从 args[1] 开始的 args 数组表示调用的参数。必须至少有一个位置参数。nargsf 是位置参数的数量,包括 args[0],加上
PY_VECTORCALL_ARGUMENTS_OFFSET
,如果args[0]
的值可能会被临时更改。关键字参数的传递方式与PyObject_Vectorcall()
中相同。如果对象具有
Py_TPFLAGS_METHOD_DESCRIPTOR
特性,则这将使用完整的 args 向量作为参数来调用未绑定的方法对象。成功时返回调用的结果,失败时引发异常并返回 NULL。
在 3.9 版本中添加。