导学
Java集合框架体系

操作数据的特点-算法复杂度分析



算法复杂度
为什么要进行复杂度分析?
- 指导你编写出性能更优的代码
- 评判别人写的代码的好坏。
时间复杂度分析: 来评估代码的执行耗时的

- 大O表示法: 不具体表示代码真正的执行时间,而是表示代码执行时间随数据规模增长的变化趋势
- T(n)与代码的执行次数成正比(代码行数越多,执行时间越长)


- 当n很大时,公式中的低阶,常量,系数三部分并不左右其增长趋势,因此可以忽略,我们只需要记录一个最大的量级就可以了
常见复杂度表示形式
速记口诀: 常对幂指阶

常见的时间复杂度



复杂度分析就是要弄清楚代码的执行次数和数据规模n之间的关系


由以上分析可知,代码的时间复杂度表示为O(log n)
空间复杂度全称是渐进空间复杂度,表示算法占用的额外存储空间与数据规模之间的增长关系

我们常见的空间复杂度就是o(1), o(n), o(n^2),其他像对数阶的复杂度几乎用不到,因此空间复杂度比时间复杂度分析要简单的分多。
ArrayList
数据结构-数组
数组(Array)是一种用连续的内存空间存储相同数据类型数据的线性数据结构。

数组如何获取其他元素的地址值?

为什么数组索引从0开始呢?假如从1开始不行吗?

- 在根据数组索引获取元素的时候,会用索引和寻址公式来计算内存所对应的元素数据,寻址公式是: 数组的首地址+索引乘以存储数据的类型大小
- 如果数组的索引从1开始,寻址公式中,就需要增加一次减法操作,对于CPU来说。就多了一次指令,性能不高。
操作数组的时间复杂度(查找)
- 随机查询(根据索引查询)
数组元素的访问是通过下标来访问的,计算机通过数组的首地址和寻址公式能够很快速的找到想要访问的元素

- 未知索引查询
情况一: 查找数组内的元素,查找55号数据

情况二: 查找排序后数组内的元素,查找55号数据

- 操作数组的时间复杂度(插入、删除)
数组是一段连续的内存空间,因此为了保证数组的连续性会使得数组的插入和删除的效率变的很低。

最好情况下是O(1)的,最坏情况下是O(n)的,平均情况下的时间复杂度是O(n)。
小结
- 数组(Array)是一种用连续的内存空间存储相同数据类型数据的线性数据结构。
- 数组下标为什么从0开始
- 寻址公式是: baseAddress+i*dataTypeSize,计算下标的内存地址效率较高
- 查找的时间复杂度
- 随机(通过下标)查询的时间复杂度是O(1)
- 查找元素(未知下标)的时间复杂度是O(n)
- 查找元素(未知下标但排序)通过二分查找的时间复杂度是O(logn)
- 插入和删除时间复杂度:
- 插入和删除的时候,为了保证数组的内存连续性,需要挪动数组元素,平均时间复杂度为O(n)
源码分析
源码如何分析?

- 说明:以下源码都来源于jdk1.8
ArrayList源码分析-成员变量

ArrayList源码分析-构造方法


ArrayList源码分析-添加和扩容操作(第1次添加数据)

ArrayList源码分析-添加和扩容操作(第2至10次添加数据)

ArrayList源码分析-添加和扩容操作(第11次添加数据)

ArrayList底层的实现原理
ArrayList底层的实现原理是什么
- ArrayList底层是用动态的数组实现的
- ArrayList初始容量为0,当第一次添加数据的时候才会初始化容量为10
- ArrayList在进行扩容的时候是原来容量的1.5倍,每次扩容都需要拷贝数组
- ArrayList在添加数据的时候
- 确保数组已使用长度(size)加1之后足够存下下一个数据
- 计算数组的容量,如果当前数组已使用长度+1后的大于当前的数组长度,则调用grow方法扩容(原来的1.5倍)
- 确保新增的数据有地方存储之后,则将新元素添加到位于size的位置上。
- 返回添加成功布尔值。
ArrayList list=new ArrayList(10)中的list容几次

- 该语句只是声明和实例了一个ArrayList,指定了容量为10,未扩容
数组和List的切换
如何实现数组和List之间的转换

参考回答:
- 数组转List,使用JDK中java.util.Arrays工具类的asList方法
- List转数组,使用List的toArray方法。无参toArray方法返回Object数组,传入初始化长度的数组对象,返回该对象数组
面试官再问:
用Arrays.asList转List后,如果修改了数组内容,list受影响吗
List用toArray转数组后,如果修改了List内容,数组受影响吗

- Arrays.asList转换list之后,如果修改了数组的内容,list会受影响,
- 因为它的底层使用的Arrays类中的一个内部类ArrayList来构造的集合,在这个集合的构造器中,把我们传入的这个集合进行了包装而已,最终指向的都是同一个内存地址

- list用了toArray转数组后,如果修改了list内容,数组不会影响,
- 当调用了toArray以后,在底层是它是进行了数组的拷贝,跟原来的元素就没啥关系了,所以即使list修改了以后,数组也不受影响

LinkedList
单向链表
- 链表中的每一个元素称之为结点(Node)
- 物理存储单元上,非连续、非顺序的存储结构
- 单向链表: 每个结点包括两个部分:一个是存储数据元素的数据域,另一个是存储下一个结点地址的指针域。记录下个结点地址的指针叫作后继指针next

Java代码实现

单向链表时间复杂度分析
- 查询操作

- 只有在查询头节点的时候不需要遍历链表,时间复杂度是O(1)
- 查询其他结点需要遍历链表,时间复杂度是O(n)
- 插入\删除操作

- 只有在添加和删除头节点的时候不需要遍历链表,时间复杂度是O(1)
- 添加或删除其他结点需要遍历链表找到对应节点后,才能完成新增或删除节点,时间复杂度是O(n)
双向链表
而双向链表,顾名思义,它支持两个方向
- 每个结点不止有一个后继指针next指向后面的结点
- 有一个前驱指针prev指向前面的结点


对比单链表:
- 双向链表需要额外的两个空间来存储后继结点和前驱结点的地址
- 支持双向遍历,这样也带来了双向链表操作的灵活性
双向链表时间复杂度分析

单向链表和双向链表的区别是什么
- 单向链表只有一个方向,结点只有一个后继指针next。
- 双向链表它支持两个方向,每个结点不止有一个后继指针next指向后面的结点,还有一个前驱指针prev指向前面的结点
链表操作数据的时间复杂度是多少

ArrayList和LinkedList的区别是什么?
- 底层数据结构
- ArrayList是动态数组的数据结构实现

- LinkedList是双向链表的数据结构实现

- 操作数据效率
- ArrayList按照下标查询的时间复杂度O(1)[内存是连续的,根据寻址公式】,LinkedList不支持下标查询
- 查找(未知索引): ArrayList需要遍历,链表也需要链表,时间复杂度都是O(n)
- 新增和删除
-
- ArrayList尾部插入和删除,时间复杂度是O(1); 其他部分增删需要挪动数组,时间复杂度是O(n)
- LinkedList头尾节点增删时间复杂度是O(1),其他都需要遍历链表,时间复杂度是O(n)
- 内存空间占用
- ArrayList底层是数组,内存连续,节省内存
- LinkedList是双向链表需要存储数据,和两个指针,更占用内存
- 线程安全
- ArrayList和LinkedList都不是线程安全的
- 如果需要保证线程安全,有两种方案:
-
- 在方法内使用,局部变量则是线程安全的
- 使用线程安全的ArrayList和LinkedList

HashMap
二叉树
二叉树,顾名思义,每个节点最多有两个"叉",也就是两个子节点,分别是左子节点和右子节点。不过,二叉树并不要求每个节点都有两个子节点,有的节点只有左子节点,有的节点只有右子节点。
二叉树每个节点的左子树和右子树也分别满足二叉树的定义。

Java中有两个方式实现二叉树: 数组存储,链式存储。
基于链式存储的树的节点可定义如下:

二叉树分类
在二叉树中,比较常见的二叉树有:

- 满二叉树
- 完全二叉树
- 二叉搜索树
- 红黑树
二叉搜索树(Binary Search Tree,BST)又名二叉查找树,有序二叉树或者排序二叉树,是二叉树中比较常用的一种类型
二叉查找树要求,在树中的任意一个节点,其左子树中的每个节点的值,都要小于这个节点的值,而右子树节点的值都大于这个节点的值

二叉搜索树-时间复杂度分析
实际上由于二叉查找树的形态各异,时间复杂度也不尽相同,我画了几棵树我们来看一下插入,查找,删除的时间复杂度

对于图中这种情况属于最坏的情况,二叉查找树已经退化成了链表,左右子树极度不平衡,此时查找的时间复杂度肯定是O(n)。

- 什么是二叉树
- 每个节点最多有两个"叉",分别是左子节点和右子节点。
- 不要求每个节点都有两个子节点,有的节点只有左子节点,有的节点只有右子节点。
- 二叉树每个节点的左子树和右子树也分别满足二叉树的定义
2.什么是二叉搜索树
- 二叉搜索树(Binary Search Tree,BST)又名二叉查找树,有序二叉树
- 在树中的任意一个节点,其左子树中的每个节点的值,都要小于这个节点的值, 而右子树节点的值都大于这个节点的值
- 没有键值相等的节点
- 通常情况下二叉树搜索的时间复杂度为O(logn)
红黑树
红黑树(Red Black Tree): 也是一种自平衡的二叉搜索树(BST),之前叫做平衡二叉B树(Symmetric Binary B-Tree)

红黑树的特质
- 性质1: 节点要么是红色,要么是黑色
- 性质2: 根节点是黑色
- 性质3: 叶子节点都是黑色的空节点
- 性质4: 红黑树中红色节点的子节点都是黑色
- 性质5: 从任一节点到叶子节点的所有路径都包含相同数目的黑色节点
红黑树的这些性质是为了保证数的平衡, 在添加或删除节点的时候,如果不符合这些性质会发生旋转,以达到所有的性质
红黑树的复杂度:
- 查找:
- 红黑树也是一棵BST(二叉搜索树)树,查找操作的时间复杂度为: O(log n)
- 添加:
- 添加先要从根节点开始找到元素添加的位置,时间复杂度 O(log n)
- 添加完成后涉及到复杂度为O(1)的旋转调整操作
- 故整体复杂度为: O(log n)
- 删除:
- 首先从根节点开始找到被删除元素的位置,时间复杂度O(log n)
- 删除完成后涉及到复杂度为O(1)的旋转调整操作
- 故整体复杂度为: O(log n)
什么是红黑树
- 红黑树(RedBlackTree): 也是一种自平衡的二叉搜索树(BST)
- 所有的红黑规则都是希望红黑树能够保证平衡
- 红黑树的时间复杂度: 查找、添加、删除都是O(logn)
散列表
在HashMap中的最重要的一个数据结构就是散列表,在散列表中又使用到了红黑树和链表

散列表(Hash Table)又名哈希表/Hash表,是根据键(Key)直接访问在内存存储位置值(Value)的数据结构,它是由数组演化而来的,利用了数组支持按照下标进行随机访问数据的特性

假设有100个人参加马拉松,不采用1-100的自然数对选手进行编号,编号有一定的规则比如:2023ZHBJ001,其中2023代表年份,ZH代表中国,BJ代表北京,001代表原来的编号,那此时的编号2023ZHBJ001不能直接作为数组的下标,此时应该如何实现呢?

将键(key)映射为数组下标的函数叫做散列函数。可以表示为:hashValue= hash(key)
散列函数的基本要求:
- 散列函数计算得到的散列值必须是大于等于0的正整数,因为hashValue需要作为数组的下标。
- 如果key1==key2,那么经过hash后得到的哈希值也必相同即:hash(key1)== hash(key2)
- 如果key1 != key2,那么经过hash后得到的哈希值也必不相同即:hash(key1) != hash(key2)
散列冲突
实际的情况下想找一个散列函数能够做到对于不同的key计算得到的散列值都不同几乎是不可能的,即便像著名的MD5,SHA等哈希算法也无法避免这一情况,这就是散列冲突(或者哈希冲突,哈希碰撞,就是指多个key映射到同一个数组下标位置

散列冲突-链表法(拉链
在散列表中,数组的每个下标位置我们可以称之为桶(bucket)或者槽(slot),每个桶(槽)会对应一条链表,所有散列值相同的元素我们都放到相同槽位对应的链表中。

散列冲突-链表法(拉链)-时间复杂度
(1)插入操作,通过散列函数计算出对应的散列槽位,将其插入到对应链表中即可,插入的时间复杂度是O(1)

(2)当查找、删除一个元素时,我们同样通过散列函数计算出对应的槽,然后遍历链表查找或者删除
- 平均情况下基于链表法解决冲突时查询的时间复杂度是O(1)
- 散列表可能会退化为链表,查询的时间复杂度就从O(1)退化为O(n)

- 将链表法中的链表改造为其他高效的动态数据结构,比如红黑树,查询的时间复杂度是O(logn)

将链表法中的链表改造红黑树还有一个非常重要的原因,可以防止DDos攻击

1.什么是散列表?
- 散列表(HashTable)又名哈希表/Hash表
- 根据键(Key)直接访问在内存存储位置值(Value)的数据结构
- 由数组演化而来的,利用了数组支持按照下标进行随机访问数据
2.散列冲突
- 散列冲突又称哈希冲突,哈希碰撞
- 指多个key映射到同一个数组下标位置
3.散列冲突-链表法(拉链)
- 数组的每个下标位置称之为桶(bucket)或者槽(slot)
- 每个桶(槽)会对应一条链表
- hash冲突后的元素都放到相同槽位对应的链表中或红黑树中
HashMap实现原理
HashMap的数据结构:底层使用hash表数据结构,即数组和链表或红黑树
- 当我们往HashMap中put元素时,利用key的hashCode重新hash计算出当前对象的元素在数组中的下标
- 存储时,如果出现hash值相同的key,此时有两种情况。
- a.如果key相同,则覆盖原始值;
- b.如果key不同(出现冲突),则将当前的key-value放入链表或红黑树中

面试官追问:HashMap的jdk1.7和jdk1.8有什么区别
-
JDK1.8之前采用的是拉链法。拉链法: 将链表和数组相结合。也就是说创建一个链表数组,数组中每一格就是一个链表。若遇到哈希冲突,则将冲突的值加到链表中即可。
-
jdk1.8在解决哈希冲突时有了较大的变化,当链表长度大于阈值(默认为8)时并且数组长度达到64时,将链表转化为红黑树,以减少搜索时间。扩容resize()时,红黑树拆分成的树的结点数小于等于临界值6个,则退化成链表
-
说一下HashMap的实现原理?
- 底层使用hash表数据结构,即数组+(链表|红黑树)
- 添加数据时,计算key的值确定元素在数组中的下标
-
- key相同则替换
- 不同则存入链表或红黑树中
- 获取数据通过key的hash计算数组下标获取元素
- HashMap的jdk1.7和jdk1.8有什么区别
- JDK1.8之前采用的拉链法,数组+链表
- JDK1.8之后采用数组+链表+红黑树,链表长度大于8且数组长度大于64则会从链表转化为红黑树
HashMap的put方法的具体流程
HashMap源码分析-常见属性

HashMap源码分析

- HashMap是懒惰加载,在创建对象时并没有初始化数组
- 在无参的构造函数中,设置了默认的加载因子是0.75
HashMap源码分析-添加数据
添加数据流程图


- 判断键值对数组table是否为空或为null,否则执行resize()进行扩容(初始化)
- 根据键值key计算hash值得到数组索引
- 判断tablei==null,条件成立,直接新建节点添加
- 如果tablei==null,不成立
4.1判断tablei的首个元素是否和key一样,如果相同直接覆盖value
4.2判断tablei是否为treeNode,即tablei是否是红黑树,如果是红黑树,则直接在树中插入键值对
4.3遍历tablei,链表的尾部插入数据,然后判断链表长度是否大于8,大于8的话把链表转换为红黑树,在红黑树中执行插入操作,遍历过程中若发现key已经存在直接覆盖value
- 插入成功后,判断实际存在的键值对数量size是否超多了最大容量threshold(数组长度*0.75),如果超过,进行扩容。
hashMap的寻址算法
hashMap的寻址算法

为何HashMap的数组长度一定是2的次幂?
- 计算索引时效率更高: 如果是2的n次幂可以使用位与运算代替取模
- 扩容时重新计算索引效率更高: hash&oldCap==0的元素留在原来位置,否则新位置=旧位置+oldCap
1.hashMap的寻址算法
- 计算对象的hashCode()
- 再进行调用hash0方法进行二次哈希,hashcode值右移16位再异或运算,让哈希分布更为均匀
- 最后(capacity-1) & hash得到索引
2.为何HashMap的数组长度一定是2的次幂?
- 计算索引时效率更高: 如果是2的n次幂可以使用位与运算代替取模
- 扩容时重新计算索引效率更高: hash&oldCap==0的元素留在原来位置,否则新位置=旧位置+oldCap
讲一讲HashMap的扩容机制
HashMap源码分析-扩容
扩容的流程


- 在添加元素或初始化的时候需要调用resize方法进行扩容,第一次添加数据初始化数组长度为16,以后每次每次扩容都是达到了扩容阈值(数组长度*0.75)
- 每次扩容的时候,都是扩容之前容量的2倍;
- 扩容之后,会新创建一个数组,需要把老数组中的数据挪动到新的数组中
- 没有hash冲突的节点,则直接使用 e.hash &(newCap - 1) 计算新数组的索引位置
- 如果是红黑树,走红黑树的添加
- 如果是链表,则需要遍历链表,可能需要拆分链表,判断Ce.hash&oldCap)是否为0,该元素的位置要么停留在原始位置,要么移动到原始位置+增加的数组大小这个位置上

hashmap在1.7情况下的多线程死循环问题
jdk7的的数据结构是: 数组+链表
在数组进行扩容的时候,因为链表是头插法,在进行数据迁移的过程中,有可能导致死循环

线程1和线程2的变量e和next都引用了这个两个节点

线程2扩容后,由于头插法,链表顺序颠倒,但是线程1的临时变量e和next还引用了这两个节点

参考回答:
在jdk1.7的hashmap中在数组进行扩容的时候,因为链表是头插法,在进行数据迁移的过程中,有可能导致死循环
比如说,现在有两个线程
线程一: 读取到当前的hashmap数据,数据中一个链表,在准备扩容时,线程二介入
线程二: 也读取hashmap,直接进行扩容。因为是头插法,链表的顺序会进行颠倒过来。比如原来的顺序是AB,扩容后的顺序是BA,线程二执行结束。
线程一: 继续执行的时候就会出现死循环的问题。线程一先将A移入新的链表,再将B插入到链头,由于另外一个线程的原因,B的next指向了A,所以B->A->B,形成循环。
当然,JDK8将扩容算法做了调整,不再将元素加入链表头(而是保持与扩容前一样的顺序),尾插法,就避免jdk7中死循环的问题。