Day 05: 原地修改、对象标识、类型与比较

a = [1]
b = a
a.append(2)
print("case 1:", a, b, a is b)
a = [1]
b = a
a = a + [2]
print("case 2:", a, b, a is b)

查看参考解答与分析:

输出（Python 3.13 与 3.14 完全相同）：

case 1: [1, 2] [1, 2] True
case 2: [1, 2] [1] False

解析：
- 情况 1：b = a 让两个名字指向同一个列表。append 原地修改这个列表，所以两个名字都显示 [1, 2]，a is b 为 True。
- 情况 2：a + [2] 创建了新列表 [1, 2]，赋值把 a 重新绑定到它。b 仍指向原来的 [1]，所以 a is b 为 False。

规律：原地修改改变的是对象本身，所有指向它的名字都能看到变化；重新绑定只改变某一个名字指向哪个对象，其他名字不受影响。

print(1 == True, 0 == False)
print([1] == [1], [1] is [1])
raw = "3"
print(raw == 3, int(raw) == 3)
value = None
print(value is None)

查看参考解答与分析:

输出（Python 3.13 与 3.14 完全相同）：

True True
True False
False True
True

解析：
- 1 == True 和 0 == False 都为 True：bool 是 int 的子类，True 等于 1，False 等于 0。
- [1] == [1] 为 True，因为内容相等；[1] is [1] 为 False，因为每个列表字面量都会创建一个新对象。
- raw == 3 为 False：str 永远不等于 int。显式转换后，int(raw) == 3 为 True。这个输入具有误导性，因为打印出来 3 和 "3" 看起来一样；用 repr(raw) 和 type(raw) 才能看出区别。
- value is None 为 True。None 对象只有一个，所以 is None 直接检查这个对象，不会被重新定义了 == 的类欺骗。

选做结果：int(" 3 ") 返回 3（忽略两侧空白）；int("3.0") 抛出 ValueError: invalid literal for int() with base 10: '3.0'。

score = 3
if score = 3:
    print("passed")

raw = "3"
if raw == 3:
    print("passed")
else:
    print("not passed:", repr(raw), type(raw).__name__)

items = None
items.append(1)
print(items)

查看参考解答与分析:

参考解答。输出在 Python 3.13 与 3.14 上完全相同。File 行显示的是你自己的路径；插入符（^）行和建议行在较旧的 Python 版本中可能不同，请以最后一行错误信息为准。

1. starter_syntax.py — 语法错误。Python 在执行任何一行之前就拒绝了整个文件：

File "starter_syntax.py", line 2
    if score = 3:
       ^^^^^^^^^
SyntaxError: invalid syntax. Maybe you meant '==' or ':=' instead of '='?

修复：= 用于绑定名字；条件中需要比较运算符 ==。

score = 3
-if score = 3:
+if score == 3:
     print("passed")

修复后的输出：

passed

2. starter_compare.py — 类型/值不匹配。没有报错，但走错了分支，因为 str 类型的 "3" 永远不等于 int 类型的 3：

not passed: '3' str

修复：在输入边界把文本转换为整数，再比较整数。

raw = "3"
-if raw == 3:
+score = int(raw)
+if score == 3:
     print("passed")
 else:
-    print("not passed:", repr(raw), type(raw).__name__)
+    print("not passed:", repr(score), type(score).__name__)

修复后的输出：

passed

边界情况 raw = "4"：

not passed: 4 int

边界情况 raw = "three"：

Traceback (most recent call last):
  File "fixed_compare.py", line 2, in <module>
    score = int(raw)
ValueError: invalid literal for int() with base 10: 'three'

输入约定：修复后的程序接受表示整数的文本（int() 也会忽略两侧空格）；非数字文本会引发 ValueError，选做部分会把它改成清楚的提示。

3. starter_none.py — 对 None 的无效操作。None 表示“还没有列表”，它没有 append 方法：

Traceback (most recent call last):
  File "starter_none.py", line 2, in <module>
    items.append(1)
    ^^^^^^^^^^^^
AttributeError: 'NoneType' object has no attribute 'append'

修复：追加之前先创建一个空列表。

-items = None
+items = []
 items.append(1)
 print(items)

修复后的输出：

[1]

辅助申报示例：“智能体：<工具名>，对三个初始文件只读访问；每个文件都由我亲自运行，每处差异都由我亲自审查。”——或“未使用智能体。”

a = [1]
b = a
a.append(2)
print("mutation:", a, b, a is b)
a = [1]
b = a
a = a + [2]
print("rebinding:", a, b, a is b)
print(1 == True)
print([1] == [1])
print([1] is [1])
print("3" == 3)

查看参考解答与分析:

参考解答。

以下是在全新脚本中运行所示完整程序的逐行追踪。原地修改栏对应第 1–4 行；重新绑定栏对应接着执行的第 5–8 行，中途不重置 b。第 9–12 行也是同一次运行中的比较检查点。L1、L2、L3 是不同列表对象的说明标签，不是 Python 变量或内存地址；a → L1 [1] 同时记录名字的绑定对象和该对象当前的内容。UNBOUND 表示名字尚未绑定。

| 检查点／刚执行的源代码行 | a 的绑定对象及内容 | b 的绑定对象及内容 | a is b |
| --- | --- | --- | --- |
| 初始状态（第 1 行之前） | UNBOUND | UNBOUND | 尚不可求值：名字 a 引发 NameError |
| 1. a = [1] | → L1 [1] | UNBOUND | 尚不可求值：名字 b 引发 NameError |
| 2. b = a | → L1 [1] | → L1 [1] | True |
| 3. a.append(2) | → L1 [1, 2] | → L1 [1, 2] | True |
| 4. print("mutation:", a, b, a is b) | → L1 [1, 2] | → L1 [1, 2] | True |
| 5. a = [1] | → L2 [1] | → L1 [1, 2] | False |
| 6. b = a | → L2 [1] | → L2 [1] | True |
| 7. a = a + [2] | → L3 [1, 2] | → L2 [1] | False |
| 8. print("rebinding:", a, b, a is b) | → L3 [1, 2] | → L2 [1] | False |
| 9. print(1 == True) | → L3 [1, 2] | → L2 [1] | False |
| 10. print([1] == [1]) | → L3 [1, 2] | → L2 [1] | False |
| 11. print([1] is [1]) | → L3 [1, 2] | → L2 [1] | False |
| 12. print("3" == 3) | → L3 [1, 2] | → L2 [1] | False |

初始状态和第 1 行的 NameError 表示：如果在该点额外求值 a is b，会发生什么。原程序并未在这些位置求值，因此会正常继续。第 3 行修改的是共享的 L1 对象。第 5 行中 a 指向新建的 L2，而 b 仍指向先前已修改的 L1。第 6 行把 b 也重新绑定到 L2，两个名字都不再引用 L1。第 7 行新建 L3，只重新绑定 a，不修改 L2。打印不会改变这两个名字的绑定。第 10–11 行的临时列表不是 a 或 b；这些比较的结果见保留的输出。

输出（Python 3.13 与 3.14 完全相同）：

mutation: [1, 2] [1, 2] True
rebinding: [1, 2] [1] False
True
True
False
False

比较：1 == True 为 True（bool 是 int 的子类）；[1] == [1] 为 True（内容相等）；[1] is [1] 为 False（两个独立的对象）；"3" == 3 为 False（str 永远不等于 int）。

预防规则：
1. 语法错误 — 检验相等性时使用 ==，而不是赋值的 =。诊所中的 if score == 3: 检验相等性，score = 3 则绑定名字。条件不一定检验相等性：真值判断（if items:）、大小比较（if score < 3:）、对象标识检查（if items is None:）和其他谓词都可用于 if 和 while 条件。证据：SyntaxError: invalid syntax. Maybe you meant '==' or ':=' instead of '='?
2. str 与 int — 在与数字比较之前，于输入边界用 int(raw) 转换文本输入；比较结果意外为 False 时，打印 repr() 和 type()。证据："3" == 3 打印出 False，诊所中打印出 not passed: '3' str。
3. None — 调用方法之前先创建集合（items = []）；可能为 None 时，先用 if items is None: 检查。证据：AttributeError: 'NoneType' object has no attribute 'append'。