Python中的字符串和列表是日常开发里使用频率极高的两种数据类型，很多初学者在调用它们的方法时会发现一个明显的区别：部分列表方法会直接修改原列表，而字符串的方法几乎都不会改变原字符串，这种差异的根源就是两者的可变性与不可变性不同。
可变对象与不可变对象的基本概念
在Python中，对象的可变性指的是对象创建之后，其内部的数据是否可以被修改。如果对象创建后内容可以变化，就是可变对象；如果对象创建后内容无法被修改，就是不可变对象。
我们可以通过id()函数来验证对象的身份，当对象内容发生变化时，如果id不变说明是可变对象，id变化则说明是不可变对象。
验证字符串的不可变性
字符串属于不可变对象，对字符串进行修改操作时，实际上是创建了一个新的字符串对象。
s = "hello" print(id(s)) # 输出原字符串的id s = s + " world" print(id(s)) # 输出拼接后字符串的id，和之前的id不同
验证列表的可变性
列表属于可变对象，对列表进行修改操作时，不会创建新的列表对象，原对象的id保持不变。
l = [1, 2, 3] print(id(l)) # 输出原列表的id l.append(4) print(id(l)) # 输出添加元素后的列表id，和之前的id相同
字符串的方法调用特点
因为字符串是不可变对象，所以字符串的所有方法都不会修改原字符串，而是返回一个新的字符串对象。常见的字符串方法比如upper()、replace()、split()都遵循这个规则。
# 字符串方法调用示例
origin_str = "python is good"
# upper方法返回新的大写字符串，原字符串不变
new_str = origin_str.upper()
print(origin_str) # 输出：python is good
print(new_str) # 输出：PYTHON IS GOOD
# replace方法同样返回新字符串
replaced_str = origin_str.replace("good", "great")
print(origin_str) # 输出：python is good
print(replaced_str) # 输出：python is great
列表的方法调用特点
列表作为可变对象，大部分修改类的方法都会直接修改原列表，不会返回新的列表对象，只有少数查询类的方法会返回结果。常见的修改类方法比如append()、insert()、pop()、sort()都属于这种情况。
# 列表方法调用示例 origin_list = [3, 1, 2] # sort方法直接修改原列表，返回None result = origin_list.sort() print(origin_list) # 输出：[1, 2, 3] print(result) # 输出：None # append方法直接添加元素到原列表 origin_list.append(4) print(origin_list) # 输出：[1, 2, 3, 4] # pop方法删除元素并返回被删除的值，同时修改原列表 pop_val = origin_list.pop() print(pop_val) # 输出：4 print(origin_list) # 输出：[1, 2, 3]
方法调用差异的本质原因
字符串和列表方法调用的差异，本质是两者可变性不同导致的设计选择：
- 字符串是不可变对象，对象创建后内部字符序列无法修改，所以任何修改操作都只能生成新的字符串对象，对应的方法自然不会修改原字符串，而是返回新对象。
- 列表是可变对象，对象创建后内部元素可以增删改，所以修改类方法可以直接操作原列表的内存空间，不需要创建新对象，因此会直接修改原列表。
需要注意的是，列表也有部分方法会返回新列表，比如copy()方法会返回原列表的副本，sorted()内置函数会返回排序后的新列表而不修改原列表，调用时需要根据具体方法的特性判断。
常见错误与注意事项
很多开发者会犯这样的错误：给字符串方法调用结果赋值给原变量时，误以为原字符串被修改，或者调用列表的sort()方法后试图接收返回值，导致得到None。
# 错误示例1：以为字符串方法会修改原对象 s = "test" s.upper() print(s) # 输出：test，原字符串没有被修改 # 错误示例2：试图接收列表sort方法的返回值 l = [3, 1, 2] new_l = l.sort() print(new_l) # 输出：None，sort方法没有返回值
正确的做法是，字符串修改后如果需要保留结果，要赋值给变量；列表调用修改类方法时，不需要接收返回值，直接使用原列表即可。