整数型对象

所有整数都实现为长度任意的长整数对象。

在出错时,大多数 PyLong_As* API 都会返回 (return type)-1,这与数字无法区分开。请采用 PyErr_Occurred() 来加以区分。

type PyLongObject
属于 受限 API (作为不透明的结构体).

表示 Python 整数对象的 PyObject 子类型。

PyTypeObject PyLong_Type
属于 稳定 ABI.

这个 PyTypeObject 的实例表示 Python 的整数类型。与 Python 语言中的 int 相同。

int PyLong_Check(PyObject *p)

如果参数是 PyLongObjectPyLongObject 的子类型,则返回 True。该函数一定能够执行成功。

int PyLong_CheckExact(PyObject *p)

如果其参数属于 PyLongObject,但不是 PyLongObject 的子类型则返回真值。 此函数总是会成功执行。

PyObject *PyLong_FromLong(long v)
返回值:新的引用。 属于 稳定 ABI.

v 返回一个新的 PyLongObject 对象,失败时返回 NULL

当前的实现维护着一个整数对象数组,包含 -5256 之间的所有整数对象。 若创建一个位于该区间的 int 时,实际得到的将是对已有对象的引用。

PyObject *PyLong_FromUnsignedLong(unsigned long v)
返回值:新的引用。 属于 稳定 ABI.

基于 C unsigned long 返回一个新的 PyLongObject 对象,失败时返回 NULL

PyObject *PyLong_FromSsize_t(Py_ssize_t v)
返回值:新的引用。 属于 稳定 ABI.

由 C Py_ssize_t 返回一个新的 PyLongObject 对象,失败时返回 NULL

PyObject *PyLong_FromSize_t(size_t v)
返回值:新的引用。 属于 稳定 ABI.

由 C size_t 返回一个新的 PyLongObject 对象,失败则返回 NULL

PyObject *PyLong_FromLongLong(long long v)
返回值:新的引用。 属于 稳定 ABI.

基于 C long long 返回一个新的 PyLongObject,失败时返回 NULL

PyObject *PyLong_FromUnsignedLongLong(unsigned long long v)
返回值:新的引用。 属于 稳定 ABI.

基于 C unsigned long long 返回一个新的 PyLongObject 对象,失败时返回 NULL

PyObject *PyLong_FromDouble(double v)
返回值:新的引用。 属于 稳定 ABI.

v 的整数部分返回一个新的 PyLongObject 对象,失败则返回 NULL

PyObject *PyLong_FromString(const char *str, char **pend, int base)
返回值:新的引用。 属于 稳定 ABI.

根据 str 字符串值返回一个新的 PyLongObject,它将根据 base 指定的基数来解读,或是在失败时返回 NULL。 如果 pend 不为 NULL,则在成功时 *pend 将指向 str 中末尾而在出错时将指向第一个无法处理的字符。 如果 base0,则 str 将使用 整数字面值 定义来解读;在此情况下,非零十进制数以零开头将会引发 ValueError。 如果 base 不为 0,则必须在 236,包括这两个值。 开头和末尾的空格以及基数标示符之后和数码之间的单下划线将被忽略。 如果没有数码或 str 中数码和末尾空格之后不以 NULL 结束,则将引发 ValueError

参见

Python 方法 int.to_bytes()int.from_bytes() 用于 PyLongObject 到/从字节数组之间以 256 为基数进行转换。 你可以使用 PyObject_CallMethod() 从 C 调用它们。

PyObject *PyLong_FromUnicodeObject(PyObject *u, int base)
返回值:新的引用。

将字符串 u 中的 Unicode 数字序列转换为 Python 整数值。

Added in version 3.3.

PyObject *PyLong_FromVoidPtr(void *p)
返回值:新的引用。 属于 稳定 ABI.

从指针 p 创建一个 Python 整数。可以使用 PyLong_AsVoidPtr() 返回的指针值。

PyObject *PyLong_FromNativeBytes(const void *buffer, size_t n_bytes, int flags)

将包含在 buffer 开头 n_bytes 中的值解读为一个二的补码有符号数,基于它创建一个 Python 整数。

flags 与针对 PyLong_AsNativeBytes() 的相同。 传入 -1 将选择 CPython 编译时所用的原生端序并将假定主比特位是符号位。 传入 Py_ASNATIVEBYTES_UNSIGNED_BUFFER 将产生与调用 PyLong_FromUnsignedNativeBytes() 相同的结果。 其他旗标将被忽略。

Added in version 3.13.

PyObject *PyLong_FromUnsignedNativeBytes(const void *buffer, size_t n_bytes, int flags)

将包含在 buffer 开头 n_bytes 中的值解读为一个无符号数,基于它创建一个Python 整数。

flags 与针对 PyLong_AsNativeBytes() 的相同。 传入 -1 将选择 CPython 编译时所用的原生端序并将假定主比特位不是符号位。 其他旗标将被忽略。

Added in version 3.13.

long PyLong_AsLong(PyObject *obj)
属于 稳定 ABI.

返回 obj 的 C long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 的值超出了 long 的取值范围则会引发 OverflowError

出错则返回 -1 。请用 PyErr_Occurred() 找出具体问题。

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

int PyLong_AsInt(PyObject *obj)
属于 稳定 ABI 自 3.13 版起.

类似于 PyLong_AsLong(),将会将结果存放到一个 C int 而不是 C long

Added in version 3.13.

long PyLong_AsLongAndOverflow(PyObject *obj, int *overflow)
属于 稳定 ABI.

返回 obj 的 C long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 的值大于 LONG_MAX 或小于 LONG_MIN,则会把 *overflow 分别置为 1-1,并返回 -1;否则,将 *overflow 置为 0。 如果发生其他异常则按常规把 *overflow 置为 0 并返回 -1

出错则返回 -1 。请用 PyErr_Occurred() 找出具体问题。

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

long long PyLong_AsLongLong(PyObject *obj)
属于 稳定 ABI.

返回 obj 的 C long long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 值超出 long long 的取值范围则会引发 OverflowError

出错则返回 -1 。请用 PyErr_Occurred() 找出具体问题。

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

long long PyLong_AsLongLongAndOverflow(PyObject *obj, int *overflow)
属于 稳定 ABI.

返回 obj 的 C long long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 的值大于 LLONG_MAX 或小于 LLONG_MIN,则会把 *overflow 分别置为 1-1,并返回 -1;否则,将 *overflow 置为 0。 如果发生其他异常则按常规把 *overflow 置为 0 并返回 -1

出错则返回 -1 。请用 PyErr_Occurred() 找出具体问题。

Added in version 3.2.

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

Py_ssize_t PyLong_AsSsize_t(PyObject *pylong)
属于 稳定 ABI.

返回 pylong 的 C 语言 Py_ssize_t 形式。pylong 必须是 PyLongObject 的实例。

如果 pylong 的值超出了 Py_ssize_t 的取值范围则会引发 OverflowError

出错则返回 -1 。请用 PyErr_Occurred() 找出具体问题。

unsigned long PyLong_AsUnsignedLong(PyObject *pylong)
属于 稳定 ABI.

返回 pylong 的 C unsigned long 表示形式。 pylong 必须是 PyLongObject 的实例。

如果 pylong 的值超出了 unsigned long 的取值范围则会引发 OverflowError

出错时返回 (unsigned long)-1 ,请利用 PyErr_Occurred() 辨别具体问题。

size_t PyLong_AsSize_t(PyObject *pylong)
属于 稳定 ABI.

返回 pylong 的 C 语言 size_t 形式。pylong 必须是 PyLongObject 的实例。

如果 pylong 的值超出了 size_t 的取值范围则会引发 OverflowError

出错时返回 (size_t)-1 ,请利用 PyErr_Occurred() 辨别具体问题。

unsigned long long PyLong_AsUnsignedLongLong(PyObject *pylong)
属于 稳定 ABI.

返回 pylong 的 C unsigned long long 表示形式。 pylong 必须是 PyLongObject 的实例。

如果 pylong 的值超出 unsigned long long 的取值范围则会引发 OverflowError

出错时返回 (unsigned long long)-1,请利用 PyErr_Occurred() 辨别具体问题。

在 3.1 版本发生变更: 现在 pylong 为负值会触发 OverflowError,而不是 TypeError

unsigned long PyLong_AsUnsignedLongMask(PyObject *obj)
属于 稳定 ABI.

返回 obj 的 C unsigned long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 的值超出了 unsigned long 的取值范围,则返回该值对 ULONG_MAX + 1 求模的余数。

出错时返回 (unsigned long)-1,请利用 PyErr_Occurred() 辨别具体问题。

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

unsigned long long PyLong_AsUnsignedLongLongMask(PyObject *obj)
属于 稳定 ABI.

返回 obj 的 C unsigned long long 表示形式。 如果 obj 不是 PyLongObject 的实例,则会先调用其 __index__() 方法(如果存在)将其转换为 PyLongObject

如果 obj 的值超出了 unsigned long long 的取值范围,则返回该值对 ULLONG_MAX + 1 求模的余数。

出错时返回 (unsigned long long)-1,请利用 PyErr_Occurred() 辨别具体问题。

在 3.8 版本发生变更: 如果可能将使用 __index__()

在 3.10 版本发生变更: 此函数将不再使用 __int__()

double PyLong_AsDouble(PyObject *pylong)
属于 稳定 ABI.

返回 pylong 的 C double 表示形式。 pylong 必须是 PyLongObject 的实例。

如果 pylong 的值超出了 double 的取值范围则会引发 OverflowError

出错时返回 -1.0 ,请利用 PyErr_Occurred() 辨别具体问题。

void *PyLong_AsVoidPtr(PyObject *pylong)
属于 稳定 ABI.

将一个 Python 整数 pylong 转换为 C void 指针。 如果 pylong 无法被转换,则将引发 OverflowError。 这只是为了保证将通过 PyLong_FromVoidPtr() 创建的值产生一个可用的 void 指针。

出错时返回 NULL,请利用 PyErr_Occurred() 辨别具体问题。

Py_ssize_t PyLong_AsNativeBytes(PyObject *pylong, void *buffer, Py_ssize_t n_bytes, int flags)

将 Python 整数值 pylong 拷贝到一个大小为 n_bytes 的原生 buffer 中。 flags 可设为 -1 以使其行为类似于 C 强制转换类型,或是用下文中的值来控制其行为。

当发生错误时将返回 -1 并设置一个异常。 如果 pylong 无法被解读为一个整数,或者如果 pylong 为负值并且设置了 Py_ASNATIVEBYTES_REJECT_NEGATIVE 旗标就可能出现这种情况。

在其他情况下,将返回存储该值所需要的字节数量。 如果该数量小于等于 n_bytes,则将拷贝整个值。 缓冲区的 n_bytes 将全部被写入:更大的缓冲区将以零值填充。

如果返回值大于 n_bytes,该值将被截断:从该值的低位开始写入尽可能多的数位,而高位部分将被忽略。 这与典型的 C 风格向下强制转换行为相匹配。

备注

溢出不会被视为错误。 如果返回值大于 n_bytes,高位部分将被丢弃。

绝对不会返回 0

值将总是作为二的补码被拷贝。

用法示例:

int32_t value;
Py_ssize_t bytes = PyLong_AsNativeBytes(pylong, &value, sizeof(value), -1);
if (bytes < 0) {
    // Failed. A Python exception was set with the reason.
    return NULL;
}
else if (bytes <= (Py_ssize_t)sizeof(value)) {
    // Success!
}
else {
    // Overflow occurred, but 'value' contains the truncated
    // lowest bits of pylong.
}

将零值传给 n_bytes 将返回一个足够容纳该值的缓冲区大小。 这可能会大于基于技术考虑所需要的值,但也不会过于离谱。 如果 n_bytes=0,则 buffer 可能为 NULL

备注

n_bytes=0 传给此函数不是确定值所需比特位长度的准确方式。

要获取一个大小未知的完整 Python 值,可以调用此函数两次:首先确定缓冲区大小,然后填充它:

// Ask how much space we need.
Py_ssize_t expected = PyLong_AsNativeBytes(pylong, NULL, 0, -1);
if (expected < 0) {
    // Failed. A Python exception was set with the reason.
    return NULL;
}
assert(expected != 0);  // Impossible per the API definition.
uint8_t *bignum = malloc(expected);
if (!bignum) {
    PyErr_SetString(PyExc_MemoryError, "bignum malloc failed.");
    return NULL;
}
// Safely get the entire value.
Py_ssize_t bytes = PyLong_AsNativeBytes(pylong, bignum, expected, -1);
if (bytes < 0) {  // Exception has been set.
    free(bignum);
    return NULL;
}
else if (bytes > expected) {  // This should not be possible.
    PyErr_SetString(PyExc_RuntimeError,
        "Unexpected bignum truncation after a size check.");
    free(bignum);
    return NULL;
}
// The expected success given the above pre-check.
// ... use bignum ...
free(bignum);

flags 可以是 -1 (Py_ASNATIVEBYTES_DEFAULTS) 表示选择最接近 C 强制转换类型的行为,或是下表中其他旗标的组合。 请注意 -1 不能与其他旗标组合使用。

目前,-1 对应于 Py_ASNATIVEBYTES_NATIVE_ENDIAN | Py_ASNATIVEBYTES_UNSIGNED_BUFFER

标志位

Py_ASNATIVEBYTES_DEFAULTS

-1

Py_ASNATIVEBYTES_BIG_ENDIAN

0

Py_ASNATIVEBYTES_LITTLE_ENDIAN

1

Py_ASNATIVEBYTES_NATIVE_ENDIAN

3

Py_ASNATIVEBYTES_UNSIGNED_BUFFER

4

Py_ASNATIVEBYTES_REJECT_NEGATIVE

8

Py_ASNATIVEBYTES_ALLOW_INDEX

16

指定 Py_ASNATIVEBYTES_NATIVE_ENDIAN 将覆盖任何其他端序旗标。 传入 2 被保留用于后续版本。

在默认情况下,将会请求足够的缓冲区以包括符号位。 例如在设置 n_bytes=1 转换 128 时,该函数将返回 2 (或更大的值) 以存储一个零值符号位。

如果指定了 Py_ASNATIVEBYTES_UNSIGNED_BUFFER,将在计算大小时忽略零值符号位。 例如,这将允许将 128 放入一个单字节缓冲区。 如果目标缓冲区随后又被当作是带符号位的,则一个正数输入值可能会变成负值。 请注意此旗标不会影响对负值的处理:对于这种情况,总是会请求用作符号位的空间。

指定 Py_ASNATIVEBYTES_REJECT_NEGATIVE 将导致当 pylong 为负值时设置一个异常。 如果没有此旗标,只要至少有足够容纳一个符号位的空间就将拷贝负值,无论是否指定了 Py_ASNATIVEBYTES_UNSIGNED_BUFFER

如果指定了 Py_ASNATIVEBYTES_ALLOW_INDEX 并且传入一个非整数值,则会先调用其 __index__() 方法。 这可能导致 Python 代码执行并允许运行其他线程,在此情况下将会改变其他正在使用的对象或值。 当 flags-1 时,则不设置此选项,而非整数值将会引发 TypeError

备注

如果使用默认 flags (-1 或不带 REJECT_NEGATIVEUNSIGNED_BUFFER),则多个 Python 整数可映射为单个值而不会溢出。 例如,255-1 都可放入一个单字节缓冲区并设置其全部比特位。 这与典型的 C 强制转换行为相匹配。

Added in version 3.13.

PyObject *PyLong_GetInfo(void)
属于 稳定 ABI.

On success, return a read only named tuple, that holds information about Python's internal representation of integers. See sys.int_info for description of individual fields.

On failure, return NULL with an exception set.

Added in version 3.1.

int PyUnstable_Long_IsCompact(const PyLongObject *op)
这是 不稳定 API。它可在次发布版中不经警告地改变。

如果 op 为紧凑形式则返回 1,否则返回 0。

此函数使得注重性能的代码可以实现小整数的“快速路径”。 对于紧凑值将使用 PyUnstable_Long_CompactValue();对于其他值则回退为 PyLong_As* 函数或者 PyLong_AsNativeBytes()

此项加速对于大多数用户来说是可以忽略的。

具体有哪些值会被视为紧凑形式属于实现细节并可能发生改变。

Py_ssize_t PyUnstable_Long_CompactValue(const PyLongObject *op)
这是 不稳定 API。它可在次发布版中不经警告地改变。

如果 op 为紧凑形式,如 PyUnstable_Long_IsCompact() 所确定的,则返回它的值。

在其他情况下,返回值是未定义的。