6

在 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

这条线特别让我感兴趣：

return proc(*exps)

确切地做的星号是exps什么？

4

2 回答 2

12

它解开论点

function(1,2,3)  ==  function(*[1,2,3])

它使使用变量传递给函数变得容易

args = [1,2,3]
func(*args) #much nicer than func(args[0],args[1],args[2],...)
于 2013-05-13T05:36:50.710 回答
8

在 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)

（注意第三种应用*：在函数定义中，星号表示可变长度的参数列表，所有参数都被打包到一个列表中，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')
于 2013-05-13T14:30:36.120 回答