Go中能否通过函数类型参数推导省略复合字面量类型？

先看你提供的代码示例：

type Foo struct {
    a    string
    b    int
}

type Bar[K Foo|string] struct {
    c    K
    d    string
}

func someRandomFunc (x []Bar[Foo], y []Bar[string]) {
    // do something
}

// 原调用方式
someRandomFunc([]Bar[Foo]{{Foo{"A", 1}, "a"}, {Foo{"B", 1}, "b"}}, []Bar[string]{{{"C"}, "c"}, {{"D"}, "d"}})

为什么Go无法完成你期望的类型推导？ #

Go的类型推导设计遵循局部性、无歧义原则，不会做跨层级、跨元素的隐式推断，具体原因对应你的几个场景：

1. 无法完全省略类型标注 #

你尝试的简化调用完全没有类型标记，Go无法推断最外层切片的具体类型——比如存在另一个和Foo字段结构一致的结构体时，字面量{"A",1}可能匹配多个类型，这种歧义是Go要避免的。

2. 自定义类型无法从约束推导 #

当约束是联合类型（比如K Foo|string）时，Go仅能对原生类型字面量（比如"C"）直接匹配约束中的原生类型；但自定义类型Foo的字面量{"A",1}本身是无类型的结构字面量，Go不会自动将其关联到Foo类型，因为结构字面量可以匹配任意字段结构一致的结构体，存在歧义风险。

3. 无法从切片兄弟元素推导类型 #

Go的类型推导是逐元素独立处理的，不会利用切片中前一个元素的类型来推断后一个元素的类型。即使前一个元素显式写了Foo{"A",1}，后一个{"B",1}依然是无类型字面量，Go不会默认继承前一个元素的类型，这是为了避免意外的类型不匹配，保证代码的明确性。

可行的解决办法 #

1. 利用变量类型上下文简化内部元素 #

通过短变量声明提前定义切片，利用变量的明确类型让Go推导内部元素的类型，不需要显式标注Foo{}：

x := []Bar[Foo]{{Foo{"A", 1}, "a"}, {"B", 1, "b"}} // 第二个元素的{"B",1}会被自动推断为Foo类型
y := []Bar[string]{{"C", "c"}, {"D", "d"}}
someRandomFunc(x, y)

2. 定义类型别名减少重复标注 #

给常用的泛型实例定义类型别名，简化书写：

type BarFoo = Bar[Foo]
type BarString = Bar[string]

// 调用时可以简化为
someRandomFunc([]BarFoo{{Foo{"A",1}, "a"}, {"B",1, "b"}}, []BarString{{"C", "c"}, {"D", "d"}})

3. 编写构造函数封装创建逻辑 #

针对Bar[Foo]和Bar[string]编写构造函数，隐藏类型细节：

func NewBarFoo(a string, b int, d string) Bar[Foo] {
    return Bar[Foo]{c: Foo{a, b}, d: d}
}

func NewBarString(s string, d string) Bar[string] {
    return Bar[string]{c: s, d: d}
}

// 调用时更简洁
someRandomFunc(
    []Bar[Foo]{NewBarFoo("A", 1, "a"), NewBarFoo("B", 1, "b")},
    []Bar[string]{NewBarString("C", "c"), NewBarString("D", "d")},
)

4. 将函数改为泛型函数（如果逻辑允许） #

如果someRandomFunc的逻辑不依赖K的具体类型，可以将其改为泛型函数，让Go从参数推导泛型类型：

func someRandomFunc[K1, K2 Foo|string](x []Bar[K1], y []Bar[K2]) {
    // do something
}

// 调用时依然需要标注Bar的泛型参数，但配合变量上下文可以简化内部元素
x := []Bar[Foo]{{Foo{"A",1}, "a"}, {"B",1, "b"}}
y := []Bar[string]{{"C", "c"}, {"D", "d"}}
someRandomFunc(x, y)

内容的提问来源于stack exchange，提问作者slo-loris