Có cách nào để tạo mã bytecode bằng Python không?

Question

Tôi muốn hack xung quanh với trình thông dịch Python và thử tạo một DSL nhỏ. Có bất kỳ mô-đun mà tôi có thể làm một cái gì đó như mã lý thuyết này (tương tự như cây biểu hiện LINQ)?

expression_tree = Function(
    Print(
     String('Hello world!') 
    ) 
) 
compile_to_bytecode(expression_tree) 

Hoặc sẽ dễ dàng hơn khi chỉ tạo mã nguồn Python? Điều này có thể được thực hiện dễ dàng hơn bằng cách sử dụng C hoặc SWIG hoặc Cython?

Answer 1

Làm việc qua ast và biên dịch cây thành bytecode, như một câu trả lời khác gợi ý, có lẽ là đơn giản nhất; tạo ra các nguồn và biên dịch chúng, gần như là tốt.

Tuy nhiên, để khám phá các cách tiếp cận cấp thấp hơn, hãy xem các liên kết từ this page; Tôi đã tìm thấy byteplay đặc biệt hữu ích (hiện không hoạt động trên 2,6 cũng không 3. *, chỉ có 2,4 hoặc 2,5, nhưng tôi nghĩ rằng sửa chữa nó cho 2,6 nên được dễ dàng, như hiện đang thảo luận trong theo dõi của nó). Tôi đã không sử dụng tính năng tương tự như vậy của Phil Eby BytecodeAssembler, nhưng với danh tiếng của tác giả tôi chắc chắn nó đáng để kiểm tra nó!

Answer 2

Kiểm tra các mô-đun disassembler tìm thấy ở đây:

http://docs.python.org/library/dis.html

Answer 3

Trong Python 2.x, bạn sẽ thường tiếp cận này với compiler module và ast sub-mô-đun của nó (nhưng lưu ý mô-đun này không được chấp kể từ phiên bản 2.6). Trong Python 3.X, bạn sẽ chỉ sử dụng ast.

Cả hai đều cung cấp chức năng compile() sẽ chuyển từ nguồn/AST thành "đối tượng mã có thể được thực hiện bởi câu lệnh exec hoặc eval()".

Answer 4

Fernando Meyer recently wrote a blog post giải thích cách sử dụng chỉ thị # coding để chỉ định các tiện ích mở rộng của riêng bạn cho Python. Ví dụ (định nghĩa định dạng thực tế là trong pyspec.py và tokenizer.py):

# coding: pyspec 

class Bow: 
    def shot(self): 
     print "got shot" 

    def score(self): 
     return 5 

describe Bowling: 
    it "should score 0 for gutter game": 
     bowling = Bow() 
     bowling.shot() 
     assert that bowling.score.should_be(5) 

Answer 5

Nó dễ dàng hơn để tạo ra mã Python và chạy nó. Nếu bạn làm điều đó bạn cũng có thể gỡ lỗi nó dễ dàng hơn vì có nguồn thực sự cho trình gỡ lỗi hiển thị. Xem thêm bài báo của Malte Borchs trong số tháng 7 của tạp chí Python, nơi anh nói về điều này trong số những thứ khác.

Answer 6

Cập nhật cho Python3 - cũng có trình biên tập rất thú vị zachariahreed/byteasm.

Thực ra, người duy nhất làm việc cho tôi ở Py3. Nó có rất tốt đẹp & API sạch:

>>> import byteasm, dis 
>>> b = byteasm.FunctionBuilder() 
>>> b.add_positional_arg('x') 
>>> b.emit_load_const('Hello!') 
>>> b.emit_load_fast('x') 
>>> b.emit_build_tuple(2) 
>>> b.emit_return_value() 
>>> f = b.make('f') 
>>> f 
<function f at 0xb7012a4c> 
>>> dis.dis(f) 
    1   0 LOAD_CONST    0 ('Hello!') 
       3 LOAD_FAST    0 (x) 
       6 BUILD_TUPLE    2 
       9 RETURN_VALUE 
>>> f(108) 
('Hello!', 108)