本文介绍一种基于 sys.modules 和全局命名空间分析的方法，精准识别模块中所有非本地定义的导入对象及其来源模块，适用于依赖层级校验等工程化场景。
本文介绍一种基于 sys.modules 和全局命名空间分析的方法，精准识别模块中所有非本地定义的导入对象及其来源模块，适用于依赖层级校验等工程化场景。
在 Python 项目中，尤其在分层架构（如 core → service → api）中，常需验证模块依赖方向是否合规——例如禁止高层模块反向导入低层模块。为此，首要任务是准确区分：某个名称（如 CONSTANT）是在当前模块中定义的，还是从其他模块导入的？若为导入项，其原始定义模块是哪一个？
直接使用 b.__dict__ 或 inspect.getmembers(b) 只能列出所有全局名称，无法天然区分“定义”与“导入”。inspect.getmodule(obj) 对基本类型（如 int、list）无效，因为它们不携带模块归属信息；而 __module__ 属性仅对函数、类等具有该属性的对象有效，对导入的简单值（如整数常量）通常为 None 或 'builtins'，不可靠。
可靠解法是逆向追溯：利用 Python 导入机制的核心事实——所有已加载模块均注册在 sys.modules 中，且每个模块的 __dict__（即 vars(module)）记录了其所有公开成员。我们可遍历 sys.modules，构建一个“名称 → 定义模块”的映射表，再与当前模块的 globals() 对比，筛选出既存在于该映射中、又非模块类型本身的名称。
Python 3.14.2是Python编程语言在2025年12月5日发布的稳定版本，属于3.14系列的第二个维护更新。该版本包含了18项修复，重点解决了多进程、数据类及正则表达式等模块的回归问题，并修复了CVE-2025-12084等安全漏洞。此版本标志着自由线程模式（移除GIL）正式获得官方支持，是Python发展的重要里程碑。
以下是可直接用于模块 b.py 的完整检测逻辑：
import sys
# 构建全局名称到定义模块的映射（排除双下划线特殊名）
name_to_module = {}
for module in sys.modules.values():
if module is None:
continue
for name in vars(module):
if not (name.startswith('__') and name.endswith('__')):
# 避免覆盖：后加载的同名变量会覆盖先加载的，但通常我们关心首次定义（或实际生效）的模块
if name not in name_to_module:
name_to_module[name] = module
# 筛选当前模块中属于“导入项”（非本模块定义，且值本身不是模块对象）
imported_from = []
ModuleType = type(sys)
for name, obj in globals().items():
if name in name_to_module and not isinstance(obj, ModuleType):
defining_module = name_to_module[name]
imported_from.append((name, defining_module.__name__))
# 输出结果：('CONSTANT', 'a')
print(imported_from)
✅ 关键说明：
- 此方法依赖 sys.modules 的完整性，因此需确保目标模块（如 a）已在当前解释器中成功导入（即 from a import CONSTANT 已执行）；
- 映射构建时采用首次出现优先（if name not in name_to_module），避免被后续同名导入覆盖，更贴近实际代码语义；
- 显式排除 isinstance(obj, ModuleType) 是为了跳过 import a 这类导入的模块对象本身，只关注被导入的值对象；
- 若需严格校验依赖层级（如禁止 service 导入 api），可将 imported_from 中的源模块名与预设层级规则比对，自动报错或生成报告。
该方案不依赖 AST 解析或源码读取，运行时轻量、兼容性强，是实施模块依赖治理（Dependency Governance）的实用基础能力。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
