五条记录,只回来四条
这一页只做一件事:把“要求的三页”和“实际拿到的两页”放在同一屏上比较。能确认的失败只有一条——E 没有回来;原因还不知道,也不在这一页揭晓。
课堂构造,不是真实失败记录
本页是课堂构造的小程序,不是某个模型的真实失败记录。左侧五条记录 A–E、每页最多两条、“最后一页可以不满”,都是为了让学生先建立可比较的要求,再看到输出少了一条。演示不包含真实模型、真实代码或真实日志。
b0:把要求说完整
要求
第 1 页AB
第 2 页CD
第 3 页E
实际返回
尚未返回内容
b0 的舞台上,右侧保持空白,但尺寸已经预留。此时不出现第三页、问号、结论或代码;学生先看到输入、页大小与三页要求,并听到“最后一页可以不满”。
b1:只确认 E 缺失
要求
第 1 页AB
第 2 页CD
第 3 页E
实际返回
第 1 页AB
第 2 页CD
第 3 页?未返回
只回来四条
实际只返回了前两页,也就是四条记录;输入中的 E 没有出现在结果里。期望的第三页仍应包含 E。这个对照确认了遗漏,却还没有解释遗漏的原因。
这只是一个观察结果。读错、循环错、切片错都还是候选原因;代码没有出现,因此不能从这一屏推出根因,也不能说已经修好。
证据边界
能确定
- 输入是 5 条记录,页大小是 2。
- 按顺序分页,要求是三页。
- 实际返回只有四条,少了 E。
还不能确定
- 是读取、循环还是切片导致的缺失。
- 问题出在哪一行代码。
- 任何“已修好”或“只有这一种原因”的结论。
来源与身份
本讲保留逐页解释、研究原文和实验入口;整讲可在“完整学习正文”中连续阅读。