Python iter 双参数读块：文件已经到末尾，循环为什么还不停
末尾读不到数据，不代表循环知道该停
把文本文件处理脚本改成二进制模式后，有时文件明明已经读完，循环却不断收到空数据。读块函数没有失灵，真正的问题可能是停止标记仍写成了空字符串。双参数 iter 会把每次调用的返回值与哨兵比较；两者只是看起来都“空”，并不足以让迭代结束。
下面用 Python 3.12.14 的 BytesIO 代替磁盘文件，避免路径和权限干扰。将完整代码保存为 demo.py，执行 python demo.py。样本只有五个字节，每次请求三个字节，所以应该依次得到三字节块、两字节块，再遇到真正的末尾标记。
把调用次数也记下来
iter(read_block, b"") 接收的是可调用对象，不是调用后的结果。创建迭代器时不会立刻读取，next 或循环才会触发无参数调用。示例把返回长度记录到 calls 中，这样既能看到交付给调用者的数据，也能看到为判断结束而多做的最后一次读取。
错误版本故意把哨兵换成文本空串，但只通过 islice 取五次，防止演示本身无限运行。第二个反例请求零个字节：空返回值此时并不能证明流已经到末尾。两个探针分别检查类型约定和读取长度，不能只看屏幕上有没有打印内容。
AI概念示意图：连续数据块与不同形状的空标记，提醒停止条件必须和读取约定匹配。图片只说明概念，不是运行截图。
from functools import partial
from io import BytesIO
from itertools import islice
stream = BytesIO(b"ABCDE")
calls = []
def read_block():
block = stream.read(3)
calls.append(len(block))
return block
chunks = iter(read_block, b"")
assert calls == []
blocks = list(chunks)
assert blocks == [b"ABC", b"DE"]
assert b"".join(blocks) == b"ABCDE"
assert calls == [3, 2, 0]
print("blocks:", blocks, "lengths:", calls)
wrong_stream = BytesIO(b"ABCDE")
wrong = list(islice(iter(partial(wrong_stream.read, 3), ""), 5))
assert wrong == [b"ABC", b"DE", b"", b"", b""]
print("wrong:", wrong)
zero_stream = BytesIO(b"ABCDE")
empty = list(iter(partial(zero_stream.read, 0), b""))
assert empty == [] and zero_stream.tell() == 0
print("zero-size:", empty, "position:", zero_stream.tell())三个结果分别说明什么
第一行 blocks 是两个字节串，lengths 为 [3, 2, 0]。末尾的空字节串参与了比较，却没有进入 blocks。最后一个短块仍含有效数据，应该交给后续处理；不要因为它比请求长度短就跳过它，否则本例会丢掉 DE。断言还核对了拼接后的完整原文。
第二行 wrong 包含三个连续的 b''。对 BytesIO 来说，到末尾后再次读取仍返回空字节串；它与文本空串不相等，所以错误迭代器仍可继续产出。这里恰好打印三次空值，是测试主动限次的结果，不是迭代器自己知道何时停止。
第三行 zero-size 显示空列表和位置零。read(0) 没有推进游标，却立即匹配了哨兵。若块大小来自配置，应先验证它是业务允许的正整数，而不是把配置错误伪装成一个成功处理完毕的空文件。
把哨兵留给确实不会混淆的状态
哨兵比较使用相等关系，不是身份判断，也不是笼统的真假判断。选择哨兵时要保证它与合法业务数据不会相等。对这里的正长度 BytesIO 读取，b"" 表示结束；换成自定义回调后，空字节串可能只是暂时没有消息，就不能直接套用这个约定。
例子验证的是内存二进制流，不涵盖非阻塞设备、网络超时或远端消息协议。那些接口可能用异常、None 或其他状态表达暂不可读，需要按各自文档处理。迭代器也不会替你关闭文件；真实文件仍应放在 with open(...) 中，保证正常结束与异常路径都释放句柄。
排错时先记录返回值的类型、长度和读取次数，再确认配置的块大小。把“这次没有业务内容”“数据源已结束”和“读取失败”三个状态写清楚，短小的 iter 读块循环才能承担清晰而可验证的责任。
