在Peter Norvig用Python编写的Lisp解释器(http://norvig.com/lispy.html)中,他将Lisp定义eval如下:
def eval(x, env=global_env):
"Evaluate an expression in an environment."
if isa(x, Symbol): # variable reference
return env.find(x)[x]
elif not isa(x, list): # constant literal
return x
elif x[0] == 'quote': # (quote exp)
(_, exp) = x
return exp
elif x[0] == 'if': # (if test conseq alt)
(_, test, conseq, alt) = x
return eval((conseq if eval(test, env) else alt), env)
elif x[0] == 'set!': # (set! var exp)
(_, var, exp) = x
env.find(var)[var] = eval(exp, env)
elif x[0] == 'define': # (define var exp)
(_, var, exp) = x
env[var] = eval(exp, env)
elif x[0] == 'lambda': # (lambda (var*) exp)
(_, vars, exp) = x
return lambda *args: eval(exp, Env(vars, args, env))
elif x[0] == 'begin': # (begin exp*)
for exp in x[1:]:
val = eval(exp, env)
return val
else: # (proc exp*)
exps = [eval(exp, env) for exp in x]
proc = exps.pop(0)
return proc(*exps)
isa = isinstance
Symbol = str
Run Code Online (Sandbox Code Playgroud)
这条线特别让我感兴趣:
return proc(*exps)
Run Code Online (Sandbox Code Playgroud)
exps做的完整的星号是什么?
Jor*_*ley 12
它解压缩参数
function(1,2,3) == function(*[1,2,3])
Run Code Online (Sandbox Code Playgroud)
它可以很容易地使用变量传递给函数
args = [1,2,3]
func(*args) #much nicer than func(args[0],args[1],args[2],...)
Run Code Online (Sandbox Code Playgroud)
在一个 seqable 对象解包之前输入一个星号,就像 Joran 所示:
In [1]: def f(*args): return args
In [2]: f(1,2,3)
Out[2]: (1, 2, 3)
In [3]: f(*[1,2,3,4])
Out[3]: (1, 2, 3, 4)
Run Code Online (Sandbox Code Playgroud)
(注意第三个应用*:在函数定义中,星号表示可变长度的参数列表,所有参数都被打包到一个列表中,args, in In [1])
另外值得注意的是,双星号 ( **) 进行字典解包:
In [5]: def g(foo=None, bar=42): return foo,bar
In [6]: g()
Out[6]: (None, 42)
In [7]: g(*[1,2])
Out[7]: (1, 2)
In [8]: g(**{'foo': 'FOO', 'bar': 'BAR'})
Out[8]: ('FOO', 'BAR')
Run Code Online (Sandbox Code Playgroud)