Hướng dẫn how do i map bytecodes back to line numbers in python? - làm cách nào để ánh xạ các mã byte trở lại số dòng trong python?

Truy tìm

Những gì được coi là mã cho mục đích truy tìm

Ví dụ trình tự sự kiện

Thuộc tính F_Lineno

• Phương thức CO_LINES () mới của các đối tượng mã
• Phạm vi chiều rộng bằng không

Thuộc tính co_linetable

Những gì được coi là mã cho mục đích truy tìm

Ví dụ trình tự sự kiện

Thuộc tính F_Lineno

Phương thức CO_LINES () mới của các đối tượng mã

Phạm vi chiều rộng bằng không

• Thuộc tính co_linetable
• Thuộc tính Co_lnotab
• Khả năng tương thích ngược
• Ví dụ về mã mà chuỗi các sự kiện theo dõi sẽ thay đổi
• Tuyên bố

  "line" 1
  "line" 2
  "line" 4
  

  1 trong một tuyên bố

  "line" 1
  "line" 2
  "line" 4
  

  2.

Nhiều câu lệnh

"line" 1
"line" 2
"line" 4

Ví dụ trình tự sự kiện

Thuộc tính F_Lineno

Phương thức CO_LINES () mới của các đối tượng mã

Phạm vi chiều rộng bằng không

Phương thức CO_LINES () mới của các đối tượng mã

1.     try:
2.        pass
3.     finally:
4.        pass

Phạm vi chiều rộng bằng không

"line" 1
"line" 2
"line" 4

Phương thức CO_LINES () mới của các đối tượng mã

1.      for (
2.          x) in [1]:
3.          pass
4.      return

Tạo các sự kiện sau:

"line" 2       # evaluate [1]
"line" 1       # for
"line" 2       # store to x
"line" 3       # pass
"line" 1       # for
"line" 4       # return
"return" 1

Thuộc tính F_Lineno

• Khi một đối tượng khung được tạo, thuộc tính

  "line" 1
  "line" 2
  "line" 4
  

  4 sẽ được đặt thành dòng tại đó hàm hoặc lớp được xác định; Đó là dòng mà từ khóa

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  3 hoặc

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  4 xuất hiện. Đối với các mô -đun, nó sẽ được đặt thành 0.
• Thuộc tính

  "line" 1
  "line" 2
  "line" 4
  

  4 sẽ được cập nhật để phù hợp với số dòng sắp được thực thi, ngay cả khi truy tìm bị tắt và không có sự kiện nào được tạo.

Phương thức CO_LINES () mới của các đối tượng mã

Phương thức

1.      for (
2.          x) in [1]:
3.          pass
4.      return

• "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  7 - phần bù (bao gồm) của bắt đầu phạm vi mã byte

• "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  8 - phần bù (độc quyền) của phần cuối của phạm vi mã byte

• "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  9 - Số dòng hoặc

  0.  def spam(a):
  1.      if a:
  2.          eggs()
  3.      else:
  4.          pass
  

  0 nếu các byte trong phạm vi đã cho không có số dòng.

Trình tự được tạo sẽ có các thuộc tính sau:

• Phạm vi đầu tiên trong chuỗi có

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  7 của

  0.  def spam(a):
  1.      if a:
  2.          eggs()
  3.      else:
  4.          pass
  

  2
• Phạm vi

  0.  def spam(a):
  1.      if a:
  2.          eggs()
  3.      else:
  4.          pass
  

  3 sẽ không giảm và liên tiếp. Đó là, đối với bất kỳ cặp bộ dữ liệu nào,

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  7 của phần thứ hai sẽ bằng với

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  8 của lần thứ nhất.
• Không có phạm vi nào sẽ ngược, đó là

  0.  def spam(a):
  1.      if a:
  2.          eggs()
  3.      else:
  4.          pass
  

  6 cho tất cả các bộ ba.
• Phạm vi cuối cùng trong chuỗi có

  "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  8 bằng kích thước của mã byte.

• "line" 2       # evaluate [1]
  "line" 1       # for
  "line" 2       # store to x
  "line" 3       # pass
  "line" 1       # for
  "line" 4       # return
  "return" 1
  

  9 sẽ là một số nguyên dương hoặc

  0.  def spam(a):
  1.      if a:
  2.          eggs()
  3.      else:
  4.          pass
  

  0

"line" 1
"line" 2
"line" 4
"return" 4

Thuộc tính co_linetable

Thuộc tính CO_LINETABLE sẽ giữ thông tin số dòng. Định dạng mờ đục, không xác định và có thể được thay đổi mà không cần thông báo trước. Thuộc tính chỉ công khai để hỗ trợ tạo các đối tượng mã mới.

Thuộc tính Co_lnotab

Trong lịch sử, thuộc tính

"line" 1
"line" 2
"line" 4

"line" 1
"line" 2
"line" 4

Các công cụ phân tích bảng

"line" 1
"line" 2
"line" 4

1.      for (
2.          x) in [1]:
3.          pass
4.      return

Ví dụ về mã mà chuỗi các sự kiện theo dõi sẽ thay đổi

Trong các ví dụ sau, các sự kiện được liệt kê là các cặp tên,

"line" 1
"line" 2
"line" 4

0.  def spam(a):
1.      if a:
2.          eggs()
3.      else:
4.          pass

"line" 1
"line" 2
"return" 2

"line" 1
"line" 2
"return" 2

"line" 1
"line" 2
"line" 4
"return" 4

"line" 1
"line" 2
"return" 2

0.  def bar():
1.      pass
2.      pass
3.      pass

"line" 1
"line" 2
"line" 3
"return" 3

Nhiều câu lệnh "line" 1 "line" 2 "line" 4 1.

Trình tự các sự kiện được tạo bởi Python 3.9 là:

C API

Truy cập vào thuộc tính "line" 1 "line" 2 "line" 4 4 của các đối tượng khung thông qua các hàm A API không thay đổi. "line" 1 "line" 2 "line" 4 4 có thể được đọc bởi "line" 1 "line" 2 "return" 2 7. "line" 1 "line" 2 "line" 4 4 chỉ có thể được đặt thông qua "line" 1 "line" 2 "return" 2 9 và các chức năng tương tự.

Truy cập

"line" 1
"line" 2
"line" 4

Không có quá trình gỡ lỗi và trình biên dịch

typedef struct addressrange {
    int ar_start;
    int ar_end;
    int ar_line;
    struct _opaque opaque;
} PyCodeAddressRange;

void PyLineTable_InitAddressRange(char *linetable, Py_ssize_t length, int firstlineno, PyCodeAddressRange *range);
int PyLineTable_NextAddressRange(PyCodeAddressRange *range);
int PyLineTable_PreviousAddressRange(PyCodeAddressRange *range);

Ngoài các công cụ xử lý, chẳng hạn như PY-SPY [1], không thể sử dụng C-API và phải phân tích chữ số dòng. Mặc dù định dạng bảng số dòng có thể thay đổi mà không cần cảnh báo, nhưng nó sẽ không thay đổi trong quá trình phát hành trừ khi thực sự cần thiết cho sửa lỗi.

Để giảm công việc cần thiết để thực hiện các công cụ này, các chức năng C cấu trúc và tiện ích sau đây được cung cấp. Lưu ý rằng các chức năng này không phải là một phần của C-API, vì vậy sẽ cần được liên kết với bất kỳ mã nào cần sử dụng chúng.

0.  def bar():
1.      pass
2.      pass
3.      pass

0.  def bar():
1.      pass
2.      pass
3.      pass

0.  def bar():
1.      pass
2.      pass
3.      pass

0.  def bar():
1.      pass
2.      pass
3.      pass

Ghi chú

Ghi chú

Cấu trúc

0.  def bar():
1.      pass
2.      pass
3.      pass

Ví dụ: mã sau in ra tất cả các phạm vi địa chỉ:

"line" 1
"line" 2
"line" 4