嘿，我来帮你揪出这个pickle解包错误的根源！

先看你的代码场景：在check()函数里，你尝试原地修改文件中的pickle记录，但这个操作不小心破坏了文件里的pickle对象结构，才导致了这个错误。具体来说：

错误的核心原因 #

你用rb+模式打开文件，这种模式允许读写但不会自动调整文件长度。当你找到目标记录后，用seek()回到原位置并dump()新数据时，如果新序列化的数据字节长度和原数据不一样，就会搞乱后续的记录：

• 如果新数据更长：会直接覆盖下一条记录的开头部分，导致后续pickle.load()读到被破坏的字节（比如你看到的\x00），自然解析失败。
• 如果新数据更短：原数据的剩余字节会留在文件里，和下一条记录的字节混在一起，同样会让pickle无法识别有效的对象格式。

看你第三个测试用例的情况：原来第一条记录是[1, 's', '12']，后来把名字改成了更长的dfrgdr，新的序列化数据长度肯定比原来的长，直接覆盖了第二条记录的开头，当循环继续读取下一条记录时，读到的就是被破坏的无效字节，所以触发了_pickle.UnpicklingError。

另外你代码里注释掉的fo.truncate()其实是个关键的补救步骤，但即使不注释，你当前的逻辑（更新后继续循环读取）也会因为已经破坏的文件结构而报错。

怎么解决这个问题 #

最稳妥的方式是避免原地修改文件，改成“先读入所有记录到内存→修改→重新写入整个文件”的模式，这样能彻底避免文件结构被破坏的问题。修改后的check()函数可以这样写：

def check():
    # 第一步：把所有记录读进内存
    records = []
    with open("binary.dat", "rb") as fo:
        try:
            while True:
                records.append(pickle.load(fo))
        except EOFError:
            pass
    
    # 第二步：找到目标记录并修改
    search = int(input("Enter roll.no to search: "))
    name = input("Enter name to update: ")
    for data in records:
        if data[0] == search:
            data[1] = name
            break
    
    # 第三步：重新写入完整的记录
    with open("binary.dat", "wb") as fo:
        for data in records:
            pickle.dump(data, fo)

如果你非要原地修改，那必须保证新数据和原数据的字节长度完全一致（这很难做到，因为字符串长度变化会直接影响序列化后的字节数），而且更新后要立即跳出循环并截断文件到当前位置，不过这种方式容错性极低，不推荐。

内容来源于stack exchange