eval globals 和 locals 参数不能按预期工作

Question

语句 eval'd 似乎实际上并未在具有相应全局对象和局部对象的环境中执行。

def f(x):
    return g(x)*3
def g(x):
    return x**2
funcs = {"f":f,"g":g}
del globals()['g'] # to keep them out of the global environment
del globals()['f']
eval("f(2)",globals(),funcs)

错误：

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 1, in <module>
  File "<stdin>", line 2, in f
NameError: name 'g' is not defined

更新：

更多说明：

>>> exec("print(globals()['g'])",{**globals(),**funcs})
<function g at 0x7feb627aaf28>
>>> eval("f(2)",{**globals(),**funcs})
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 1, in <module>
  File "<stdin>", line 2, in f
NameError: name 'g' is not defined

编辑

这不是this question 的副本。即使作为全局函数传递，函数 g 也无法查找。

Answer 1

可以通过查看使用dis.dis(f) 函数f() 的
定义编译的字节码来发现问题：

  7           0 LOAD_GLOBAL              0 (g)
              2 LOAD_FAST                0 (x)
              4 CALL_FUNCTION            1
              6 LOAD_CONST               1 (3)
              8 BINARY_MULTIPLY
             10 RETURN_VALUE

如您所见，第一条指令尝试加载名为g 的全局。

使其工作的一种方法是将g() 设为本地函数：

def f(x):
    def g(x):
        return x**2

    return g(x)*3

funcs = {"f": f}
del globals()['f'] # to keep it  out of the global environment
print(eval("f(2)", globals(), funcs))  # -> 12

这是修改后的f() 的字节码，用于比较：

  8           0 LOAD_CONST               1 (<code object g at 0x00546288, file "test.py">)
              2 LOAD_CONST               2 ('f.<locals>.g')
              4 MAKE_FUNCTION            0
              6 STORE_FAST               1 (g)

 11           8 LOAD_FAST                1 (g)
             10 LOAD_FAST                0 (x)
             12 CALL_FUNCTION            1
             14 LOAD_CONST               3 (3)
             16 BINARY_MULTIPLY
             18 RETURN_VALUE

Answer 2

当您定义f 时，它决定对g 的引用是全局名称查找。此外，它在定义时保留了对有效全局环境的引用（这让您可以在其他模块中调用函数，而不会剥夺它们原来的全局变量）。

当您随后删除 g 时，您从根本上破坏了 f - 此对 g 的全局查找现在将失败。

exec 调用的全局/本地环境参数对已编译的函数 f 没有任何影响。它们只影响您执行的实际文本："f(2)"。换句话说，实际使用您提供的环境的唯一名称查找是f 本身。