泛型：传递包含派生类型的映射

在Golang实战开发的过程中，我们经常会遇到一些这样那样的问题，然后要卡好半天，等问题解决了才发现原来一些细节知识点还是没有掌握好。今天golang学习网就整理分享《泛型：传递包含派生类型的映射》，聊聊，希望可以帮助到正在努力赚钱的你。

在以下示例中，foo 和 bar 基本上属于同一类型：map[uint32]string。

然而go1.18beta抱怨：m2与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")
    }
}

正确答案

是否有可能平等地接受这两个地图？

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

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 ；有关详细信息，请参阅注释 - 但由于您实际上并未在函数体中使用这些类型，也没有在返回值中使用这些类型，因此 they are not strictly needed。

演示：https://gotipplay.golang.org/p/Y8C_8ilsXUg

如果您想了解第一个示例失败的原因，请参阅以下详细信息。语言规范中的相关段落是Type inference。

1. 在 equal[m1, m2 ~map[k]v, k, v compare](m1 m1, m2 m2) 中，类型参数 m1 和 m2 具有相同的约束 ~map[k]v。李>
2. 当您在没有显式实例化的情况下调用函数时，编译器会尝试从所提供参数的类型推断类型参数。简而言之，它从 m1 推断出 k 和 v，因此 equal(foo, bar) 其中 foo 是 map[uint32]string 结果为 k = uint32 和 v = 字符串 。
3. 实例化的约束为 m1, m2 ~map[uint32]string
4. 现在不再需要推断类型参数，因此它只是针对实例化约束对 bar 进行类型检查。 bar 的底层 (~) 类型与 map[uint32]string 相同吗？不会。即使 key 和 val 的底层类型相同，整个 map 的底层类型也正是 map[somenumericid]somestringid。
5. 使用参数 foo 和 bar 实例化 equal 失败。

^{如果您不依赖类型推断，而是使用显式类型参数实例化 equal，则这一点会变得更加明显。通过仅指定 m1 和 m2 （请记住它们具有相同的约束）： equal[map[uint32]string, map[uint32]string](foo, bar) 那么 bar 显然不匹配。} p>

以上就是《泛型：传递包含派生类型的映射》的详细内容，更多关于的资料请关注golang学习网公众号！