Python 3.7 类静态变量嵌套列表推导式报NameError原因问询

这个问题的本质是Python语法层的作用域规则设计，在Python 3.7下是完全可复现的固定行为，核心涉及两个规则：

• 类定义块的作用域具备特殊性：仅支持块内顺序执行的代码的命名空间查找，不会作为闭包作用域被嵌套的代码单元（列表推导、生成器表达式、lambda、自定义嵌套函数）继承捕获。
• 自Python 3.0起，所有列表推导式不再向外层泄漏循环变量，而是拥有完全独立的函数作用域，哪怕推导式写在类定义块内部，这个规则也不发生变化。

单重列表推导可正常运行的原因 #

单重列表推导的固定求值顺序决定了它不会触发作用域问题：

推导式在执行时，首先会在当前所在的外层直接作用域中，完成最外层迭代的可迭代对象的计算，之后才将循环逻辑切换到推导式自身的独立作用域中运行。

对应代码里的c = [(x, 2*x) for x in a]、d = [(x, 2*x) for x in b]两行：

1. 执行到推导式时，第一步是在类块的命名空间中查找a、b，因为这步是直接在类块的执行上下文中完成的，能正常找到之前定义的类变量，拿到对应的列表对象。
2. 拿到可迭代对象后，后续的循环、变量计算全部在推导式自己的独立作用域内完成，不需要回头访问类块的命名空间，因此不会触发变量未定义的报错。

嵌套列表推导触发NameError的原因 #

把嵌套推导e = [(x, 2*y) for x in a for y in b]按Python的求值逻辑展开，就能直接定位问题：
这个推导式的执行步骤为：

1. 第一步和单重推导完全一致：在类块的作用域中找到最外层迭代的可迭代对象a，拿到对应的列表值，这步没有任何问题。
2. 进入第一层循环的推导式独立作用域后，开始执行第二层循环逻辑。此时第二层循环的可迭代对象b的求值，已经处于推导式的独立作用域上下文里——而类块的作用域从一开始就不会被推导式作为外层闭包捕获，因此在推导式的上下文中查找b时，找不到任何已定义的同名变量，直接抛出NameError。

补充验证：如果把b从类块移到全局作用域定义，嵌套推导的NameError会立刻消失，因为全局作用域是推导式可以正常访问的外层上下文。如果第二层循环引用的是推导式自己第一层循环产出的变量（比如[(x,y) for x in a for y in range(x)]），也不会触发报错，因为这类变量是推导式自身作用域内定义的，不需要访问类块的命名空间。

可行的修复方案 #

• 方案1：改用普通嵌套循环实现逻辑。普通循环是在类块的直接执行上下文中运行的，可正常访问类的命名空间，不会触发作用域隔离问题：

  class A(object):
      a = [1, 2, 5]
      b = [6, 7, 8]
      c = [(x, 2*x) for x in a]
      d = [(x, 2*x) for x in b]
      e = []
      for x in a:
          for y in b:
              e.append((x, 2*y))
  

• 方案2：利用单重推导可访问类作用域的特性，通过一次无实际业务意义的遍历，把类变量的值显式引入推导式的独立作用域：

  class A(object):
      a = [1, 2, 5]
      b = [6, 7, 8]
      # 第一层遍历仅为了把类变量b传入推导式内部作用域
      e = [(x, 2*y) for shared_b in [b] for x in a for y in shared_b]
  

• 方案3：将嵌套推导的逻辑移到类定义完成后执行，通过类属性的方式访问a、b，完全绕开类块的作用域限制：

  class A(object):
      a = [1, 2, 5]
      b = [6, 7, 8]
      c = [(x, 2*x) for x in a]
      d = [(x, 2*x) for x in b]
  
  A.e = [(x, 2*y) for x in A.a for y in A.b]
  

内容的提问来源于stack exchange，提问作者Itamar Katz