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

Question

在下面的例子中foo和bar基本上属于同一类型：map[uint32]string.

尽管如此，go1.18beta 抱怨说：M2 does not match map[K]V.

甚至有可能equal接受这两个地图吗？我是否需要更改equal地图本身的签名或声明？

package main

import "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。在equal[M1, M2 ~map[K]V, K, V comparable](m1 M1, m2 M2)中，类型 paramsM1和M2约束相同~map[K]V。当您在没有显式实例化的情况下调用该函数时，编译器会尝试从所提供参数的类型推断类型参数。简而言之，它从推断K和，所以结果在哪里。VM1equal(foo, bar)foomap[uint32]stringK = uint32V = string然后实例化的约束是M1, M2 ~map[uint32]string现在没有更多的类型参数可以推断，所以它只是bar针对实例化的约束进行类型检查。底层 ( ~) 类型是否bar与 相同map[uint32]string？不，即使keys和vals的底层类型相同，整个map的底层类型也是exactly map[someNumericID]someStringID。equal使用 args实例化foo并bar失败。如果您不依赖类型推断，而是equal使用显式类型参数进行实例化，这将变得更加明显。通过仅指定M1and M2（记住它们具有相同的约束）：equal[map[uint32]string, map[uint32]string](foo, bar)thenbar显然不匹配。