包含引用类型字段的自定义结构体,能作为map的key吗
1. 引言
在 Go 语言中,map
是一种内置的数据类型,它提供了一种高效的方式来存储和检索数据。map
是一种无序的键值对集合,其中每个键与一个值相关联。使用 map 数据结构可以快速地根据键找到对应的值,而无需遍历整个集合。
在 Go 语言中,map
是一种内置的数据类型,可以通过以下方式声明和初始化:
m := make(map[keyType]valueType)
在使用map
时,我们通常会使用基本数据类型作为键。然而,当我们需要将自定义的结构体作为键时,就需要考虑结构体中是否包含引用类型的字段。引用类型是指存储了数据的地址的类型,如指针、切片、字典和通道等。在Go
中,引用类型具有动态的特性,可能会被修改或指向新的数据。这就引发了一个问题:能否将包含引用类型的自定义结构体作为map
的键呢?
2. map的基本模型
了解能否将包含引用类型的自定义结构体作为map
的键这个问题,我们需要先了解下map
的基本模型。在Go语言中,map
是使用哈希表、实现的。哈希表是一种以键-值对形式存储数据的数据结构,它通过使用哈希函数将键映射到哈希值。
哈希函数是用于将键映射到哈希值的算法。它接受键作为输入并生成一个固定长度的哈希值。Go语言的 map
使用了内部的哈希函数来计算键的哈希值。
而不同的key
通过哈希函数生成的哈希值可能是相同的,此时便发生了哈希冲突。哈希冲突指的是不同的键经过哈希函数计算后得到相同的哈希值。由于哈希函数的输出空间远远小于键的输入空间,哈希冲突是不可避免的。此时无法判断该key
是当前哈希表中原本便已经存在的元素还是由于哈希冲突导致不同的键映射到同一个bucket。 此时便需要判断这两个key
是否相等。
因此,在map
中,作为map
中的key
,需要保证其支持对比操作的,能够比较两个key
是否相等。
3. map 键的要求
从上面map
基本的模型介绍中,我们了解到,map
中的Key需要支持哈希函数的计算,同时键的类型必须支持对比操作。
在map
中,计算key
的哈希值,是由默认哈希函数实现的,对于map
中的key
并没有额外的要求。
在map
中,判断两个键是否相等是通过调用键类型的相等运算符(==
或!=
)来完成的,因此key
必须确保该类型支持 ==
操作。这个要求是由 map
的实现机制决定的。map
内部使用键的相等性来确定键的存储位置和检索值。如果键的类型不可比较,就无法进行相等性比较,从而导致无法准确地定位键和检索值。
在 Go 中,基本数据类型(如整数、浮点数、字符串)和一些内置类型都是可比较的,因此它们可以直接用作 map
的键。然而,自定义的结构体作为键时,需要确保结构体的所有字段都是可比较的类型。如果结构体包含引用类型的字段,那么该结构体就不能直接用作 map
的键,因为引用类型不具备简单的相等性比较。
因此,假如map
中的键为自定义类型,同时包含引用字段,此时将无法作为map
的键,会直接编译失败,代码示例如下:
type Person struct {
Name string
Age int
address []Address
}
func main() {
// 这里会直接编译不通过
m := make(map[Person]int)
}
其次还有一个例外,那便是自定义结构体中包含指针类型的字段,此时其是支持==
操作的,但是其是使用指针地址来进行hash
计算以及相等性比较的,有可能我们理解是同一个key
,事实上从map
来看并不是,此时非常容易导致错误,示例如下:
type Person struct {
Name string
Age int
address *Address
}
func main(){
m := make(map[Person]int)
p1 := Person{Name: "Alice", Age: 30, address: &Address{city: "beijing"}}
p2 := Person{Name: "Alice", Age: 30, address: &Address{city: "beijing"}}
m[p1] = 1
m[p2] = 2
// 输出1
fmt.Println(m[p1])
// 输出2
fmt.Println(m[p2])
}
这里我们定义了一个Person
结构体,包含一个指针类型的字段address
。创建了两个对象p1
和p2
,在我们的理解中,其是同一个对象,事实上在map
中为两个两个互不相关的对象,主要原因都是使用地址来进行hash计算以及相等性比较的。
综上所述,如果自定义结构体中包含引用类型的字段(指针为特殊的引用类型),此时将不能作为map
类型的key
。
4. 为什么不抽取hashCode和equals方法接口,由用户自行实现呢?
当前go
中map
中哈希值的计算,其提供了默认的哈希函数,不需要由用户去实现;其次key
的相等性比较,是通过==
操作符来实现的,也不由用户自定义比较函数。那我们就有一个疑问了,为什么不抽取hashCode和equals方法接口,由用户来实现呢?
4.1 简单性和性能角度
相等性比较在 Go
语言中使用 ==
操作符来实现,而哈希函数是由运行时库提供的默认实现。这种设计选择我理解可能基于以下几个原因:
- 简单性:对于默认哈希函数函数来说,其内置在语言中的,无需用户额外的实现和配置。这简化了 map 的使用。对于相等性比较操作,
==
操作符进行比较是一种直观且简单的方式。在语法上,==
操作符用于比较两个值是否相等,这种语法的简洁性使得代码更易读和理解。 - 性能:默认的哈希函数是经过优化和测试的,能够在大多数情况下提供良好的性能。其次使用
==
来实现相等性比较,由于==
操作符是语言层面的原生操作,编译器可以对其进行优化,从而提高代码的执行效率。
4.2 key不可变的限制
map
键的不可变性也是一个考虑因素。基于==
来判断对象是否相等,间接保证了键的不可变性。目前,==
已经支持了大部分类型的比较,只有自定义结构体中的引用类型字段无法直接使用==
进行比较。如果键中不存在引用类型字段,这意味着放入Map键的值在运行时不能发生变化,从而保证了键在运行时的不可变性。
如果key
没有不可变的限制,那么之前存储在 map
中的键值对可能会出现问题。因为在放置元素时,map
会根据键的当前值计算哈希值,并使用哈希值来查找对应的存储位置。如果放在map
中的键的值发生了变化,此时计算出来的hash
值可能也发生变化,这意味数据放在了错误的位置。后续即使使用跟map
中的键的同一个值去查找数据,也可能查找不到数据。
下面展示一个简单的代码,来说明可变类型作为key
会导致的问题:
type Person struct {
Name string
Age int
SliceField []string
}
func main() {
person := Person{Name: "Alice", Age: 25, SliceField: []string{"A", "B"}}
// 假设Person可以作为键,事实上是不支持的
personMap := make(map[Person]string)
personMap[person] = "Value 1"
// 修改person中SliceField的值
person.SliceField[0] = "X"
// 尝试通过相同的person查找值
fmt.Println(personMap[person]) // 输出空字符串,找不到对应的值
}
如果抽取equals
方法接口,由用户自行实现,此时key
的不可变性就需要用户实现,其次go
语言也需要增加一些检测机制,这首先增加了用户使用的负担,这并不符合go
语言设计的哲学。
4.3 总结
综上所述,基于简单性、性能和语义一致性的考虑以及键的不可变性,Go语言选择使用==
操作符进行键的比较,而将哈希函数作为运行时库的默认实现,更加符合go
语言设计的哲学。
5. 总结
在 Go 语言中,map 是一种无序的键值对集合,它提供了高效的数据存储和检索机制。在使用 map 时,通常使用基本数据类型作为键。然而,当我们想要使用自定义结构体作为键时,需要考虑结构体中是否包含引用类型的字段。
自定义结构体作为map
的键需要满足一些要求。首先,键的类型必须是可比较的,也就是支持通过==
运算符进行相等性比较。在Go
中,基本数据类型和一些内置类型都满足这个要求。但是,如果结构体中包含引用类型的字段,那么该结构体就不能直接作为map
的键,因为引用类型不具备简单的相等性比较。
因此总的来说,包含引用类型字段的自定义结构体,是不能作为map
的key
的。
包含引用类型字段的自定义结构体,能作为map的key吗的更多相关文章
- Solidity的自定义结构体深入详解
一.结构体定义 结构体,Solidity中的自定义类型.我们可以使用Solidity的关键字struct来进行自定义.结构体内可以包含字符串,整型等基本数据类型,以及数组,映射,结构体等复杂类型.数组 ...
- typedef和自定义结构体类型
在自定义结构体类型时会用到typedef关键字.大家都知道typedef是取别名的意思,在C语言中跟它容易混淆的有const,#define等,其区别不在本篇文章讨论之列. /*定义单链表结点类型*/ ...
- qsettings 保存自定义结构体(QVariant与自定义结构体相互转化)
参考博文:QVariant与自定义数据类型转换的方法. 这里摘取其关键内容: 1.将自定义数据类型使用Q_DECLARE_METATYPE宏进行声明,便于编译器识别. 2.在插入对象的时候,声明QVa ...
- iOS自定义结构体
一.提要 通过以官方的CGSize为例,自定义Objective-C中的结构体,并使用. 二.CGSize 1.系统定义的CGSize结构体 struct CGSize { CGFloat width ...
- Qt--信号槽传递自定义结构体参数
自定义结构体参数的信号槽连接 (1) 对于自定义的结构体参数,信号槽无法识别参数,导致信号槽连接不起作用.所以需要注册结构体参数.在结构体中声明结束的地方加上结构体注册. struct DealDet ...
- 用set、map等存储自定义结构体时容器内部判别各元素是否相同的注意事项
STL作为通用模板极大地方便了C++使用者的编程,因为它可以存储任意数据类型的元素 如果我们想用set与map来存储自定义结构体时,如下 struct pp { double xx; double y ...
- gin中绑定表单数据至自定义结构体
package main import "github.com/gin-gonic/gin" type StructA struct { FieldA string `form:& ...
- 【大型软件开发】浅谈大型Qt软件开发(三)QtActive Server如何通过COM口传递自定义结构体?如何通过一个COM口来获得所有COM接口?
前言 最近我们项目部的核心产品正在进行重构,然后又是年底了,除了开发工作之外项目并不紧急,加上加班时间混不够了....所以就忙里偷闲把整个项目的开发思路聊一下,以供参考. 鉴于接下来的一年我要进行这个 ...
- QT:用QSet储存自定义结构体的问题——QSet和STL的set是有本质区别的,QSet是基于哈希算法的,要求提供自定义==和qHash函数
前几天要用QSet作为储存一个自定义的结构体(就像下面这个程序一样),结果死活不成功... 后来还跑到论坛上问人了,丢脸丢大了... 事先说明:以下这个例子是错误的 #include <QtCo ...
- [UE4]自定义结构体、类、数据表
自定义数据表: #pragma once #include "CoreMinimal.h" #include "Engine/UserDefinedStruct.h&qu ...
随机推荐
- Centos 6 部署PPTP服务
前言:PPTP使用一个TCP连接对隧道进行维护,使用通用路由封装(GRE)技术把数据封装成PPP数据桢通过隧道传送.可以对封装PPP桢中的负载数据进行加密或压缩. 注意:PPTP协议已经被IOS系统所 ...
- Mybatis分页插件PageHelper的配置及使用方法
尊重人家的知识成果 推荐 该作者总结的不错! --->> --->> @author 扎心了老铁 Mybatis分页插件PageHelper的配置及使用方法
- [VMware]常见问题处理
参考文献 [1] VMware 无法打开虚拟机 该虚拟机似乎正在使用 - 百度经验 [2] 233 http://10.0.8.46:8080/cas/autologin?username=admin ...
- 【Note】倍增
真的不会.QAQ 目录 简介 大家都见过的应用:倍增求 \(\text{LCA}\) 倍增求 \(\text{LCA}\) ,但是动态加点,但是不会 \(lct\) 例题:[ZJOI2012]灾难(D ...
- SpringBoot 缓存注解的使用
最近比较忙,没时间更新了.上一篇文章我说了如何使用Redis做缓存,文末我稍微提到了SpringBoot对缓存的支持.本篇文章就针对SpringBoot说一下如何使用. 1.SpringBoot对缓存 ...
- day29:计算机网络概念
目录 1.网络开发的两大架构 2.网络概念 3.OSI七层模型 4.ARP协议 5.TCP三次握手和四次挥手 1.网络开发的两大架构 1.没有网络的时候,文件是如何传输的? 早期没有网络 a.py - ...
- JAVASE和JAVAEE的区别
JAVASE和JAVAEE的区别 JavaEE: Java Enterprise Edition,Java企业版,多用于企业级开发,包括web开发等等.企业版本帮助开发和部署可移植.健壮.可伸缩切安全 ...
- 【Vue项目】尚品汇(三)Home模块+Floor模块+Swiper轮播图
写在前面 今天是7.23,这一篇内容主要完成了Home模块和部分Search模块的开发,主要是使用了swiper轮播图插件获取vuex仓库数据展示组件以及其他信息. 1 Search模块 1.1 Se ...
- 简单的了解下 Fetch API 的工作原理
一.简介 Fetch API是一种现代的Web API,提供了一种异步获取网络资源的方法.由于其简单性.灵活性和一致性,它已经成为Web应用程序中获取数据和资源的流行选择.在本文中,我们将深入探讨Fe ...
- Linux网络管理入门
根据自己的需要来设置Linux的一些属性 网络状态查看 在终端输入ifconfig可以查看网络状态 # ifconfig eth0: flags=4163<UP,BROADCAST,RUNNIN ...