在 Go 中如何让结构体不可比较?
最近我在使用 Go 官方出品的结构化日志包 slog 时,看到 slog.Value
源码中有一个比较好玩的小 Tips,可以限制两个结构体之间的相等性比较,本文就来跟大家分享下。
在 Go 中结构体可以比较吗?
在 Go 中结构体可以比较吗?这其实是我曾经面试过的一个问题,我们来做一个实验:
定义如下结构体:
使用这个结构体分别声明 3 个变量 n1
、n2
、n3
,然后进行比较:
执行示例代码,输出结果如下:
可见 Normal
结构体是可以比较的。
如何让结构体不可比较?
那么所有结构体都可以比较吗?显然不是,如果都可以比较,那么 reflect.DeepEqual()
就没有存在的必要了。
定义如下结构体:
使用这个结构体分别声明 2 个变量 n1
、n2
,然后进行比较:
执行示例代码,输出结果如下:
这里程序直接报错了,并提示结构体包含了 map[string]int
类型字段,不可比较。
所以小结一下:
结构体是否可以比较,不取决于字段是否可导出,而是取决于其是否包含不可比较字段。
如果全部字段都是可比较的,那么这个结构体就是可比较的。
如果其中有一个字段不可比较,那么这个结构体就是不可比较的。
不过虽然我们不可以使用 ==
对 n1
、n2
进行比较,但我们可以使用 reflect.DeepEqual()
对二者进行比较:
执行示例代码,输出结果如下:
更优雅的做法
最近我在使用 Go 官方出品的结构化日志包 slog 时,看到 slog.Value
源码:
可以发现,这里有一个匿名字段 _ [0]func()
,并且注释写着 // disallow ==
。
_ [0]func()
的目的显然是为了禁止比较。
我们来实验一下,_ [0]func()
是否能够实现禁止结构体相等性比较:
执行示例代码,输出结果如下:
可以发现,的确有效。因为 func()
是一个函数,而函数在 Go 中是不可比较的。
既然使用 map[string]int
和 _ [0]func()
都能实现禁止结构体相等性比较,那么我为什么说 _ [0]func()
是更优雅的做法呢?
_ [0]func()
有着比其他实现方式更优的特点:
它不占内存空间!
使用匿名字段 _
语义也更强。
而且,我们直接去 Go 源码里搜索,能够发现其实 Go 本身也在多处使用了这种用法:
所以推荐使用 _ [0]func()
来实现禁用结构体相等性比较。
不过值得注意的是:当使用 _ [0]func()
时,不要把它放在结构体最后一个字段,推荐放在第一个字段。这与结构体内存对齐有关,我在《Go 中空结构体惯用法,我帮你总结全了!》 一文中也有提及。
NOTE: 对于
_ [0]func()
不占用内存空间的验证,就交给你自己去实验了。
提示:可以使用
fmt.Println(unsafe.Sizeof(v1), unsafe.Sizeof(v2))
分别打印结构体Value
的两个实例v1
、v2
的内存大小。你可以删掉_ [0]func()
字段再试一试。
总结
好了,在 Go 中如何让结构体不可比较这个小 Tips 就分享给大家了,还是比较有意思的。
作为程序员,持续学习和充电非常重要,作为开发者,我们需要保持好奇心和学习热情,不断探索新的技术,只有这样,我们才能在这个快速发展的时代中立于不败之地。低代码也是一个值得我们深入探索的领域,让我们拭目以待,它将给前端世界带来怎样的变革。
介绍一款程序员都应该知道的软件JNPF快速开发平台,很多人都尝试用过它,它是功能的集大成者,任何信息化系统都可以基于它开发出来。
JNPF 可以实现应用从创建、配置、开发、测试到发布、运维、升级等完整生命周期的管理。减少了传统应用程序的代码编写量,通过图形化、可视化的界面,以拖放组件的方式,即可快速生成应用程序的产品,大幅降低了开发企业管理类软件的难度。
评论