Question

我正在研究关于懒惰评估的想法。这是我遇到问题的Stream课程：refer to 4.2.6 Stream

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。这里的问题是类主体不是作用域可嵌套作用域，因此只有全局作用域保留用于查找。

来自Execution Model documentation：

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

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

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

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

因为Stream现在是全局的（通过运行class语句设置）。

Python嵌套类混淆

1 个答案: