调用泛型函数类型：无效操作：不能调用非函数 fn

Question

我将发布我目前正在处理的代码示例。我得到了错误：错误：无效操作：无法调用非函数 fn（MapFunc 约束的 MF 类型变量）是否可以使用包含不同函数签名的约束以这种方式使用？（如果可能的话，我想了解如何让我写的东西首先发挥作用。）这是示例：package mainimport "fmt"// MapFunc constraint used in Funcytype MapFunc interface {    func(s string, ss []string) []string | func(s string, ss []string) []bool}// MapFuncType used for Funcy return constrainttype MapFuncType interface {    string | bool}// Funcy preforms map operation on generic map functionsfunc Funcy[MF MapFunc, MFT MapFuncType](s string, ss []string, fn MF) []MFT {    return fn(s, ss)    // error: invalid operation: cannot call non-function fn (variable of type    // MF constrained by MapFunc)}// appendTo adds given string to the end of each index of given slice of strings// Ex. appendTo("_", []string{"append", "to"}) --> []string{"append_", "to_"}func appendTo(s string, ss []string) []string {    var slice []string    for _, v := range ss {        slice = append(slice, v+s)    }    return slice}// isMatch checks given string against each index in given string slice for a// match// Ex. isMatch("hi", []string{"hello", "hi"}) --> []bool{false, true}func isMatch(s string, ss []string) []bool {    var slice []bool    for _, v := range ss {        slice = append(slice, s == v)    }    return slice}func main() {    slice1 := []string{"append", "to"}    slice2 := []string{"hello", "hi"}    fmt.Println(Funcy(slice1, appendTo))    // want: []string{"append_", "to_"}    // got: error: cannot infer MFT    fmt.Println(Funcy(slice2, isMatch))    //[]bool{false, true}    // got: error: cannot infer MFT}

Answer 1

当您将类型参数约束MF为 时MapFunc，您无法调用fn，因为 的MapFunc类型集中的函数类型没有相同的签名。它们有不同的返回类型[]string和[]bool.

所以fn有效类型的变量不支持被调用，你会得到（有点神秘的）错误信息“无法调用非函数 fn”。

更正式地说，只能调用具有类型函数核心类型MapFunc的值，但约束没有核心类型。

解决方法是参数化MapFunc并使用该类型参数作为返回值，这样在实例化时，它就会有一个核心类型：

type MapFunc[T MapFuncType] interface {

    func(s string, ss []string) []T

}

MFT并使用in实例化约束Funcy：

func Funcy[MF MapFunc[MFT], MFT MapFuncType](s string, ss []string, fn MF) []MFT {

    return fn(s, ss)

}

游乐场：https ://go.dev/play/p/q88aJLgnzXZ