“合并前文件還在的，合并后就不見了”、“我遇到 Git 合并的 bug 了” 是兩句經常聽到的話，但真的是 Git 的 bug 么?或許只是你的預期不對。本文通過講解三向合并和 Git 的合并策略，step by step 介紹 Git 是怎么做一個合并的，讓大家對 Git 的合并結果有一個準確的預期，并且避免發生合并事故。

故事時間

在開始正文之前，先來聽一下這個故事。

如下圖，小明從節點 A 拉了一條 dev 分支出來，在節點 B 中新增了一個文件 http.js，并且合并到 master 分支，合并節點為 E。這個時候發現會引起線上 bug，趕緊撤回這個合并，新增一個 revert 節點 E'。過了幾天小明繼續在 dev 分支上面開發新增了一個文件 main.js，并在這個文件中 import 了 http.js 里面的邏輯，在 dev 分支上面一切運行正常。可當他將此時的 dev 分支合并到 master 時候卻發現，http.js 文件不見了，導致 main.js 里面的邏輯運行報錯了。但這次合并并沒有任何沖突。他又得重新做了一下 revert，并且迷茫的懷疑是 Git 的 bug。

 

兩句經常聽到的話：

—— ”合并前文件還在的，合并后就不見了“

—— ”我遇到 Git 的 bug 了“

相信很多同學或多或少在不熟悉 Git 合并策略的時候都會發生過類似上面的事情，明明在合并前文件還在的，為什么合并后文件就不在了么?一度還懷疑是 Git 的 bug。這篇文章的目的就是想跟大家講清楚 Git 是怎么去合并分支的，以及一些底層的基礎概念，從而避免發生如故事中的問題，并對 Git 的合并結果有一個準確的預期。

如何合并兩個文件

在看怎么合并兩個分支之前，我們先來看一下怎么合并兩個文件，因為兩個文件的合并是兩個分支合并的基礎。

大家應該都聽說過“三向合并”這個詞，不知道大家有沒有思考過為什么兩個文件的合并需要三向合并，只有二向是否可以自動完成合并。如下圖

 

很明顯答案是不能，如上圖的例子，Git 沒法確定這一行代碼是我修改的，還是對方修改的，或者之前就沒有這行代碼，是我們倆同時新增的。此時 Git 沒辦法幫我們做自動合并。

所以我們需要三向合并，所謂三向合并，就是找到兩個文件的一個合并 base，如下圖，這樣子 Git 就可以很清楚的知道說，對方修改了這一行代碼，而我們沒有修改，自動幫我們合并這兩個文件為 Print("hello")。

 

 

接下來我們了解一下什么是沖突?沖突簡單的來說就是三向合并中的三方都互不相同，即參考合并 base，我們的分支和別人的分支都對同個地方做了修改。

 

Git 的合并策略

了解完怎么合并兩個文件之后，我們來看一個使用 git merge 來做分支合并。如上圖，將 master 分支合并到 feature 分支上，會新增一個 commit 節點來記錄這次合并。

Git 會有很多合并策略，其中常見的是 Fast-forward、Recursive 、Ours、Theirs、Octopus。下面分別介紹不同合并策略的原理以及應用場景。默認 Git 會幫你自動挑選合適的合并策略，如果你需要強制指定，使用git merge -s <策略名字>

了解 Git 合并策略的原理可以讓你對 Git 的合并結果有一個準確的預期。

Fast-forward

Fast-forward 是最簡單的一種合并策略，如上圖中將 some feature 分支合并進 master 分支，Git 只需要將 master 分支的指向移動到最后一個 commit 節點上

Fast-forward 是 Git 在合并兩個沒有分叉的分支時的默認行為，如果不想要這種表現，想明確記錄下每次的合并，可以使用git merge --no-ff。

Recursive

Recursive 是 Git 分支合并策略中最重要也是最常用的策略，是 Git 在合并兩個有分叉的分支時的默認行為。其算法可以簡單描述為：遞歸尋找路徑最短的唯一共同祖先節點，然后以其為 base 節點進行遞歸三向合并。說起來有點繞，下面通過例子來解釋。

如下圖這種簡單的情況，圓圈里面的英文字母為當前 commit 的文件內容，當我們要合并中間兩個節點的時候，找到他們的共同祖先節點(左邊第一個)，接著進行三向合并得到結果為 B。(因為合并的 base 是“A”，下圖靠下的分支沒有修改內容仍為“A”，下圖靠上的分支修改成了“B”，所以合并結果為“B”)。

但現實情況總是復雜得多，會出現歷史記錄鏈互相交叉等情況，如下圖：

 

當 Git 在尋找路徑最短的共同祖先節點的時候，可以找到兩個節點的，如果 Git 選用下圖這一個節點，那么 Git 將無法自動的合并。因為根據三向合并，這里是是有沖突的，需要手動解決。(base 為“A“，合并的兩個分支內容為”C“和”B“)

 

而如果 Git 選用的是下圖這個節點作為合并的 base 時，根據三向合并，Git 就可以直接自動合并得出結果“C”。(base 為“B“，合并的兩個分支內容為”C“和”B“)

作為人類，在這個例子里面我們很自然的就可以看出來合并的結果應該是“C”(如下圖，節點 4、5 都已經是“B”了，節點 6 修改成“C”，所以合并的預期為“C”)

那怎么保證 Git 能夠找到正確的合并 base 節點，盡可能的減少沖突呢?答案就是，Git 在尋找路徑最短的共同祖先節點時，如果滿足條件的祖先節點不唯一，那么 Git 會繼續遞歸往下尋找直至唯一。還是以剛剛這個例子圖解。

如下圖所示，我們想要合并節點 5 和節點 6，Git 找到路徑最短的祖先節點 2 和 3。

 

因為共同祖先節點不唯一，所以 Git 遞歸以節點 2 和節點 3 為我們要合并的節點，尋找他們的路徑最短的共同祖先，找到唯一的節點 1。

 

 

接著 Git 以節點 1 為 base，對節點 2 和節點 3 做三向合并，得到一個臨時節點，根據三向合并的結果，這個節點的內容為“B”。

 

再以這個臨時節點為 base，對節點 5 和節點 6 做三向合并，得到合并節點 7，根據三向合并的結果，節點 7 的內容為“C”

 

至此 Git 完成遞歸合并，自動合并節點 5 和節點 6，結果為“C”，沒有沖突。

 

[[328002]]

Recursive 策略已經被大量的場景證明它是一個盡量減少沖突的合并策略，我們可以看到有趣的一點是，對于兩個合并分支的中間節點(如上圖節點 4，5)，只參與了 base 的計算，而最終真正被三向合并拿來做合并的節點，只包括末端以及 base 節點。

需要注意 Git 只是使用這些策略盡量的去幫你減少沖突，如果沖突不可避免，那 Git 就會提示沖突，需要手工解決。(也就是真正意義上的沖突)。

Ours & Theirs

Ours 和 Theirs 這兩種合并策略也是比較簡單的，簡單來說就是保留雙方的歷史記錄，但完全忽略掉這一方的文件變更。如下圖在 master 分支里面執行git merge -s ours dev，會產生藍色的這一個合并節點，其內容跟其上一個節點(master 分支方向上的)完全一樣，即 master 分支合并前后項目文件沒有任何變動。

 

而如果使用 theirs 則完全相反，完全拋棄掉當前分支的文件內容，直接采用對方分支的文件內容。

這兩種策略的一個使用場景是比如現在要實現同一功能，你同時嘗試了兩個方案，分別在分支是 dev1 和 dev2 上，最后經過測試你選用了 dev2 這個方案。但你不想丟棄 dev1 的這樣一個嘗試，希望把它合入主干方便后期查看，這個時候你就可以在 dev2 分支中執行git merge -s ours dev1。

Octopus

這種合并策略比較神奇，一般來說我們的合并節點都只有兩個 parent(即合并兩條分支)，而這種合并策略可以做兩個以上分支的合并，這也是 git merge 兩個以上分支時的默認行為。比如在 dev1 分支上執行git merge dev2 dev3。

他的一個使用場景是在測試環境或預發布環境，你需要將多個開發分支修改的內容合并在一起，如果不用這個策略，你每次只能合并一個分支，這樣就會導致大量的合并節點產生。而使用 Octopus 這種合并策略就可以用一個合并節點將他們全部合并進來。

Git rebasegit

rebase 也是一種經常被用來做合并的方法，其與 git merge 的最大區別是，他會更改變更歷史對應的 commit 節點。

如下圖，當在 feature 分支中執行 rebase master 時，Git 會以 master 分支對應的 commit 節點為起點，新增兩個全新的 commit 代替 feature 分支中的 commit 節點。其原因是新的 commit 指向的 parent 變了，所以對應的 SHA1 值也會改變，所以沒辦法復用原 feature 分支中的 commit。(這句話的理解需要這篇文章的基礎知識)

 

對于合并時候要使用 git merge 還是 git rebase 的爭論，我個人的看法是沒有銀彈，根據團隊和項目習慣選擇就可以。git rebase 可以給我們帶來清晰的歷史記錄，git merge 可以保留真實的提交時間等信息，并且不容易出問題，處理沖突也比較方便。唯一有一點需要注意的是，不要對已經處于遠端的多人共用分支做 rebase 操作。

我個人的一個習慣是：對于本地的分支或者確定只有一個人使用的遠端分支用 rebase，其余情況用 merge。

rebase 還有一個非常好用的東西叫 interactive 模式，使用方法是git rebase -i。可以實現壓縮幾個 commit，修改 commit 信息，拋棄某個 commit 等功能。比如說我要壓縮下圖 260a12a5、956e1d18，將他們與 9dae0027 合并為一個 commit，我只需將 260a12a5、956e1d18 前面的 pick 改成“s”，然后保存就可以了。

限于篇幅，git rebase -i 還有很多實用的功能暫不展開，感興趣的同學可以自己研究一下。

總結

現在我們再來看一下文章開頭的例子，我們就可以理解為什么最后一次 merge 會導致 http.js 文件不見了。根據 Git 的合并策略，在合并兩個有分叉的分支(上圖中的 D、E‘)時，Git 默認會選擇 Recursive 策略。找到 D 和 E’的最短路徑共同祖先節點 B，以 B 為 base，對 D，E‘做三向合并。B 中有 http.js，D 中有 http.js 和 main.js，E’中什么都沒有。根據三向合并，B、D 中都有 http.js 且沒有變更，E‘刪除了 http.js，所以合并結果就是沒有 http.js，沒有沖突，所以 http.js 文件不見了。

這個例子理解原理之后解決方法有很多，這里簡單帶過兩個方法：1. revert 節點 E'之后，此時的 dev 分支要拋棄刪除掉，重新從 E'節點拉出分支繼續工作，而不是在原 dev 分支上繼續開發節點 D;2. 在節點 D 合并回 E’節點時，先 revert 一下 E‘節點生成 E’‘(即 revert 的 revert)，再將節點 D 合并進來。

Git 有很多種分支合并策略，本文介紹了 Fast-forward、Recursive、Ours/Theirs、Octopus 合并策略以及三向合并。掌握這些合并策略以及他們的使用場景可以讓你避免發生一些合并問題，并對合并結果有一個準確的預期。