Go 1.28 大动作：泛型集合终于要进标准库了，Set、树形Map、堆一次性标准化
内容提要
Go 1.28 计划引入泛型集合类型，由七位核心开发者提出，包括哈希 Set/Map、有序树形 Map、泛型堆等七个组件，解决标准库集合类型缺失问题。提案采用 F-bounded 多态设计抽象接口，兼顾兼容性与性能，若通过将显著简化开发，但仍在提案阶段。
延伸解读
为何现在才补课？
Go 语言长期缺乏标准集合类型，根源在于 1.18 之前没有泛型，无法写出通用、类型安全的集合库。直到 2022 年泛型落地、2023 年迭代器引入，才具备技术前提。此次提案正是基于这些新特性，由核心开发者组成工作组系统性补齐短板，标志着 Go 在集合类型上迈出关键一步。
设计中的工程取舍
提案在细节上体现 Go 团队的务实风格：修改方法返回是否改变大小，Map.Set 返回旧值以区分零值；Set 接口不包含 Subset，因常见情况为 O(n)；集合代数操作纯函数式，另配 -With 变体原地修改，避免误用。这些取舍旨在平衡易用性与性能，并参考了 math/big.Int 的历史经验。
对开发者的实际影响
若提案落地，开发者可告别手写 map[T]struct{} 模拟 Set，tree.Map 支持有序遍历与范围查询，自定义哈希有了标准接口。container/mapset 为存量 map[T]bool 代码提供过渡方案，无需重构。但需注意，目前仍处提案阶段，API 可能调整，最终能否进入 Go 1.28 取决于社区讨论。
Q&A
Go 1.28 计划引入哪些泛型集合类型？
Go 1.28 计划引入哈希 Map/Set、有序树形 Map、泛型堆等七个组件，具体包括 container/hash.Map、container/hash.Set、container/set.Set、container/mapset、container/tree.Map、container/heap/v2.Heap，以及已发布的 hash/maphash.Hasher。
为什么 Go 标准库长期缺少集合类型？
因为 Go 在 1.18 之前没有泛型，无法编写通用的、类型安全的集合库。1.18 引入泛型、1.23 引入迭代器后，才具备实现条件。
Go Collections 工作组由哪些核心开发者组成？
由七位 Go 核心贡献者组成，包括 Robert Griesemer、Ian Lance Taylor、Jonathan Amsterdam、Alan Donovan、Daniel Martí、Roger Peppe 和 Keith Randall。
什么是二元方法问题？Go 团队如何解决？
二元方法问题是指不同具体类型的方法（如 Union）互不兼容，无法用普通接口统一描述。Go 团队通过 F-bounded 多态（递归约束接口）设计抽象集合接口来解决。
container/mapset 包的作用是什么？
container/mapset 为传统 Set（map[T]bool）提供集合运算辅助函数，如 Union、Intersection，让存量代码无需重构即可获得集合语义。
Go 团队在集合操作中如何平衡纯函数式与原地修改？
集合代数操作（如 Union）返回新集合，不修改原集合；同时提供带 -With 后缀的变体（如 UnionWith）进行原地修改，以平衡易用性和内存分配效率。
Go 1.28 集合提案对开发者有什么影响？
开发者无需再手写 map[T]struct{} 模拟 Set，有序遍历可用 tree.Map，自定义哈希有标准接口，库作者可参考抽象接口设计，存量代码可通过 mapset 平滑过渡。
Go 1.28 集合提案目前处于什么状态？
目前仍处于提案阶段，具体 API 可能调整，能否进入 Go 1.28 取决于社区讨论和 Go 团队审议。
