如何判断泛型类型的值是否为默认值？

珍惜时间，勤奋学习！今天给大家带来《如何判断泛型类型的值是否为默认值？》，正文内容主要涉及到等等，如果你正在学习Golang，或者是对Golang有疑问，欢迎大家关注我！后面我会持续更新相关内容的，希望都能帮到正在学习的大家！

泛型提案中有一节介绍如何返回类型参数的零值，但没有提及如何检查参数化类型的值是否为零值。

我能想到的唯一方法是使用 reflect.ValueOf(...).IsZero()，还有其他选择吗？

正确答案

将等于运算符与 *new(t) 习惯用法结合使用。通用参数的约束必须是或嵌入 comparable 以支持相等运算符，或指定可比较类型的类型集：

func iszero[t comparable](v t) bool {
    return v == *new(t)
}

如果你不能将 t 约束为 comparable 那么你就只剩下反射了。 zombo 建议像这样处理变量：

reflect.valueof(&v).elem().iszero()

优于简单的 reflect.valueof(v).iszero() 因为 valueof 采用 interface{} 参数，如果 v 恰好是一个接口，您就会丢失该信息。我认为使用泛型你不会经常用接口实例化一个函数，但它值得了解。所以：

func iszero[t any](v t) bool {
        return reflect.valueof(&v).elem().iszero()
    }

使用 t 类型的变量并在比较中使用它也可以。它比 *new(t) 更具可读性，但它需要额外的 var 声明。操作数仍然必须是可比较的：

func iszero[t comparable](v t) bool {
    var zero t
    return v == zero
}

如果你关心反射的性能，它确实比纯粹的可比泛型稍差：

go1.18rc1 test -v -bench=. -benchmem
goos: darwin
goarch: arm64
pkg: example.com
benchmarkgenerics-10        1000000000      0.3295 ns/op     0 b/op   0 allocs/op
benchmarkreflection-10      94129023        12.26 ns/op      8 b/op   1 allocs/op

如果您知道不会使用接口实例化基于反射的函数，则可以将代码简化为 reflect.valueof(v).iszero()，这会带来微小的改进：

go1.18rc1 test -v -bench=. -benchmem
goos: darwin
goarch: arm64
pkg: example.com
benchmarkgenerics-10          1000000000    0.3295 ns/op     0 b/op   0 allocs/op
benchmarkreflection-10        94129023      12.26 ns/op      8 b/op   1 allocs/op
benchmarkreflectionnoaddr-10  100000000     11.41 ns/op      8 b/op   0 allocs/op

如果类型可比较，则将该值与设置为该类型零值的变量进行比较。

var zero t
iszero := v == zero

如果类型不可比较，请使用反射包：

isZero := reflect.ValueOf(&v).Elem().IsZero()

今天关于《如何判断泛型类型的值是否为默认值？》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！