Python嵌套类混淆

Question

我正在研究关于懒惰评估的想法。这是我遇到问题的Stream类：请参阅4.2.6流

class Stream:
  """A lazily computed linked list.""" 
  class Empty:
      def __repr__(self):
          return 'Stream.empty'
  empty = Empty()
  def __init__(self, first, compute_rest= lambda: empty):
      assert callable(compute_rest), 'compute_rest must be callable.'
      self.first = first
      self._compute_rest = compute_rest
  @property
  def rest(self):
      """Return the rest of the stream, computing it if necessary."""
      if self._compute_rest is not None:
          self._rest = self._compute_rest()
          self._compute_rest = None
      return self._rest
  def __repr__(self):
      return 'Stream({0}, <...>)'.format(repr(self.first))

然后我创建了一个玩具Stream进行测试：

s = Stream(1, lambda: Stream(2+3, lambda: Stream(9)))

我想知道当我到达Stream的末尾时会发生什么，所以我做了：

s.rest.rest.rest

我所期望的是屏幕打印出Stream.empty，因为最后一个元素是lambda: empty，但我得到了错误追溯消息：

NameError                                 Traceback (most recent call last)
<ipython-input-6-64cf45661094> in <module>()
----> 1 s.rest.rest.rest
<ipython-input-4-7cc49730db55> in rest(self)
     16         """Return the rest of the stream, computing it if necessary."""
     17         if self._compute_rest is not None:
---> 18             self._rest = self._compute_rest()
     19             self._compute_rest = None
     20         return self._rest
<ipython-input-4-7cc49730db55> in <lambda>()
      7     empty = Empty()
      8 
----> 9     def __init__(self, first, compute_rest= lambda: empty):
     10         assert callable(compute_rest), 'compute_rest must be callable.'
     11         self.first = first
NameError: name 'empty' is not defined

所以我的问题是，我确实将empty定义为类变量，但解释器说它没有定义。如果我把嵌套类中的Empty类定义放到全局框架中，代码就可以工作了。

我理解嵌套类是如何出错的吗？任何人都请给我一个提示。谢谢你抽出时间。

Answer 1

该帖子中的代码无效且已损坏。lambda将在父作用域中查找名称empty。这里的问题是类主体不是范围嵌套的范围，因此只有全局范围用于查找。

来自执行模型文档：

类块中定义的名称的范围仅限于类块；它不扩展到方法的代码块

lambda不是一个方法，而是一个可调用的绑定，作为方法参数的默认值，这并不重要。

您可以使用类名来引用它：

def __init__(self, first, compute_rest= lambda: Stream.empty):

因为CCD_ 13现在是全局的（通过运行CCD_。