泛型：使用派生类型传递映射

Question

在下面的例子中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")    }}

Answer 1

甚至有可能接受这两个地图吗？

是的，但是您必须区分键和值类型，因为它们不一样。这就是固定函数的样子：

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

}

特别是，键和值类型参数都被限制在各自的近似元素~uint32中~string，以便允许在函数体中m2[K2(k)]进行转换。V2(v1)这是比较不同类型但具有相同基础类型的值（包括地图索引）所必需的。

上述解决方案放弃了类型参数M1和M2映射类型——由于似乎是编译器错误；有关详细信息，请参阅注释 - 但由于您实际上并没有在函数体中使用这些类型，也没有在返回值中使用它们，因此它们不是严格需要的。

游乐场：https ://gotipplay.golang.org/p/Y8C_8ilsXUg

---

如果您想了解第一个示例失败的原因，这里有一个细分。语言规范中的相关段落是Type inference。

1. 在equal[M1, M2 ~map[K]V, K, V comparable](m1 M1, m2 M2)中，类型 paramsM1和M2约束相同~map[K]V。

2. 当您在没有显式实例化的情况下调用该函数时，编译器会尝试从所提供参数的类型推断类型参数。简而言之，它从推断K和，所以结果在哪里。VM1equal(foo, bar)foomap[uint32]stringK = uint32V = string

3. 然后实例化的约束是M1, M2 ~map[uint32]string

4. 现在没有更多的类型参数可以推断，所以它只是bar针对实例化的约束进行类型检查。底层 ( ~) 类型是否bar与 相同map[uint32]string？不，即使keys和vals的底层类型相同，整个map的底层类型也是exactly map[someNumericID]someStringID。

5. equal使用 args实例化foo并bar失败。

^{如果您不依赖类型推断，而是equal使用显式类型参数进行实例化，这将变得更加明显。通过仅指定M1and M2（记住它们具有相同的约束）：equal[map[uint32]string, map[uint32]string](foo, bar)thenbar显然不匹配。}