为何from os import path.isfile等写法无效？有何其他合法导入方式？

Python的from ... import语法有两层硬限制，直接导致你写的语句报错：

1. 语法规则限制：from后面的模块路径允许用点号分隔，代表嵌套的子模块层级，比如from os.path是合法写法；但import关键字后面要导入到当前命名空间的名称，必须是不带点号的合法标识符，不支持a.b这种属性链式写法。你写的path.isfile、path.isdir里的点号，会被语法解析器直接判定为非法标记，抛出SyntaxError，根本不会走到后续模块加载、属性查找的流程。
2. 名称查找逻辑限制：isfile、isdir是os.path子模块下的成员函数，并不是os模块顶层直接绑定的属性，就算跳过语法校验，也没法直接从os模块的属性表中查到这两个对象。

除了你给出的两行分模块导入的写法，还有几种可正常运行的实现方案：

• 直接导入顶层os模块，通过属性访问调用对应方法，这是日常开发最常用的写法，不需要把函数单独导入当前命名空间：

import os

# 调用示例
os.path.isfile("/tmp/demo.txt")
os.path.isdir("/tmp")
os.scandir("/tmp")

• 从os模块一次性导入scandir和path子模块，再从path上提取两个判断函数，可以减少一行导入语句：

from os import scandir, path
isfile, isdir = path.isfile, path.isdir

• 动态导入写法（仅适合需要动态加载模块的特殊场景，常规业务代码不推荐，可读性较差）：

from importlib import import_module
from os import scandir
path = import_module("os.path")
isfile, isdir = path.isfile, path.isdir

注意：你给出的示例注释里标注的import os.scandir是无效写法。import语句中点号分隔的路径必须对应包或子模块，而scandir是os模块下的普通函数，不是可独立导入的子模块，这种写法会触发导入错误。

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