python - 为什么可以在 Python 函数中使用超过 2 ^ 16 个常量？

Question

在内部模块中，如 peephole , LOAD_CONST 的参数存储在opcode之后的两个字节中.

例如，它用于获取操作参数的宏实现为:

#define GETARG(arr, i) ((int)((arr[i+2]<<8) + arr[i+1]))

LOAD_CONST 的参数是 consts 的索引数组。

所以我猜也许我们最多只能在 Python 函数中使用 2 ^ 16 个常量。

但是当我试验一个使用 66666 (> 65536) 个常量的函数时，它仍然可以正常运行。

可能是什么原因？

Answer 1

来自dis文档:

EXTENDED_ARG(ext)

Prefixes any opcode which has an argument too big tofit into the default two bytes. ext holds two additional bytes which,taken together with the subsequent opcode’s argument, comprise afour-byte argument, ext being the two most-significant bytes.

如果操作码需要超过 2 个字节的参数，则 EXTENDED_ARG 操作码会提供多 2 个字节的参数。