动态编译

标准编程语言

对于 C 语言，代码一般要先编译，再执行。

.c -> .exe

解释器语言

shell 脚本

.sh -> interpreter

Byte Code 编译

Python, Java 等语言先将代码编译为 byte code（不是机器码），然后再处理：

.py -> .pyc -> interpreter

eval 函数

eval(statement, glob, local)

使用 eval 函数动态执行代码，返回执行的值：

1a = 1
2
3eval("a+1")

2

可以接收明明空间参数：

1local = dict(a=2)
2glob = {}
3eval("a+1", glob, local)

3

这里 local 中的 a 先被找到。

exec 函数

exec(statement, glob, local)

使用 exec 可以添加修改原有的变量。

1a = 1
2
3exec("b = a+1")
4
5print b

2

1local = dict(a=2)
2glob = {}
3exec("b = a+1", glob, local)
4
5print local

{'a': 2, 'b': 3}

执行之后，b 在 local 命名空间中。

警告

动态执行的时候要注意，不要执行不信任的用户输入，因为它们拥有 Python 的全部权限。

compile 函数生成 byte code

compile(str, filename, mode)

1a = 1
2c = compile("a+2", "", 'eval')
3
4eval(c)

3

1a = 1
2c = compile("b=a+2", "", 'exec')
3
4exec(c)
5b

3

abstract syntax trees

1import ast

1tree = ast.parse("a+2", "", "eval")
2
3ast.dump(tree)

"Expression(body=BinOp(left=Name(id='a', ctx=Load()), op=Add(), right=Num(n=2)))"

改变常数的值：

1tree.body.right.n = 3
2
3ast.dump(tree)

"Expression(body=BinOp(left=Name(id='a', ctx=Load()), op=Add(), right=Num(n=3)))"

1a = 1
2c = compile(tree, '', 'eval')
3
4eval(c)

4

安全的使用方法 literal_eval ，只支持基本值的操作：

1ast.literal_eval("[10.0, 2, True, 'foo']")

[10.0, 2, True, 'foo']