git - 'git merge'具体是如何工作的？

Question

我想知道“git merge”背后的确切算法(或近似算法)。至少对这些子问题的回答会有所帮助:

• git 如何检测特定非冲突更改的上下文？
• git 如何发现这些确切行中存在冲突？
• git 自动 merge 哪些东西？
• 当没有用于 merge 分支的公共(public)基础时，git 如何执行？
• 当存在多个 merge 分支的公共(public)基础时，git 是如何执行的？
• 当我一次 merge 多个分支时会发生什么？
• merge 策略之间有什么区别？

但是对整个算法的描述会好很多。

Answer 1

您最好查找有关 3 路 merge 算法的说明。高级描述应该是这样的:

1. 找到合适的 merge 基础 B - 作为两个新版本(X 和 Y)的祖先的文件版本)，并且通常是最近的这样的基础(尽管在某些情况下它必须返回更远的地方，这是 git 默认 recursive merge 的特性之一)
2. 执行 X 与 B 和 Y 与 B 的差异。
3. 浏览两个差异中标识的更改 block 。如果双方在同一地点引入相同的变化，则接受其中一个；如果一个人引入了变化而另一个人不理会那个区域，则在决赛中引入变化；如果两者都在一个点上引入了变化，但它们不匹配，则将冲突标记为手动解决。

完整的算法更详细地处理了这个问题，甚至还有一些文档(其中一个是 https://github.com/git/git/blob/master/Documentation/technical/trivial-merge.txt，以及 git help XXX 页面，其中 XXX 是 之一merge-base、merge-file、merge、merge-one-file 以及可能的其他几个)。如果这还不够深入，总有源代码...