在下面的例子中foo和bar基本上屬于同一類型：map[uint32]string.盡管如此，go1.18beta 抱怨說：M2 does not match map[K]V.甚至有可能equal接受這兩個地圖嗎？我是否需要更改equal地圖本身的簽名或聲明？package mainimport "fmt"func equal[M1, M2 ~map[K]V, K, V comparable](m1 M1, m2 M2) bool { if len(m1) != len(m2) { return false } for k, v1 := range m1 { if v2, ok := m2[k]; !ok || v1 != v2 { return false } } return true}type ( someNumericID uint32 someStringID string)func main() { foo := map[uint32]string{ 10: "bar", } bar := map[someNumericID]someStringID{ 10: "bar", } if equal(foo, bar) == true { fmt.Println("Maps are the same") } else { fmt.Println("Maps are not the same") }}
1 回答
倚天杖
TA貢獻(xiàn)1828條經(jīng)驗 獲得超3個贊
甚至有可能接受這兩個地圖嗎？
是的，但是您必須區(qū)分鍵和值類型，因為它們不一樣。這就是固定函數(shù)的樣子：
func equal[K1, K2 ~uint32, V1, V2 ~string](m1 map[K1]V1, m2 map[K2]V2) bool {
if len(m1) != len(m2) {
return false
}
for k, v1 := range m1 {
if v2, ok := m2[K2(k)]; !ok || V2(v1) != v2 {
return false
}
}
return true
}
特別是，鍵和值類型參數(shù)都被限制在各自的近似元素~uint32中~string，以便允許在函數(shù)體中m2[K2(k)]進(jìn)行轉(zhuǎn)換。V2(v1)這是比較不同類型但具有相同基礎(chǔ)類型的值（包括地圖索引）所必需的。
上述解決方案放棄了類型參數(shù)M1和M2映射類型——由于似乎是編譯器錯誤；有關(guān)詳細(xì)信息，請參閱注釋 - 但由于您實際上并沒有在函數(shù)體中使用這些類型，也沒有在返回值中使用它們，因此它們不是嚴(yán)格需要的。
游樂場：https ://gotipplay.golang.org/p/Y8C_8ilsXUg
如果您想了解第一個示例失敗的原因，這里有一個細(xì)分。語言規(guī)范中的相關(guān)段落是Type inference。
在
equal[M1, M2 ~map[K]V, K, V comparable](m1 M1, m2 M2)中，類型 paramsM1和M2約束相同~map[K]V。當(dāng)您在沒有顯式實例化的情況下調(diào)用該函數(shù)時，編譯器會嘗試從所提供參數(shù)的類型推斷類型參數(shù)。簡而言之，它從推斷
K和，所以結(jié)果在哪里。VM1equal(foo, bar)foomap[uint32]stringK = uint32V = string然后實例化的約束是
M1, M2 ~map[uint32]string現(xiàn)在沒有更多的類型參數(shù)可以推斷，所以它只是
bar針對實例化的約束進(jìn)行類型檢查。底層 (~) 類型是否bar與 相同map[uint32]string？不，即使keys和vals的底層類型相同，整個map的底層類型也是exactlymap[someNumericID]someStringID。equal使用 args實例化foo并bar失敗。
如果您不依賴類型推斷，而是equal使用顯式類型參數(shù)進(jìn)行實例化，這將變得更加明顯。通過僅指定M1and M2（記住它們具有相同的約束）：equal[map[uint32]string, map[uint32]string](foo, bar)thenbar顯然不匹配。
- 1 回答
- 0 關(guān)注
- 99 瀏覽
添加回答
舉報
0/150
提交
取消