Go泛型遍历映射联合类型报错：如何实现可用的copyMap函数？

你的代码编译失败是因为直接将map[string]int | map[string]float64作为泛型约束时，Go编译器无法识别出这个联合类型的核心类型，因此无法对类型参数T执行make、range遍历、索引赋值这些依赖核心类型的操作。

要实现支持map[string]int和map[string]float64的泛型复制函数，正确的做法是将泛型参数约束在map的值类型上，而不是整个map类型的联合：

修正后的代码（直接约束值类型） #

package main

import "fmt"

func copyMap[V int | float64](m map[string]V) map[string]V {
    // 提前指定容量，避免扩容，提升性能
    newMap := make(map[string]V, len(m))
    for key, elem := range m {
        newMap[key] = elem
    }
    return newMap
}

func main() {
    intMap := map[string]int{"seven": 7, "twelve": 12}
    fmt.Println("复制后的int map:", copyMap(intMap))

    floatMap := map[string]float64{"pi": 3.1415, "golden": 1.618}
    fmt.Println("复制后的float map:", copyMap(floatMap))
}

更易扩展的版本（用接口约束值类型） #

如果后续需要支持更多数值类型，可以把值类型的约束抽成接口：

package main

import "fmt"

// 定义数值类型约束
type Number interface {
    int | float64
}

func copyMap[V Number](m map[string]V) map[string]V {
    newMap := make(map[string]V, len(m))
    for key, elem := range m {
        newMap[key] = elem
    }
    return newMap
}

func main() {
    intMap := map[string]int{"seven": 7}
    fmt.Println(copyMap(intMap))

    floatMap := map[string]float64{"pi": 3.14}
    fmt.Println(copyMap(floatMap))
}

为什么这样可行？ #

当我们将泛型参数定义为map[string]V（其中V满足int | float64）时，编译器能明确识别出这是map类型，因此可以正常执行make创建新map、range遍历键值对、索引赋值这些操作，同时通过V的约束保证只接受目标值类型的map。

内容的提问来源于stack exchange，提问作者Remi.b