如果我在 Golang 中编写一个泛型函数,我可以像这样打印该函数的任一参数的类型,这提供了对类型参数的一些了解:
func foo[T any](a T, b T) string {
return fmt.Sprintf("%v and %v are of type %T", a, b, a)
}
Run Code Online (Sandbox Code Playgroud)
但是,如果我修改函数以取切片:
func foo[T any](args ...T) string {
return fmt.Sprintf("%+v are of type %T", args, args)
}
Run Code Online (Sandbox Code Playgroud)
这不会打印我想要的内容,因为调用foo[int]将意味着args具有一种类型[]int,而我想打印int。我可以修改它来打印,args[0]但这意味着我还必须检查 whereargs为空的情况,在这种情况下,我没有办法获取 的类型args。我还可以使用反射来获取类型,但由于它是一个通用函数,我也应该在编译时知道这一点。
有没有一种方法可以T在编译时获取名称,而无需打印任何参数的类型或通过反射?
bla*_*een 12
在编译时打印类型名称是不可能的。和fmt函数reflect(fmt使用)都是运行时操作。您也许能够通过静态分析找出某些表达式的类型,但这又与运行时打印正交。
无论如何,在运行时,如果类型参数列表捕获复合类型的基本类型(包括 vararg 切片),您可以通过声明该类型的新变量来简单地打印它。这个习语*new(T)特别允许用单行句来做到这一点:
func foo[T any](args ...T) string {
return fmt.Sprintf("%+v are of type %T", args, *new(T))
}
Run Code Online (Sandbox Code Playgroud)
现在调用它foo(1,2,3)会给出字符串:
"[1 2 3] are of type int"
Run Code Online (Sandbox Code Playgroud)
是的,编译器足够聪明,知道它*new(T)不会逃逸到堆中。