使用映射时，请使用1.18通用编译错误。

Question

我实现了基于通用的集合，一切正常，直到我将struct用作集合元素而不是基本类型为止。我有一个补充错误。

GO版本：GO版本GO1.18 Windows/AMD64

下面的代码未能在函数ADDSET中反驳。

package main

import (
    "fmt"

    "golang.org/x/exp/maps"
)

type Key struct {
    A, B int
}

func main() {
    s := SetOf(
        Key{1, 1},
        Key{2, 2},
        Key{3, 3},
    )
    s.AddSet(SetOf(
        Key{3, 3},
        Key{4, 4},
        Key{5, 5},
    ))

    fmt.Println(s)
}

type Set[T comparable] map[T]struct{}

func SetOf[T comparable](vs ...T) Set[T] {
    s := Set[T]{}
    for _, v := range vs {
        s[v] = struct{}{}
    }
    return s
}

func (s Set[T]) AddSet(another Set[T]) {
    maps.Copy(s, another)
}

运行时：

> go run .\main.go
# command-line-arguments
.\main.go:19:10: cannot use &.autotmp_29 (type *struct { A int; B int }) as type *Key in argument to runtime.mapassign
<autogenerated>:1: cannot use &.autotmp_12 (type *struct { A int; B int }) as type *Key in argument to runtime.mapassign

• 如果键只有1个字段，则可以将其汇编成功。
• 如果我使用for V：= range另一个{s [v] = struct {} {}}}，它可以成功地编译。

我认为这很奇怪，有人可以解释吗？

Answer 1

看起来像此编译器错误。它已固定在GO 1.19中，并备份为1.18.2。

如果您使用的是较旧版本，我建议您简单地放弃地图软件包，然后手工做事，就像您已经尝试过一样。这只是一个简单的循环：

func (s Set[T]) AddSet(another Set[T]) {
    for k := range another {
        s[k] = struct{}{}
    }
}

@icza对将命名地图类型明确转换为其基础类型的评论也有效：

maps.Copy(map[T]struct{}(s), another)

如果您使用的是期望多个地图类型参数（具有相同约束）的函数，则为maps.qual.qual.qual.equal在

func (s Set[T]) Compare(another Set[T]) bool {
    // signature is Equal[M1, M2 ~map[K]V, K, V comparable](m1 M1, m2 M2) bool
    return maps.Equal(map[T]struct{}(s), map[T]struct{}(another))
}

---

​nofollow noreferrer“>再现也使用具有Len＆gt; = 2的阵列实例化的参数化地图类型。