为什么 Go 中的 maps.Keys() 将 map 类型指定为 M

当您需要接受and return个定义的类型时，在函数签名中使用命名类型参数是最相关的，正如您正确猜测的，并且@icza对x/exp/slices包回答了here.

你所说的"瓷砖类型"只能用于接口约束也是正确的.

现在，x/exp/maps包中的几乎所有函数实际上都不会返回命名类型M.只有maps.Clone个签名:

func Clone[M ~map[K]V, K comparable, V any](m M) M

然而，由于type unification，将签名without声明为近似约束~map[K]V仍然适用于定义的类型.根据规格:

[...], 因为定义的类型D和类型文字L从来都不是等价的，而是unification compares the underlying type of D with L

还有一个代码示例:

func Keys[K comparable, V any](m map[K]V) []K {
    r := make([]K, 0, len(m))
    for k := range m {
        r = append(r, k)
    }
    return r
}

type Dictionary map[string]int

func main() {
    m := Dictionary{"foo": 1, "bar": 2}
    k := Keys(m)
    fmt.Println(k) // it just works
}

playground :https://go.dev/play/p/hzb2TflybZ9

当需要传递an instantiated value of the function时，额外的命名类型参数M ~map[K]V是相关的:

func main() {
    // variable of function type!
    fn := Keys[Dictionary]
    
    m := Dictionary{"foo": 1, "bar": 2}
    fmt.Println(fn(m))
}

playground :https://go.dev/play/p/hks_8bnhgsf

如果没有M ~map[K]V type参数，就不可能用定义的类型实例化这样的函数值.当然，你可以用K和V分别实例化你的函数，比如

fn := Keys[string, int]

但是，当定义的映射类型属于不同的包并且引用了未报告的类型时，这是不可行的:

package foo 

type someStruct struct{ val int }

type Dictionary map[string]someStruct

以及:

package main

func main() {
    // does not compile
    // fn := Keys[string, foo.someStruct]

    // this does
    fn := maps.Keys[foo.Dictionary]
}

不过，这似乎是一个相当开放的用例.

你可以在这里看到最后的playground :https://go.dev/play/p/B-_RBSqVqUD

但是请记住，x/exp/maps是一个实验性的软件包，因此签名可能会随着future 的Go版本而改变，和/或当这些函数被提升到标准库中时.