Python 创建新对象的时机及原因解析

Python中对象创建并非随意发生，而是严格遵循类型特性与操作语义：不可变对象（如int、str、tuple）在看似“修改”时必然生成新对象，因为其本质不可变；可变对象（如list、dict）默认共享引用，仅在显式复制或构造时才诞生新实例；而字面量、工厂函数、lambda定义和类实例化等操作，每次执行都 guaranteed 创建全新对象——理解这一机制，是避免隐蔽bug、优化内存使用及掌握Python底层行为的关键所在。

Python 创建新对象的时机，主要取决于对象的类型、赋值方式、运算操作以及是否显式调用构造函数。不是每次赋值都会新建对象，关键看是否触发了“不可变对象的副本”或“可变对象的引用”，以及是否执行了创建逻辑。

不可变对象（如 int、str、tuple）的“新对象”常被隐式触发

对不可变对象做“修改”操作（如 +=、拼接、切片）时，由于原对象无法改变，Python 必须创建一个新对象来承载结果：

• a = "hello"; b = a + " world" → b 是全新字符串对象（a 不变）
• x = 5; y = x + 1 → y 指向新整数对象 6（尽管小整数会复用，但逻辑上仍是新绑定）
• t = (1, 2); u = t + (3,) → u 是新建元组，非原地修改

可变对象（如 list、dict、set）通常不自动新建，除非显式要求

直接赋值或参数传递默认是引用传递，不会创建新对象；只有调用复制方法或构造函数时才真正新建：

• lst1 = [1, 2]; lst2 = lst1 → lst2 和 lst1 指向同一列表对象
• lst3 = lst1.copy() 或 lst3 = list(lst1) 或 lst3 = lst1[:] → 创建新列表对象
• d1 = {"a": 1}; d2 = dict(d1) 或 d2 = d1.copy() → 新字典对象；而 d2 = d1 仍是引用

函数调用和表达式求值中隐含对象创建

每次调用字面量构造或工厂函数，都会生成新对象（即使值相同）：

• []、{}、set() 每次都返回新空容器
• int("123")、str(42)、list("abc") 都返回新对象
• lambda x: x * 2 每次定义都产生新函数对象（哪怕代码相同）

类实例化必然创建新对象

执行 MyClass() 时，Python 调用 __new__ 分配内存并返回新实例，再调用 __init__ 初始化：

• a = MyClass(); b = MyClass() → a 和 b 是两个独立对象（a is b 为 False）
• 即使 __init__ 什么也不做，只要调用了构造函数，就已创建了新对象

以上就是《Python 创建新对象的时机及原因解析》的详细内容，更多关于的资料请关注golang学习网公众号！