技术栈
解构类型参数
tekin
8 个月前
java
·
前端
·
golang
·
类型推断
·
解构类型参数
·
go泛型函数
Go 泛型函数中的 ~ 符号 的意义 -- 用于指定类型的底层类型
本文通过 slices.Clone 泛型函数介绍了 Go 是如何使用类型推断完成参数类型的解构。简单来说,如果第一个类型参数是一个复合类型,则可以通过第二、第三或更多的类型参数约束复杂类型中的类型参数,而类型推断则可以通过第一个参数推断出后续类型参数的实际类型。另外本文还说明为消除歧义而引入 ~ 符号,即用于指定类型的底层类型。