1. 引言

在 Go 語言中，map是一種內(nèi)置的數(shù)據(jù)類型，它提供了一種高效的方式來存儲和檢索數(shù)據(jù)。map是一種無序的鍵值對集合，其中每個鍵與一個值相關(guān)聯(lián)。使用 map 數(shù)據(jù)結(jié)構(gòu)可以快速地根據(jù)鍵找到對應(yīng)的值，而無需遍歷整個集合。

在 Go 語言中，map 是一種內(nèi)置的數(shù)據(jù)類型，可以通過以下方式聲明和初始化：

m := make(map[keyType]valueType)

在使用map時(shí)，我們通常會使用基本數(shù)據(jù)類型作為鍵。然而，當(dāng)我們需要將自定義的結(jié)構(gòu)體作為鍵時(shí)，就需要考慮結(jié)構(gòu)體中是否包含引用類型的字段。引用類型是指存儲了數(shù)據(jù)的地址的類型，如指針、切片、字典和通道等。在Go中，引用類型具有動態(tài)的特性，可能會被修改或指向新的數(shù)據(jù)。這就引發(fā)了一個問題：能否將包含引用類型的自定義結(jié)構(gòu)體作為map的鍵呢？

2. map的基本模型

了解能否將包含引用類型的自定義結(jié)構(gòu)體作為map的鍵這個問題，我們需要先了解下map的基本模型。在Go語言中，map是使用哈希表實(shí)現(xiàn)的。哈希表是一種以鍵-值對形式存儲數(shù)據(jù)的數(shù)據(jù)結(jié)構(gòu)，它通過使用哈希函數(shù)將鍵映射到哈希值。

哈希函數(shù)是用于將鍵映射到哈希值的算法。它接受鍵作為輸入并生成一個固定長度的哈希值。Go語言的 map 使用了內(nèi)部的哈希函數(shù)來計(jì)算鍵的哈希值。

而不同的key通過哈希函數(shù)生成的哈希值可能是相同的，此時(shí)便發(fā)生了哈希沖突。哈希沖突指的是不同的鍵經(jīng)過哈希函數(shù)計(jì)算后得到相同的哈希值。由于哈希函數(shù)的輸出空間遠(yuǎn)遠(yuǎn)小于鍵的輸入空間，哈希沖突是不可避免的。此時(shí)無法判斷該key是當(dāng)前哈希表中原本便已經(jīng)存在的元素還是由于哈希沖突導(dǎo)致不同的鍵映射到同一個bucket。 此時(shí)便需要判斷這兩個key是否相等。

因此，在map中，作為map中的key，需要保證其支持對比操作的，能夠比較兩個key是否相等。

3. map 鍵的要求

從上面map基本的模型介紹中，我們了解到，map中的Key需要支持哈希函數(shù)的計(jì)算，同時(shí)鍵的類型必須支持對比操作。

在map中，計(jì)算key的哈希值，是由默認(rèn)哈希函數(shù)實(shí)現(xiàn)的，對于map中的key并沒有額外的要求。

在map中，判斷兩個鍵是否相等是通過調(diào)用鍵類型的相等運(yùn)算符（==或!=）來完成的，因此key必須確保該類型支持 == 操作。這個要求是由 map 的實(shí)現(xiàn)機(jī)制決定的。map 內(nèi)部使用鍵的相等性來確定鍵的存儲位置和檢索值。如果鍵的類型不可比較，就無法進(jìn)行相等性比較，從而導(dǎo)致無法準(zhǔn)確地定位鍵和檢索值。

在 Go 中，基本數(shù)據(jù)類型（如整數(shù)、浮點(diǎn)數(shù)、字符串）和一些內(nèi)置類型都是可比較的，因此它們可以直接用作 map 的鍵。然而，自定義的結(jié)構(gòu)體作為鍵時(shí)，需要確保結(jié)構(gòu)體的所有字段都是可比較的類型。如果結(jié)構(gòu)體包含引用類型的字段，那么該結(jié)構(gòu)體就不能直接用作 map 的鍵，因?yàn)橐妙愋筒痪邆浜唵蔚南嗟刃员容^。

因此，假如map中的鍵為自定義類型，同時(shí)包含引用字段，此時(shí)將無法作為map的鍵，會直接編譯失敗，代碼示例如下:

type Person struct {
   Name    string
   Age     int
   address []Address
}
func main() {
    // 這里會直接編譯不通過
    m := make(map[Person]int)
}

其次還有一個例外，那便是自定義結(jié)構(gòu)體中包含指針類型的字段，此時(shí)其是支持==操作的，但是其是使用指針地址來進(jìn)行hash計(jì)算以及相等性比較的，有可能我們理解是同一個key,事實(shí)上從map來看并不是，此時(shí)非常容易導(dǎo)致錯誤，示例如下:

type Person struct {
   Name    string
   Age     int
   address *Address
}
func main(){
    m := make(map[Person]int)
    p1 := Person{Name: "Alice", Age: 30, address: &Address{city: "beijing"}}
    p2 := Person{Name: "Alice", Age: 30, address: &Address{city: "beijing"}}
    m[p1] = 1
    m[p2] = 2
    // 輸出1
    fmt.Println(m[p1])
    // 輸出2
    fmt.Println(m[p2])
}

這里我們定義了一個Person結(jié)構(gòu)體，包含一個指針類型的字段address。創(chuàng)建了兩個對象p1和p2,在我們的理解中，其是同一個對象，事實(shí)上在map中為兩個兩個互不相關(guān)的對象，主要原因都是使用地址來進(jìn)行hash計(jì)算以及相等性比較的。

綜上所述，如果自定義結(jié)構(gòu)體中包含引用類型的字段(指針為特殊的引用類型)，此時(shí)將不能作為map類型的key。

4. 為什么不抽取hashCode和equals方法接口，由用戶自行實(shí)現(xiàn)呢

當(dāng)前go中map中哈希值的計(jì)算，其提供了默認(rèn)的哈希函數(shù)，不需要由用戶去實(shí)現(xiàn)；其次key的相等性比較，是通過== 操作符來實(shí)現(xiàn)的，也不由用戶自定義比較函數(shù)。那我們就有一個疑問了，為什么不抽取hashCode和equals方法接口，由用戶來實(shí)現(xiàn)呢?

4.1 簡單性和性能角度

相等性比較在 Go 語言中使用 == 操作符來實(shí)現(xiàn)，而哈希函數(shù)是由運(yùn)行時(shí)庫提供的默認(rèn)實(shí)現(xiàn)。這種設(shè)計(jì)選擇我理解可能基于以下幾個原因:

• 簡單性：對于默認(rèn)哈希函數(shù)函數(shù)來說，其內(nèi)置在語言中的，無需用戶額外的實(shí)現(xiàn)和配置。這簡化了 map 的使用。對于相等性比較操作，== 操作符進(jìn)行比較是一種直觀且簡單的方式。在語法上，== 操作符用于比較兩個值是否相等，這種語法的簡潔性使得代碼更易讀和理解。
• 性能：默認(rèn)的哈希函數(shù)是經(jīng)過優(yōu)化和測試的，能夠在大多數(shù)情況下提供良好的性能。其次使用==來實(shí)現(xiàn)相等性比較，由于 == 操作符是語言層面的原生操作，編譯器可以對其進(jìn)行優(yōu)化，從而提高代碼的執(zhí)行效率。

4.2 key不可變的限制

map鍵的不可變性也是一個考慮因素。基于==來判斷對象是否相等，間接保證了鍵的不可變性。目前，==已經(jīng)支持了大部分類型的比較，只有自定義結(jié)構(gòu)體中的引用類型字段無法直接使用==進(jìn)行比較。如果鍵中不存在引用類型字段，這意味著放入Map鍵的值在運(yùn)行時(shí)不能發(fā)生變化，從而保證了鍵在運(yùn)行時(shí)的不可變性。

如果key沒有不可變的限制，那么之前存儲在 map 中的鍵值對可能會出現(xiàn)問題。因?yàn)樵诜胖迷貢r(shí)，map 會根據(jù)鍵的當(dāng)前值計(jì)算哈希值，并使用哈希值來查找對應(yīng)的存儲位置。如果放在map中的鍵的值發(fā)生了變化，此時(shí)計(jì)算出來的hash值可能也發(fā)生變化，這意味數(shù)據(jù)放在了錯誤的位置。后續(xù)即使使用跟map中的鍵的同一個值去查找數(shù)據(jù)，也可能查找不到數(shù)據(jù)。

下面展示一個簡單的代碼，來說明可變類型作為key會導(dǎo)致的問題:

type Person struct {
    Name       string
    Age        int
    SliceField []string
}
func main() {
    person := Person{Name: "Alice", Age: 25, SliceField: []string{"A", "B"}}
    // 假設(shè)Person可以作為鍵，事實(shí)上是不支持的
    personMap := make(map[Person]string)
    personMap[person] = "Value 1"
    // 修改person中SliceField的值
    person.SliceField[0] = "X"
    // 嘗試通過相同的person查找值
    fmt.Println(personMap[person]) // 輸出空字符串，找不到對應(yīng)的值
}

如果抽取equals方法接口，由用戶自行實(shí)現(xiàn)，此時(shí)key的不可變性就需要用戶實(shí)現(xiàn)，其次go語言也需要增加一些檢測機(jī)制，這首先增加了用戶使用的負(fù)擔(dān)，這并不符合go語言設(shè)計(jì)的哲學(xué)。

4.3 總結(jié)

綜上所述，基于簡單性、性能和語義一致性的考慮以及鍵的不可變性，Go語言選擇使用==操作符進(jìn)行鍵的比較，而將哈希函數(shù)作為運(yùn)行時(shí)庫的默認(rèn)實(shí)現(xiàn)，更加符合go語言設(shè)計(jì)的哲學(xué)。

5. 總結(jié)

在 Go 語言中，map 是一種無序的鍵值對集合，它提供了高效的數(shù)據(jù)存儲和檢索機(jī)制。在使用 map 時(shí)，通常使用基本數(shù)據(jù)類型作為鍵。然而，當(dāng)我們想要使用自定義結(jié)構(gòu)體作為鍵時(shí)，需要考慮結(jié)構(gòu)體中是否包含引用類型的字段。

自定義結(jié)構(gòu)體作為map的鍵需要滿足一些要求。首先，鍵的類型必須是可比較的，也就是支持通過== 運(yùn)算符進(jìn)行相等性比較。在Go中，基本數(shù)據(jù)類型和一些內(nèi)置類型都滿足這個要求。但是，如果結(jié)構(gòu)體中包含引用類型的字段，那么該結(jié)構(gòu)體就不能直接作為map的鍵，因?yàn)橐妙愋筒痪邆浜唵蔚南嗟刃员容^。

因此總的來說，包含引用類型字段的自定義結(jié)構(gòu)體，是不能作為map的key的。

以上就是詳解Go語言中自定義結(jié)構(gòu)體能作為map的key嗎的詳細(xì)內(nèi)容，更多關(guān)于Go語言map的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論