如何让受联合约束的类型参数实现类型推断？

你当前的写法里，编译器无法推断E类型，核心原因是嵌套的接口约束（AnyPtr[E]/AnyPtrSlice[E]）导致类型推断链断裂，编译器没法从传入的*ModelAA或[]*ModelAA反向关联到E。以下是无需拆分方法的解决方案：

方案一：简化约束（推荐） #

移除中间的AnyPtr和AnyPtrSlice接口，直接用基于E的类型约束定义T，同时调整类型参数顺序让E优先：

func FuncName[E any, T ~*E | ~[]*E](data T) (err error) {
    // 实现你的函数逻辑
    return
}

type ModelAA struct {
    A int
    B int
}

func TestAddV2(t *testing.T) {
    var a = ModelAA{
        A: 1, B: 2,
    }
    _ = FuncName(&a) // 编译器自动推断E=ModelAA，T=*ModelAA
    
    // 同时支持切片参数
    slice := []*ModelAA{&a}
    _ = FuncName(slice) // 自动推断E=ModelAA，T=[]*ModelAA
}

原理 #

把E作为第一个类型参数后，T的约束直接与E绑定（~*E表示任意指向E的指针类型，~[]*E表示任意元素为*E的切片类型），编译器可以从传入的data类型直接反向推断出E，完成类型匹配。

方案二：保留原有接口约束 #

如果要保留AnyPtr和AnyPtrSlice接口，只需调整类型参数顺序，让E先于T声明：

type AnyPtr[T any] interface {
    *T
}

type AnyPtrSlice[T any] interface {
    []*T
}

// 调整类型参数顺序，E在前，T的约束基于E
func FuncName[E any, T AnyPtr[E] | AnyPtrSlice[E]](data T) (err error) {
    return
}

func TestAddV2(t *testing.T) {
    var a = ModelAA{A: 1, B: 2}
    _ = FuncName(&a) // 编译器可正确推断E=ModelAA，T=AnyPtr[ModelAA]
}

这种写法保留了原接口结构，同时通过调整参数顺序让编译器能顺着T的约束反向推导出E。

内容的提问来源于stack exchange，提问作者gopher