python中的延迟评估

Question

我听说过python中的延迟评估(例如这里),它只是指的是只有在使用它们时,解释器如何评估lambdas？或者这是描述如何由于python的动态设计在运行时之前不会捕获许多错误的正确术语？

或者我完全错过了什么？

Answer 1

延迟评估是指在需要之前不评估表达式.在大多数语言中,您可以使用类似的功能lambda.这是一个人为的例子,展示了这个概念的一部分:

def list_files():
    for fn in os.listdir('.'):
        yield fn, lambda: open(fn, 'r').read()


for fn, body in list_files():
    if fn.endswith('.txt'):
        print body()

在这里,list_files返回一堆文件名和一个"thunk"(没有参数的lambda),它返回文件的内容."thunk"是延期评估.使用thunk可以分离您的顾虑:

• for循环不需要知道如何读取文件,因此list_files可以用list_ftp_files或替换list_zip_archive.
• 该list_files函数不需要知道将读取哪些文件.使用thunk,它不必读取每个文件.

在适当的延迟评估中,一旦你评估了"thunk",它就会用一个评估版本替换它自己,所以评估它两次就不会比评估它一次了.还有其他方法可以实现相同的功能,例如使用缓存值的类和对象.

递延评估是Sch​​eme中(相对)常见的习语.在Haskell中,默认情况下会延迟评估,您不需要任何语法(有关闭它的特殊语法).

Answer 2

迪特里希的答案很好,但我只想补充说,最简单的延期评估形式是if声明:

if True:
  x = 5
else:
  x = y    # huh? what is y?

这段代码解析并正确运行,虽然该else条款毫无意义 - y未定义.该else子句只被解析 - 所以它在语法上应该是有效的Python.这实际上可以用于一些简单的代码:

if stuff:
   print stuff.contents
else:
   print "no stuff"

在强类型语言中,这不起作用,因为类型stuff.contents需要stuff具有contents属性的特定类型.在Python中,由于对语句的延迟评估if,这不一定是真的.stuff可能None显然没有属性,解释器将只else执行该子句而不执行第一个.因此,这是有效的Python,甚至是成语,使代码更简单.

参考讨论