我试图在我的函数中允许一个允许多个返回元组的回调参数。为了实现这一点,我使用泛型来定义回调的参数类型。
func get[ in any, out any, translatefn func(in) out | func(in) (out, error), ]( input in, translate translatefn, ) (*out, error) { // call translate to convert the input to the output. // if translate is an erroring function, make sure the error is // forwarded to the response of this function. }
由于 translatefn 仅限于这两种返回类型中的任何一个(out
或 (out, error)
),我认为我能够调用它。
我想做的是类似下面的事情,但是我不能,因为我无法在 translate
参数上使用类型断言。
invalid operation: cannot use type assertion on type parameter value translate (variable of type translatefn constrained by func(in) out|func(in) (out, error))
func Get[ In any, Out any, TranslateFn func(In) Out | func(In) (Out, error), ]( input In, translate TranslateFn, ) (*Out, error) { if erroringFn, isErroringTranslateFn := translate.(func(In) (Out, error)); isErroringTranslateFn { out, err := erroringFn(input) if err != nil { return nil, err } return &out, nil } if nonErroringFn, isNonErroringTranslateFn := translate.(func(In) Out); isNonErroringTranslateFn { out, err := nonErroringFn(input) if err != nil { return nil, err } return &out, nil } panic("translate function must be either func(In) (Out, error) or func(In) Out") }
如果没有类型断言,我将如何调用此回调,或确定提供了哪些通用变体?
首先将其包装到接口中,然后进行类型断言(或类型切换)。例如。 any(v).(t)
func Get[ In any, Out any, TranslateFn func(In) Out | func(In) (Out, error), ]( input In, translate TranslateFn, ) (*Out, error) { switch f := any(translate).(type) { case func(In) (Out, error): out, err := f(input) if err != nil { return nil, err } return &out, nil case func(In) Out: out := f(input) return &out, nil } panic("shouldn't happen") }
以上是如何执行类型为受多个返回类型约束的泛型类型的回调?的详细内容。更多信息请关注PHP中文网其他相关文章!