未导入类的方法调用无报错问题解析

测试脚本 #

test_import_1.py #

class Haha():
    def __init__(self):
        self.haha = "Hahahahahahahaha"
    def laugh(self):
        print(self.haha)

test_import_2.py #

def tell_joke(haha):
    haha.laugh()

test_import_3.py #

import test_import_1
import test_import_2

haha = test_import_1.Haha()
test_import_2.tell_joke(haha)

运行test_import_3.py后，程序正常输出Hahahahahahahaha，既无报错，IDE也未提示test_import_2.py中.laugh()方法未定义。原本以为调用对象方法时，必须在对应模块导入类所在模块（比如test_import_2开头要导入test_import_1），因为误以为import会触发定义检查，现在疑惑import是否像隐式复制代码且不做逻辑检查。

Python是动态类型语言，它不会在代码定义阶段（比如编写test_import_2.py时）检查变量的类型或方法是否存在，只在代码实际运行到对应行时才做校验。

具体到这个例子：

1. 运行test_import_3.py时，先导入test_import_1和test_import_2模块。导入的本质是执行模块内的代码，把模块内容加载到内存，但此时test_import_2里的tell_joke函数只是被定义，并未被调用，所以不会触发任何方法存在性检查。
2. 接着创建test_import_1.Haha()的实例haha，这个实例确实自带laugh方法。
3. 调用test_import_2.tell_joke(haha)时，才会执行haha.laugh()这一行。此时Python检查传入的haha对象是否有laugh方法，确认存在后就正常执行，不会报错。

至于IDE没提示错误，是因为多数Python IDE的静态类型检查默认不严格（需额外配置类型注解才能触发）。如果给test_import_2.py加上类型注解：

from test_import_1 import Haha

def tell_joke(haha: Haha):
    haha.laugh()

IDE就会给出类型相关的提示，但不加注解的话，IDE无法确定haha参数的具体类型，自然不会报错。

你觉得import像“隐式复制代码”是误解——import的作用是把模块的命名空间加载到当前环境，让你能引用模块内容，而非复制代码。不需要在test_import_2里导入test_import_1的核心原因，就是Python的动态特性：只要运行时传入的对象有对应方法，代码就能正常执行，不需要提前声明类型或导入类。

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