Git 从零工作流：让每次修改都能检查、解释和撤回

Git 帮你记录每次改了什么，并保留可回看的项目快照。工作区是正在编辑的文件，暂存区是准备交进下一次提交的版本，HEAD 通常指向当前分支最新提交。三者可以不同：暂存后又改文件，commit 仍只记录暂存的内容。所以提交前除了看编辑器，还要看 diff --cached。

第一次练习时，先运行 git --version，再在自己新建的独立空目录 git init，并创建 Main.java。用 git status --short 和 git diff 查看修改，用 git add -- Main.java 放进暂存区，再用 git diff --cached 核对。

确认作者身份配置后，以 Add greeting program 为提交说明执行提交，最后再看状态。每一步都对照工作区、暂存区和提交发生了什么变化。

分支是指向提交的可移动引用，不是复制整个项目的独立文件夹。提交记录父提交，形成有向无环的历史；新分支让尚未完成的工作有独立推进位置。远程仓库与本地仓库分别保存对象和引用，fetch 获取远程更新并刷新远程跟踪引用，push 尝试更新远端引用。网络传输成功与代码行为正确是两件事。

普通 git diff 比较工作区和暂存区，git diff --cached 比较暂存区和 HEAD，git diff HEAD 则显示当前工作区相对 HEAD 的变化。先确定比较端点，才能解释为什么某次 diff 为空：它只意味着指定两个状态在该比较范围内相同，不能推导整个仓库没有其他变更。未跟踪文件也需要通过 status 观察。

合并不能只比较两边最终内容，因为不同内容不一定冲突。设共同基准为 B，我方为 O，对方为 T：若 O 等于 T，直接采用；若 O 等于 B，说明我方没改，采用 T；若 T 等于 B，采用 O；其余才需要更细的合并或人工决定。真实 Git 还会处理行级差异、重命名和多个祖先，本文算法刻意使用整文件内容作为原子值。

共享历史中发现错误，revert 通常通过新增反向提交保留审计关系；它也可能与后续修改冲突，必须检查最终代码并重新验证。reset、rebase 会涉及指针或历史整理，适合先明确本地状态和协作约定再使用。冲突标记消失只代表文本已处理，不代表语义正确，两个独立功能可能合并后才产生业务矛盾。

一次提交围绕一个能解释的行为变化，评审会更容易定位问题。提交说明应描述触发条件和结果，测试应针对该变化，而不是只写 update。若误提交了凭据，后续删除文件不能清除历史泄露，需按凭据处理流程撤销或轮换；日常应在提交前排除不该进入仓库的本机配置与生成产物。

Java MessageDigest.digest(byte[]) 的本机源码先 update(input)，再调用无参 digest 完成摘要。此前已 update 的头部也参与计算，因此教学代码能把对象头和内容连续送入同一个摘要过程。不能将只对文件正文取摘要的结果直接冒称 Git blob 标识。

传统 SHA-1 Git 对象格式把类型、字节长度、零字节分隔和正文共同计算标识。教学实现限定 UTF-8 文本 blob，没有实现 tree、commit、压缩存储或仓库引用。支持其他对象格式的仓库需要按实际配置处理，不能依据摘要长度之外的猜测随意混用算法。

这里定位的是 JDK 的 Java 摘要 API，Git 的主要实现并不是 Java。代码是学习内容寻址的一小段客户端模型，不是 Git 内核源码，也没有模拟真实 Git 的碰撞防护等实现细节。源代码阅读的目的在于解释增量输入和最终摘要的联系，而非声称实现了完整版本控制。

相同字节内容可以共用一个对象，但文件路径保存在 tree 中，不属于 blob 正文，所以相同内容能出现在不同文件名下。commit 又记录 tree、父提交、作者等信息；即使文件没变，改提交说明也可能得到新 ID。提交 ID 不能简单理解成全部项目文件压缩后的哈希。

输入基准、我方和对方三个路径到文本的映射；缺少路径表示删除，值禁止 null。输出可自动合并的文件和冲突路径，不改任何仓库。完整 Main 用 Java17 运行自测。

将三张快照的路径做并集，确保新增和删除都参与比较。每个路径上，null 仅代表不存在，所以先禁止用户传入 null 值，避免无法区分空值文件和删除。空字符串仍是合法文件内容，与不存在不同。

依次检查双方相等、我方未改和对方未改，能处理相同修改、单边修改以及双方同时删除。无法匹配这些规则时记录冲突，不擅自选择一边。删除与另一边修改同一文件也进入冲突，防止用删除无声覆盖对方工作。

结果使用按路径排序的映射和冲突列表，便于稳定检查。算法把整文件作为不可分割值，因此即便双方改的是不同代码行，也会保守报告冲突。这种局限适合作为三方判断的起点；进一步实现行级合并时，需要新的差异算法和重叠修改规则。

路径并集排序需要 O(k log k) 次比较，每个路径执行有限次内容相等判断；字符串比较成本不能无条件视为常数。

协作时每次修改要容易看懂和检查。分支策略可以简单，提交、评审和合并约定要一致；大量格式化与业务改动分开，能减少干扰。提交前核对暂存内容和测试，合并后再检查组合结果，尤其关注配置、接口与数据库迁移是否配套。

共享历史修正应考虑其他协作者已经基于哪些提交继续开发。反向提交通常便于保留因果记录，历史重写则需要协调引用变化。任何恢复动作都先确认工作区和暂存区状态，避免为修复一个旧提交丢掉新的未提交成果。reflog 能提供本地引用移动线索，但不应被当作替代备份的保证。

仓库中保存源码、声明配置与必要资产，构建缓存和机器专属文件通常通过忽略规则管理。忽略规则不自动停止跟踪已提交文件。若需要证据追溯，应把提交标识、构建产物与发布记录关联起来；仅凭某个分支名无法永久确定部署内容，因为分支引用会继续移动。