Python类成员函数参数解析时是否检查？及模块导入与传参疑问

1. Python类成员函数的参数类型会在解析阶段被检查吗？ #

不会。Python是动态类型语言，在解析（编译为字节码）阶段完全不会检查函数/方法的参数类型。只有在运行时调用函数，且对参数执行了特定操作（比如调用某个类的专属方法）时，才会因类型不匹配抛出错误。

2. 为什么track_holder.py模块必须导入TrackObject类？ #

已知传入track_holder.candidate_tracks.append()的track对象是外部实例化的，且模块内没其他地方访问这个类，但导入它主要是为了以下几点：

• 文档与类型提示支持：方法的docstring里标注了track : TrackObject，如果不导入该类，IDE、静态类型检查工具（如mypy）会无法识别这个类型，导致语法提示错误，影响开发效率。
• 静态类型检查需求：如果后续用类型检查工具扫描代码，必须导入类才能让工具验证传入参数是否符合预期，提前发现潜在的类型问题。
• 代码可读性与维护性：明确导入依赖的类，能让其他开发者一眼看出这个方法预期接收的参数类型，无需额外查找定义。
• Python解释器运行时确实不会强制检查类型，但导入类是为了配合开发工具与编码规范，并非给解释器本身使用。

对应的模块代码：

from track_object import TrackObject

class TrackHolder:
    
    def __init__(self):
        self.candidate_tracks = []

    def add_candidate_track(self, track):
        """
        track : TrackObject    Track to be added. 
"""
        self.candidate_tracks.append(track) 

3. Python中所有参数是否均按值传递，无按引用传递的选项？ #

这个说法是错误的，Python的参数传递规则是按对象引用传递（也叫按共享对象传递），具体逻辑：

• 传递的是变量指向的对象引用的副本，不是对象本身的副本，也不是变量的直接引用。
• 如果传入的是可变对象（如列表、字典），函数内部修改对象的内容（比如list.append()），外部变量会同步看到修改——因为它们指向同一个对象。
• 如果传入的是不可变对象（如整数、字符串、元组），函数内部无法修改对象本身，只能将本地参数重新绑定到新对象，不会影响外部变量。
• 函数退出时，本地的参数引用会被销毁，但对象本身是否被回收，取决于是否还有其他引用指向它。

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