Tại sao có thể sử dụng hơn 2^16 hằng số trong một hàm Python?

Question

Trong các mô-đun nội bộ như peephole, đối số của LOAD_CONST được lưu trữ trong hai byte theo sau opcode.

Ví dụ, macro nó sử dụng để có được lập luận của một hoạt động được thực hiện như:

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

Đối số của LOAD_CONST là một chỉ số vào mảng consts.

Vì vậy, tôi đoán có lẽ chúng tôi chỉ có thể sử dụng tối đa 2^16 hằng số trong hàm Python.

Nhưng khi tôi thử nghiệm với một hàm sử dụng hằng số 66666 (> 65536), nó vẫn chạy bình thường.

Lý do có thể là gì?

Answer 1

Từ dis tài liệu:

EXTENDED_ARG (ext)

Tiền tố bất kỳ opcode trong đó có một cuộc tranh cãi quá lớn để phù hợp vào mặc định hai byte. ext chứa hai byte bổ sung mà, được lấy cùng với đối số của mã opcode tiếp theo, bao gồm một đối số bốn byte là , là hai byte quan trọng nhất.

Nếu một mã vạch cần một đối số dài hơn 2 byte, một opcode EXTENDED_ARG cung cấp thêm 2 byte đối số.