Python 模块定义的 __getattr__ 仅对模块外访问生效，模块内变量查找直接查 globals() 而不触发 __getattr__；本文提供一种基于动态重执行 + 自定义 __builtins__ 的可靠绕过方案。
python 模块定义的 `__getattr__` 仅对模块外访问生效，模块内变量查找直接查 `globals()` 而不触发 `__getattr__`；本文提供一种基于动态重执行 + 自定义 `__builtins__` 的可靠绕过方案。
在 Python 3.7+ 中，模块级 __getattr__ 是一个强大机制，可用于实现懒加载、动态属性代理或优雅的 fallback 行为。但其设计限制明确：它仅在模块被其他模块导入后、通过点号（如 mymodule.attr）或 getattr(mymodule, 'attr') 访问时生效；而在模块自身作用域内（即顶层代码中）直接使用未定义变量（如 print(x)），会跳过 __getattr__，直接查询 globals() 字典并抛出 NameError。
根本原因在于 Python 的名称解析顺序：模块内未声明的变量首先在 globals() 中查找，失败后才查 __builtins__，而 __getattr__ 并不参与该流程。因此，无法通过包装 globals()（如继承 dict 并重写 __getitem__）来解决——因为 globals() 本身是只读引用，且 Python 解释器不会用其 __getitem__ 处理缺失名。
✅ 正确思路是：劫持 __builtins__ 的缺失行为，使其在 globals() 查找失败后，将请求委托给模块的 __getattr__。但由于当前帧的 __builtins__ 不可直接赋值（__builtins__ 是只读属性），需采用「重执行」策略：
- 检测当前
__builtins__是否已为自定义类（避免无限递归）； - 若未定制，则构建一个继承自
dict的_DefaultDict，重写__missing__方法，内部调用模块定义的__getattr__； - 将该字典作为新的
__builtins__，并使用exec()重新执行当前帧的代码对象（f_code），传入原globals()—— 此时所有未定义变量将先查globals()（失败），再查__builtins__（触发__missing__→__getattr__）。
以下是精简、健壮的实现模板：
立即学习“Python免费学习笔记（深入）”；
# ✅ 放置于模块顶层（.py 文件开头或交互式会话中）
if type(__builtins__).__name__ == '_DefaultDict':
# ? 这里是你的原始业务逻辑（模块内直接使用的代码）
def __getattr__(name):
return f'custom {name}'
print(a) # 输出: custom a
print(baz) # 输出: custom baz
else:
import sys
import builtins
class _DefaultDict(dict):
def __missing__(self, name):
# 确保 __getattr__ 已定义且可调用
if '__getattr__' in globals() and callable(globals()['__getattr__']):
return globals()['__getattr__'](name)
raise NameError(f"name '{name}' is not defined")
# 构建新 __builtins__：基础内置函数 + 缺失委托
__builtins__ = _DefaultDict(vars(builtins))
del _DefaultDict # 清理命名空间，避免污染
exec(sys._getframe(0).f_code, globals())⚠️ 注意事项与最佳实践：
- 该方案兼容脚本直接运行（
python script.py）和作为模块被导入（此时type(__builtins__).__name__通常为'dict'或'module'，不会进入重执行分支）； -
sys._getframe(0)是 CPython 实现细节，虽稳定但属非公开 API；若需更高可移植性，建议将核心逻辑封装为函数，并显式调用（牺牲一点“透明性”换稳定性）； - 务必在
__missing__中检查__getattr__是否存在且可调用，防止模块未定义__getattr__时静默失败； - 避免在
__getattr__内部引发意外异常（如递归调用自身），否则会导致难以调试的RecursionError或NameError嵌套。
综上，这不是“hack”，而是对 Python 名称解析机制的精准适配——通过控制 __builtins__ 的回退路径，让模块内缺失名也能享受 __getattr__ 的灵活性。对于构建 DSL、插件系统或需要统一 fallback 策略的库模块，此模式极具实用价值。
