CS50 PSet4 Recover代码疑问：if-else语句为何致JPEG恢复失败？

问题描述 #

我在编写CS50 PSet4的Recover代码时，遇到了while循环内if-else语句的逻辑问题。运行第一版代码时，check50报错无法正确恢复000.jpg、中间图片及049.jpg，预期退出码0却返回None。

第一版代码的逻辑是：当检测到JPEG签名时，用else if判断jpegStart为false才执行创建文件、写入数据等操作；而移除else if后代码运行成功。想了解为何加入else if会导致恢复失败？

问题分析与解答 #

核心问题出在else if的逻辑阻断了正常的文件切换与数据写入流程，具体细节如下：

• 当首次检测到JPEG签名时，jpegStart初始值为false，此时else if条件成立，会创建第一个文件并写入当前块数据。但后续循环中读取到下一个JPEG签名时，jpegStart已经被设为true，else if条件不满足——这不仅会跳过关闭当前文件、创建新文件的步骤，连当前这个包含新JPEG签名的512字节数据也会被直接跳过不写入，导致新文件完全没有起始数据，旧文件也无法正常收尾。
• 移除else if后，检测到JPEG签名时，无论jpegStart是true还是false，都会先处理关闭旧文件（如果存在）、创建新文件的逻辑，接着写入当前的512字节数据。之后的循环里，只要文件处于打开状态，就会持续写入后续数据，直到下一个JPEG签名触发新的文件切换，完全符合Recover题目的数据处理逻辑。
• 另外，第一个JPEG文件的完整性也会受影响：如果初始逻辑中只有jpegStart为false时才写入数据，一旦初始化或判断环节有疏漏，会导致000.jpg缺失开头的签名数据，直接损坏文件。

简言之，else if在这里错误地限制了仅首次遇到JPEG签名时才执行文件创建与写入，后续的签名无法触发文件切换，甚至丢失关键数据，最终导致所有恢复的图片都无法正常生成。

内容的提问来源于stack exchange，提问作者Ibrahim