前言：

func DeepEqual(x, y interface{}) bool

DeepEqual?函數(shù)的參數(shù)是兩個(gè)?interface，實(shí)際上也就是可以輸入任意類型，輸出 true 或者 flase 表示輸入的兩個(gè)變量是否是“深度”相等。

先明白一點(diǎn)，如果是不同的類型，即使是底層類型相同，相應(yīng)的值也相同，那么兩者也不是“深度”相等。

type MyInt int
type YourInt int
func main() {
    m := MyInt(1)
    y := YourInt(1)
    fmt.Println(reflect.DeepEqual(m, y)) // false
}

上面的代碼中，m, y 底層都是 int，而且值都是 1，但是兩者靜態(tài)類型不同，前者是?MyInt，后者是?YourInt，因此兩者不是“深度”相等。

在源碼里，有對(duì) DeepEqual 函數(shù)的非常清楚地注釋，列舉了不同類型，DeepEqual 的比較情形，這里做一個(gè)總結(jié)：

一般情況下，DeepEqual 的實(shí)現(xiàn)只需要遞歸地調(diào)用 == 就可以比較兩個(gè)變量是否是真的“深度”相等。

但是，有一些異常情況：比如 func 類型是不可比較的類型，只有在兩個(gè) func 類型都是 nil 的情況下，才是“深度”相等；float 類型，由于精度的原因，也是不能使用 == 比較的；包含 func 類型或者 float 類型的 struct， interface， array 等。

對(duì)于指針而言，當(dāng)兩個(gè)值相等的指針就是“深度”相等，因?yàn)閮烧咧赶虻膬?nèi)容是相等的，即使兩者指向的是 func 類型或者 float 類型，這種情況下不關(guān)心指針?biāo)赶虻膬?nèi)容。

同樣，對(duì)于指向相同 slice， map 的兩個(gè)變量也是“深度”相等的，不關(guān)心 slice， map 具體的內(nèi)容。

對(duì)于“有環(huán)”的類型，比如循環(huán)鏈表，比較兩者是否“深度”相等的過程中，需要對(duì)已比較的內(nèi)容作一個(gè)標(biāo)記，一旦發(fā)現(xiàn)兩個(gè)指針之前比較過，立即停止比較，并判定二者是深度相等的。這樣做的原因是，及時(shí)停止比較，避免陷入無限循環(huán)。

來看源碼：

func DeepEqual(x, y interface{}) bool {
    if x == nil || y == nil {
        return x == y
    }
    v1 := ValueOf(x)
    v2 := ValueOf(y)
    if v1.Type() != v2.Type() {
        return false
    }
    return deepValueEqual(v1, v2, make(map[visit]bool), 0)
}

首先查看兩者是否有一個(gè)是 nil 的情況，這種情況下，只有兩者都是 nil，函數(shù)才會(huì)返回 true

接著，使用反射，獲取x，y 的反射對(duì)象，并且立即比較兩者的類型，根據(jù)前面的內(nèi)容，這里實(shí)際上是動(dòng)態(tài)類型，如果類型不同，直接返回 false。

最后，最核心的內(nèi)容在子函數(shù)?deepValueEqual?中。

代碼比較長(zhǎng)，思路卻比較簡(jiǎn)單清晰：核心是一個(gè) switch 語句，識(shí)別輸入?yún)?shù)的不同類型，分別遞歸調(diào)用 deepValueEqual 函數(shù)，一直遞歸到最基本的數(shù)據(jù)類型，比較 int，string 等可以直接得出 true 或者 false，再一層層地返回，最終得到“深度”相等的比較結(jié)果。

實(shí)際上，各種類型的比較套路比較相似，這里就直接節(jié)選一個(gè)稍微復(fù)雜一點(diǎn)的?map?類型的比較：

// deepValueEqual 函數(shù)
// ……
case Map:
    if v1.IsNil() != v2.IsNil() {
        return false
    }
    if v1.Len() != v2.Len() {
        return false
    }
    if v1.Pointer() == v2.Pointer() {
        return true
    }
    for _, k := range v1.MapKeys() {
        val1 := v1.MapIndex(k)
        val2 := v2.MapIndex(k)
        if !val1.IsValid() || !val2.IsValid() || !deepValueEqual(v1.MapIndex(k), v2.MapIndex(k), visited, depth+1) {
            return false
        }
    }
    return true
// ……

和前文總結(jié)的表格里，比較 map 是否相等的思路比較一致，也不需要多說什么。說明一點(diǎn)，visited?是一個(gè) map，記錄遞歸過程中，比較過的“對(duì)”：

type visit struct {
    a1  unsafe.Pointer
    a2  unsafe.Pointer
    typ Type
}
map[visit]bool

比較過程中，一旦發(fā)現(xiàn)比較的“對(duì)”，已經(jīng)在 map 里出現(xiàn)過的話，直接判定“深度”比較結(jié)果的是?true。