Go 中打印类型参数名称

Woo*_*193 4 generics go

如果我在 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函数reflectfmt使用)都是运行时操作。您也许能够通过静态分析找出某些表达式的类型,但这又与运行时打印正交。

无论如何,在运行时,如果类型参数列表捕获复合类型的基本类型(包括 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)不会逃逸到堆中。