Python为何有时无需显式导入即可直接访问子模块？

现象复现 #

通过代码可以最直观展示这个差异：

Python 3.8.9 (default, Apr 13 2022, 08:48:06) 
[Clang 13.1.6 (clang-1316.0.21.2.5)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> import os
>>> os.path.exists('/')  # 无需单独导入os.path子模块即可直接访问
True
>>> import unittest
>>> unittest.mock.MagicMock()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: module 'unittest' has no attribute 'mock'
>>> import unittest.mock  # 必须显式导入该子模块才能正常访问
>>> unittest.mock.MagicMock()
<MagicMock id='4314421952'>

同类现象也出现在第三方包中，比如导入cognitojwt后可以直接访问其下的token_utils子模块成员，无需单独导入：

>>> import cognitojwt
>>> cognitojwt.token_utils.get_unverified_claims

核心机制说明 #

首先纠正一个常见误区：Python不存在「访问模块不存在的属性时，自动尝试导入对应名称子模块」的默认行为，网络上相关博客的描述是错误的。
两种访问行为的差异本质非常简单：子模块能不能直接通过父模块属性访问，完全取决于导入父模块时，这个子模块有没有被加载、并绑定为父模块的属性，和命名空间包没有任何关系。

• 对于os.path这类可以直接访问的子模块：导入父模块os时，os的初始化代码会根据当前操作系统类型，显式导入对应路径实现模块（比如类Unix系统下是posixpath，Windows下是ntpath），并将其绑定为os模块的path属性，因此可以直接访问。
• 对于cognitojwt.token_utils这类第三方包子模块：查看包代码会发现，虽然__init__.py没有手动操作sys.modules，但初始化流程中存在间接导入token_utils的逻辑。只要子模块被任何代码导入过，Python就会自动将其绑定为父模块的对应属性，后续无需重复导入即可直接访问。
• 对于unittest.mock这类必须显式导入的子模块：unittest包的初始化逻辑默认不会导入mock子模块——mock作为独立的测试mock工具，默认不加载可以减少unittest的导入开销。在显式执行import unittest.mock之前，mock子模块既没有被加载到内存，也没有绑定为unittest模块的属性，因此访问时会抛出AttributeError。

Python加载子模块的时机 #

Python仅在执行import相关语句时才会触发子模块的搜索、加载流程，普通的属性访问操作不会触发任何子模块导入逻辑。平时遇到的「没显式导入却能访问子模块」的情况，本质都是父包初始化过程、或者其他前置代码已经提前完成了对应子模块的导入和属性绑定，并不是Python做了自动导入。

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