Liangziye

不想写await/sync，又不想嵌套括号，于是偷懒用了sync-request，两行就完成了GET请求，但是返回的结果对象，内部有三个字段，headers是对象，url是字符串，唯独body是一串二进制不能直接阅读，需要处理的数据。主要很奇怪的是在编辑器上console出来，控制台显示这是一个uint8Array，调试显示的也是一个uint8Array，但在终端补全时候提示却是一个Buffer。instanceof这两个都是true，unit8Array和Buffer是一个东西吗?

1
2
3
4
5
6
7
8

const request = require('sync-request');
const url = '';
const body = request('GET', url).body;

console.log(body instanceof Buffer);
//true
console.log(body instanceof Uint8Array);
//true

Buffer和Uint8Array的继承关系：

1
2
3
4

const buffer = new Buffer(3);

console.log(buffer instanceof Uint8Array);
//true

buffer继承于Uint8Array

Buffer Uint8Array与ArrayBuffer的关系

ArrayBuffer是一段字节，一段二进制数据，可以看做是内存上的一片格子，实质上是内存上一片连续空间的引用，它就代表了这一片连续的空间。ArrayBuffer不能更改长度容量，也不能直接操作它读取上面的数据。

为了操作它，读写上面的数据，我们需要Buffer Uint8Array这些东西，我们称它们为视图（view） ，可以想象Uint8Array覆盖在ArrayBuffer这一片连续内存之上，我们透过这一层视图来操作内存上的数据。

除了Uint8Array以外，ArrayBuffer的视图还有Uint16Array，Uint32Array诸如此类，看命名就可以得知，它们的区别只有bit大小不同，Uint8Array是8bit，1个byte，后两者分别是2个byte和4个byte，这个byte的区别是它们分别用多大的“尺寸”去“解释”ArrayBuffer，它们视图就像翻译机，我们偷着覆盖在上面这层翻译机翻译出下面的数据，Uint8Array是以每1个byte为单位作为一个元素，而Uint16Array是以每2个byte为单位作为一个元素，Uint32Array则是4个byte作为一个单位。他们统称为TypedArray。

如1111 1111 1111 1111 1111 1111 1111 1111这段数据，

Uint8Array解释为[255,255,255,255]（十进制）

Uint16Array解释为[65535,65535]（十进制）

Uint32Array解释为[33554431]（十进制）

而Buffer继承自Uint8Array，自然也是1个字节为一个单位

这类视图有一个统称TypedArray，它们的方法都相同也比较简单，类似于数组的处理。

ArrayBuffer的实例化

1

new ArrayBuffer(length);

ArrayBuffer的构造函数只接受一个length参数，实例化出一个有着byte长度为length的内存块的ArrayBuffer实例，当实例化后，这片内存全为0。

注意，没有用数组或者其它buffer作为参数的构造方法，ArrayBuffer本身意义上就是一块连续内存上二进制数据的引用，而现成的数组或者其它buffer内部本身也指向了一块二进制数据。

TypedArray的实例化

1

new TypedArray(buffer [, byteOffset [, length]]);

如果说TypedArray这种视图只是一层在ArrayBuffer之上的操作工具，那严格来说它本身是没有数据的，先从ArrayBuffer的实例开始， buffer可以是一个ArrayBuffer的实例，这样实例化出来的TypedArray实例将指向这个ArrayBuffer实例

1
2
3
4

const arrayBuffer = new ArrayBuffer(4);
const view = new Uint8Array(arrayBuffer);
console.log(arrayBuffer === view.buffer);
//true

buffer是TypedArray的一个属性，它是视图对象所对应的内存区域，也就是此实例所指向的ArrayBuffer实例。

再来看看可选参数，byteoffset代表的是TypedArray实例指向ArrayBuffer实例的偏移量，单位是byte，默认为0，length代表的是TypedArray实例覆盖ArrayBuffer实例的长度，这个默认不是ArrayBuffer实例的长度，默认是ArrayBuffer实例的长度减去byteoffset，如果byteoffset为ArrayBuffer实例的长度，那length就为0。

1
2
3
4
5
6
7
8
9

const arrayBuffer = new ArrayBuffer(4);
const view = new Uint8Array(arrayBuffer,1,2);
view[0]=0xff;
view[1]=0xff;
view[3]=0xff;
console.log(view);
//[ 255, 255 ]
console.log(arrayBuffer);
//<00 ff ff 00>

可见，实例view操作的是arrayBuffer的第一第二个字节。view[3]如果打印出来是undefined。

arrayBuffer为ArrayBuffer对象的实例，它是内存上真实存在的一段空间的引用，一串二进制数据看，这样uint8Array就成为了这一段内存空间引用的视图、操作工具。

现在来试一试，如果接受的参数不是ArrayBuffer实例，而是一个可迭代的数组对象，那实例化出来的TypedArray所指的ArrayBuffer实例是什么，跟传入的数组这个参数有什么关系

1
2
3
4
5
6
7

const array = [0,0,0,0];
const view = new Uint8Array(array);
view[0]=0xff;
console.log(view.buffer);
//<ff 00 00 00>
console.log(array);
//[ 0, 0, 0, 0 ]

很明显，它复制了一份数据，新建了一个ArrayBuffer实例，而view对象指向的就是这个新建的ArrayBuffer实例，视图对象跟数组已经没有关系了。也就是说除了直接给ArrayBuffer实例作为参数是直接指向，不然都是复制一份新的数据（因为数组内部没有指向的ArrayBuffer）。

包括参数为其他TypedArray也是如此，也是复制，而且这个构造函数没有可选偏移量跟长度。

1

new TypedArray(typedArray);	

多个视图可以同时指向的ArrayBuffer相同。

1
2
3
4
5
6
7
8
9
10
11
12
13
14

const arrayBuffer = new ArrayBuffer(4);
const uint8Array1 = new Uint8Array(arrayBuffer);
const uint8Array2 = new Uint8Array(arrayBuffer);
console.log(uint8Array1 === uint8Array2);
//false
console.log(uint8Array1[0]);
//0
console.log(uint8Array2[0]);
//0
uint8Array1[0]++;
console.log(uint8Array1[0]);
//1
console.log(uint8Array2[0]);
//1

那问题来了，我有一个旧的视图，我现在希望实例化一个新的视图，我希望这两个视图都指向同一片内存数据，又改怎么做呢？直接用旧视图作为构造参数去实例化当然是不行的，那样只会在内存上复制一份新的数据。由于直接使用ArrayBuffer的对象，即用这一块内存数据的引用去实例化视图，才使得视图直接指向这块内存，不会复制新的数据，那我们取出旧视图的代表了内存引用的ArrayBuffer对象，用它去实例化新视图不就可以了吗？

1
2
3
4
5
6
7
8

const view1 = new Uint8Array([0,0,0]);
const arrayBuffer = view1.buffer;
const view2 = new Uint8Array(arrayBuffer);
view1[0]=0xff;
console.log(view1);
//[ 255, 0, 0 ]
console.log(view2);
//[ 255, 0, 0 ]   

除了传入ArrayBuffer实例和TypedArray实例，还可以传入一个number值作为构造参数。

1

new TypedArray(length);

也可以使用默认构造方法,内部同样会创建一个ArrayBuffer实例并指向它，但其长度为0。

1
2
3

const view = new Uint8Array();
console.log(view.buffer.byteLength);
//0

from

TypedArray.from()可以获得一个新实例

1

TypedArray.from(source[, mapFn[, thisArg]])

但问题是这个source只能是其他的TypedArray或者可迭代的对象比如数组，也就是不能是ArrayBuffer实例。如果硬要传递进去，只会创建一个新的长度为0ArrayBuffer实例

1
2
3
4
5
6

const arrayBuffer = new ArrayBuffer(4);
const view = Uint8Array.from(arrayBuffer);
console.log(view.buffer.byteLength);
//0
console.log(view.buffer==arrayBuffer);
//false

当参数是数组或者其他TypedArray时，是跟构造方法是一样的，复制一份内容。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

const array = [0,0,0,0]
const view = Uint8Array.from(array);
view[0]=0xff;
console.log(view);
//[ 255, 0, 0, 0 ]
console.log(array);
//[ 0, 0, 0, 0 ]

const array1 = [0,0,0,0]
const view1 = Uint8Array.from(array1);
const view2 = Uint8Array.from(view1);
view1[0]=0xff;
console.log(view1);
//[ 255, 0, 0, 0 ]
console.log(view2);
//[ 0, 0, 0, 0 ]

由此可见from方法只能复制，不能共用一段内存数据

可选参数mapFn是个函数，可以类比于数组的map，可以处理每一个元素；thisArg是mapFn的this参数

Buffer

from

那Node的Buffer继承自Uint8Array，大部分跟Unit8Array一致，其中有一些不同的点，比如构造函数Buffer()已经废弃了，要获得一个Buffer实例需要用到Buffer的静态方法from。

from可以传入数组和Buffer实例，没有可选参数，跟TypedArray的构造方法new TypedArray(array)和new TypedArray(buffer)也是一致的，会复制一份数据。

它接受参数为ArrayBuffer实例时，有两个可选参数，byteoffset和length。这里的参数跟TypedArray的构造方法new TypedArray(buffer [, byteOffset [, length]])也是一致的，实例化的行为上也一样，都是直接使用传入ArrayBuffer实例，不会再复制一份数据。

1
2
3

Buffer.from(array)
Buffer.from(buffer)
Buffer.from(arrayBuffer[, byteOffset[, length]])

1
2
3
4
5
6
7

const array = [0,0,0,0];
const buffer = Buffer.from(array);
buffer[0]=0xff;
console.log(buffer);
//<Buffer ff 00 00 00>
console.log(array);
//[ 0, 0, 0, 0 ]

1
2
3
4
5
6
7
8

const array = [0,0,0,0];
const buffer1 = Buffer.from(array);
const buffer2 = Buffer.from(buffer1);
buffer1[0]=0xff;
console.log(buffer1);
//<Buffer ff 00 00 00>
console.log(buffer2);
//<Buffer 00 00 00 00>

1
2
3
4
5
6
7

const arrayBuffer = new ArrayBuffer(4);
const buffer = Buffer.from(arrayBuffer);
buffer[0]=0xff;
console.log(buffer);
//<Buffer ff 00 00 00>
console.log(arrayBuffer);
//<Buffer ff 00 00 00>

Buffer内存池

Buffer用Buffer.from()这个静态方法来获取实例化，跟TypedArray直接用构造方法相比，看起来确实一样，但其实会遇到一点问题：

1
2
3
4
5
6
7
8
9
10

const array = [0,0,0,0];
const view1 = new Uint8Array(array);
const view2 = Buffer.from(view1);
view1[0]=0xff;
console.log(view1);
//[ 255, 0, 0, 0 ]
console.log(view2);
//<Buffer 00 00 00 00>
console.log(view1.buffer===view2.buffer);
//false

1
2
3
4
5
6
7
8
9
10

const array = [0,0,0,0];
const buffer1 = Buffer.from(array);
const buffer2 = Buffer.from(buffer1);
buffer1[0]=0xff;
console.log(buffer1);
//<Buffer ff 00 00 00>
console.log(buffer2);
//<Buffer 00 00 00 00>
console.log(buffer1.buffer===buffer2.buffer);
//true 注意看这里打印出来是true

buffer1与buffer2竟然是同一个ArrayBuffer实例。可是buffer1修改了数据在buffer2却是没有变化的。

证明了buffer1与buffer2指向的是同一个ArrayBuffer实例，却是不同的位置，也就是说它们是有偏移量的。

1
2
3
4
5
6
7
8
9

//接着上面的代码
console.log(view1.byteOffset);
//0
console.log(view1.byteLength);
//4
console.log(view2.byteOffset);
//616
console.log(view2.byteLength);
//4

view2的起始位置是从ArrayBuffer实例的第616位开始的。

这里插一下队看看Buffer的另两个方法

1
2

Buffer.alloc(size[, fill[, encoding]])
Buffer.allocUnsafe(size)

这两个静态方法实例化出size大小的Buffer实例，它们的一个重要区别是allocUnsafe会在利用Buffer模块的内存池。模块预先分配了一个内存池，大小可以通过属性Buffer.poolsize得到。整个池有一个ArrayBuffer引用，当调用allocUnsafe调用时，检查size大小，如果size小于Buffer.poolsize的一半，直接将现成的内存池，也就是现成的ArrayBuffer引用分配给即将实例化的Buffer，否则，会新开一个内存池，当然，内存池不够大了也会开一个新的，并且下一次allocUnsafe的时候检查的就是这个新的池了。

除了allocUnsafe(size)，还有from(array)``from(string)``from(buffer)都是会用到这个机制，所以上面buffer11和buffer2经过检查后size都小于池子大小的一半，分配到的内存的引用都是同一个，只不过他们指向的都不是同一片区域，因为他们的偏移量不同，但是它们确实是在同一个ArrayBuffer里面。

所以利用这个机制我们也很容易可以将两个Buffer实例完全操作一样的内存区域。只要偏移量也相同长度也相同即可。

1
2
3
4
5
6
7
8
9
10

const array = [0,0,0,0];
const buffer1 = Buffer.from(array);
const buffer2 = Buffer.from(buffer1.buffer,buffer1.byteOffset,buffer1.byteLength);
buffer1[0]=0xff;
console.log(buffer1);
//<Buffer ff 00 00 00>
console.log(buffer2);
//<Buffer ff 00 00 00>
console.log(buffer1.buffer===buffer2.buffer);
//true

总结

• ArrayBuffer是内存上一片连续数据的引用，它不能操作数据。

• Buffer和TypedArray有继承关系，TypedArray是ArrayBuffer的视图，用于操作二进制数据

• 实例化TypedArray靠它的构造函数，参数为可迭代的对象、其他TypedArray实例时，会复制一份新的数据，当参数为ArrayBuffer实例时，直接指向这个实例，同时还可以通过两个可选参数控制对于ArrayBuffer实例的长度和偏移。获取实例还可以使用静态方法from，只能传可迭代的对象作为参数，但两个可选参数，用来处理每一个元素。

• 实例化Buffer的构造函数已经废弃，实例可以靠静态方法from获得，与上面一样，当参数是可迭代的对象或者其他Buffer实例时，会复制一份数据，当参数是ArrayBuffer的实例时，直接指向它，同时可以控制长度和偏移。

• Buffer有内存池机制，当实例化Buffer时如果参数不是ArrayBuffer时，会检查Buffer实例的大小，如果小于内存池的一半则将现有的内存池分配给它，否则新建一个内存池。

起因是抓IPTV，移动光猫 接 交换机8口，本机电脑 接 交换机7口，本机开wireshark，捕获过滤器用mac过滤掉移动光猫、本机和交换机的所有报文：

1

!ether host 00:D8:61:xx:xx:xx && !ether host CC:ED:21:xx:xx:xx && !ether host 58:41:20:xx:xx:xx

发现怎么还有东西一直在广播，mac是00:00:00:00:00:12。wireshark每隔约5s抓到一个broadcast：

看一个完整报文：

1
2
3
4
5

0000   ff ff ff ff ff ff 00 00 00 00 00 12 ff fa 00 00   ................
0010   00 03 cc ed 21 c0 dc e8 49 6e 20 74 68 65 20 67   ....!...In the g
0020   61 70 20 61 20 6e 65 77 20 74 6f 6f 74 68 20 67   ap a new tooth g
0030   72 65 77 2c 00 00 00 00 00 00 00 00 00 00 00 00   rew,............
0040   00 00 00 00 00 00 00 00                           ........

其中广播带有58个bytes的data：

1

......!...In the gap a new tooth grew,....................

我抓了100个之后在wireshark存为unknown_broadcast.txt，用sed提取出data的文本内容并拼接起来：

1

sed -n '/^00[012]0[ ]*/p' unknown_broadcast.txt | sed -n 's/^.*\(.\{17\}$\)/\1/p'| sed 's/^\(\.*!\.*\)*\([^.]*\)\(\.*\)*/\2/'| sed ':a;N;s/\r\n//;t a'

(ps：sed的正则怎么用不了非贪婪)

(ps：sed的正则怎么匹配不了行尾$)

1

In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth tooThe day I lost my very first tooth,

手动去掉重复片段整理：

1

The day I lost my very first tooth,Was halfway through grade four,I'd run my tongue along the gap,Where my tooth had been before,I remember I went home crying,And showed it to my mum,She told me that a brand new tooth,Would grow up in my gum,In a while the gap would stop feeling I wouldn't notice the tooth was gone,The only reason I missed it now,Was because it was there for so long,Then slowly but surely over the weeks,In the gap a new tooth grew,And now it makes me wonder,If people are like teeth too. 

拿上面这小作文一搜，发现是首诗。。。。。换下行：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

The day I lost my very first tooth,
Was halfway through grade four,
I'd run my tongue along the gap,
Where my tooth had been before,
I remember I went home crying,
And showed it to my mum,
She told me that a brand new tooth,
Would grow up in my gum,
In a while the gap would stop feeling 
I wouldn't notice the tooth was gone,
The only reason I missed it now,
Was because it was there for so long,
Then slowly but surely over the weeks,
In the gap a new tooth grew,
And now it makes me wonder,
If people are like teeth too

怎么我抓出来的跟搜出来的差一个词，In a while the gap would stop feeling strange这句，我的怎么没有strange，手动去翻了一下unknown_broadcast.txt，发现是有strange的，检查发现是sed写错了，改为：

1

sed -n 's/^00[0123]0[ ]\{2,\}.*[ ]\{2,\}\([\.]*\)/\1/p' unknown_broadcast.txt | sed 's/^\(\.*!\.*\)*\([^.]*\)\(\.*\)*/\2/' | sed '/^[ ]\{3,\}/d' | sed ':a;N;s/\r\n//;t a'

谷歌翻译下这首诗：

在我失去第一颗牙齿的那天，
四年级上到一半，
我会沿着缝隙伸出舌头，
我以前的牙齿在哪里，
我记得我哭着回家，
并把它展示给我妈妈，
她告诉我，一颗崭新的牙齿，
会在我的口香糖里长大，
过一会儿，差距就不再奇怪了，
我不会注意到牙齿掉了，
我现在错过的唯一原因，
是因为它存在了那么久，
然后在几周内缓慢但肯定地，
缝隙里长出了一颗新牙，
现在它让我想知道，
如果人也像牙齿

前情提要：

• AVL树的旋转

• [AVL树]

插入

插入和二叉搜索树不一样的是，需要再数据被放入后回溯结点，向上更新每一个结点的平衡因子，判断是否有子树不平衡，找到最小不平衡子树，用上篇中讨论的旋转方式去让树回归平衡。

特定例子

现在我们开始解决AVL树中提到最小不平衡子树，使AVL树重新恢复平衡状态。

下图先举例一个最简单的平衡的AVL树在经过插入操作后变得不平衡的例子

如图所示插入结点5后，父结点7的平衡因子变为1,再往上的父节点10变为2，这个结点10就是我们要找的最小不平衡子树的根结点。我们把最小不平衡子树拿出来单独讨论。

这是最简单的情况，最小不平衡子树的根结点为结点10，新插入结点5是根结点10的左子结点的左子结点，这种情况我们成为LL型（左左型）。在LL型中，根结点10比它的左子结点大，它的左子结点也比新插入的结点大，我们可以把这三个结点的位置转一转，把结点10转到结点7的右下方，也就是从结点7的父节点变成了结点7的右子结点，而结点7自己成了根结点

现在以结点7为根结点的子树平衡了，整个树也就重新达到AVL的平衡条件了。我们旋转的对象是根结点10，根据它的旋转方向我们称这种旋转为右旋。所以LL型我们只需要一次右旋就能重新回归平衡。因为结点10和结点7之间的大小关系，所以结点10既能做结点7的父结点，也能做结点7的右子结点，右旋操作就是将操作结点从父结点变为右子结点。

这个LL型过于简单，再举个LL型的最小子树例子，下面这个例子的子树高度比上面那个例子要高，但同样只需要一次右旋就能回到平衡状态。

完全对称的，我们也有RR型（右右型），所以对称地我们需要一次左旋来让RR型回归平衡，我现在把LL型的例子变成RR型，再看看示意图，完全是对称的操作。右旋操作就是将操作结点从父结点变为左子结点。

LL型

例子举完了，现在该分析一下所有可能存在的情况了。如下图，设想现在有一个子树的根结点t，子树处于平衡状态，它的左子树我们先记做ltree，右子树我们记做rtree。左子树和右子树中的结点数未知，但是它们的高度差因为平衡所以一定不大于1。现在我们插入一个新的结点n，假定我们插入新的结点之后，树将不再平衡，并且这个以结点t为根的子树是整个树的最小不平衡子树。那只有两种插入情况，一种是插入在左子树上，左子树比右子树高2，一种是插在右子树上，右子树比左子树高2，我们把比较矮的一边子树的高度记做h，则另一边比较高的子树的高度为h+2。当然h必须h≥0。可以想象到这两种情况是对称的，那他们解决平衡的操作也是对称的。

我们现在拿情况1出来分析，把ltree又分为它的根结点tl和tl的左子树lltree和右子树lrtree，同样有两种情况，结点n要么是接在lltree上要么是接在lrtree上，根据上面的讨论，高度如下图所示，同时我也标注好了平衡因子。

注意！以上的讨论都是建立在结点t构成的子树为最小不平衡子树下。因为这个子树为最小不平衡子树，所以必然的，情况1-1中lltree和lrtree还有rtree三个子树的高度都相等都是h，情况1-2中rltree和rrtree还有ltree三个子树的高度也相等也都是h。h要满足h≥0。反过来说lltree和lrtree还有rtree（或是rltree和rrtree还有ltree）它们的高度不可能不相等，如果不相等那结点t构成的子树就不是最小不平衡子树，记住我们所讨论的情况都是建立在结点t是最小不平衡子树的根结点上的。

对于情况1-1我们可以继续分类讨论出情况1-1-1和1-1-2……但这样套娃已经完全没有必要了，因为我们现在就能针对情况1-1做出普适性的回归平衡方法。

现在我们针对情况1-1来看，发现上文中右旋的两个例子就是情况1-1，情况1-1即是LL型。当lltree和lrtree还有rtree的高度为0时，就是上文右旋的第一个例子，而这三个子树高度为1时，就是上文右旋中第二个例子。可以继续推导的是，lltree和lrtree还有rtree的高度h只要满足h≥0，这种最小不平衡子树都是LL型，能都通过对根结点t一次右旋重新回归平衡，如下图。

LR型

接下来讨论情况1-2，我们发现这不再是LL型了，我们无法通过一次右旋来解决问题，如下图：

我们需要继续分析讨论情况1-2，分类讨论结点n插入的更准确的位置。我们把lrtree这个子树细分成结点tlr和其左右子树lrltree和lrrtree。我们对情况1-2分别得到以下两种情况1-2-a和1-2-b。1-2-a是结点n插在lrltree上，1-2-b是结点n插在lrrtree上。

经过分析我们发现，虽然我们不能通过一次右旋来回归平衡，但是我们发现如果对情况1-2-a和1-2-b中的结点tl进行一次左旋，我们将把情况1-2-a和1-2-b转变了LL型，如下图

情况1-2-a和1-2-b进行了左旋之后，得到的LL型是有区别的，情况1-2-a左旋结果的结点tlr的平衡因子为2，最小不平衡子树变成了以结点tlr为根的最小不平衡子树，不是结点t。而情况1-2-b左旋结果的结点tlr的平衡因子为1，所以依然是以结点t为根结点的最小不平衡子树。对于情况1-2-a左旋结果，它的最小不平衡子树变了，虽然也是LL型，但是我们能对结点tlr做一次右旋让它回归平衡吗？答案是不能，这样又变回情况情况1-2-a了，左右旋本身就是互为反操作。那这样的话，我们依旧是把情况1-2-a左旋结果的最小不平衡子树当做没有变动，根结点依旧是结点t，所以对于情况1-2-a左旋结果和情况1-2-b左旋结果，这两个都是根为结点t的LL型，我们对结点t做一次右旋即可回归平衡。如下图。

情况1-2细分的两种情况现在就已经解决了不平衡问题，方法都是先对结点tl做一次左旋，再对结点t做一次右旋，我们把情况1-2称作LR型。所以LR型的最小不平衡子树，我们先对根结点t的左子节点tl做左旋转换成LL型后，再对结点t做右旋，即可平衡。但LR型里面也是有区别的，虽然都是对结点一样的操作，可重新平衡之后结点t和结点tl的平衡因子是不一样的，在实现上要注意处理这个问题。

RR型和RL型

至此，其实我们已经解决掉AVL树的一半旋转方法了。LL型对根结点t做一次右旋，LR型对根结点t的左子节点tl做一次左旋再对结点t做一次右旋。对称地，我们可以得知，把LL型和LR型镜像翻转过来我们得到RR型，和RL型，重新平衡的操作也是对称的，对于RR型应当对根结点t做一次左旋，对于RL型应当对根结点t的右子结点tr做一次右旋，再对结点t做一次左旋。于是我们对于所有的不平衡情况都给出了平衡的旋转方法。下面示意图表示一下RR和RL的过程，就不从头分析一遍了。

RR型：

RL型

RL型对结点tr右旋转换成RR型：

最后再对结点t左旋：

严格平衡的二叉搜索树

接上篇二叉树的平衡，我们知道若平衡因子的绝对值越大，这个二叉搜索树就越不平衡，性能就越差，我们面对一些来源未知的数据时，随着不断的插入，一些子树可能会陷入严重不平衡的状态，造成二叉搜索树的效率降低。如果我们规定这样一种二叉搜索树，如果它能达到我们要求的一定平衡条件，那就能保证它的效率不会过于低，这样的二叉搜索树我们叫做平衡二叉树，它有着二叉搜索树的所有性质，你也可以叫它平衡二叉搜索树，平衡二叉树就是满足一些平衡条件的二叉搜索树。当我们设定平衡二叉树的平衡条件为树中的每一个结点的平衡因子的绝对值都不超过1时，我们就得到了AVL树。所以AVL树是平衡条件严格的平衡二叉树，树中每一个结点的平衡因子绝对值都是1或者是0，也就是每一个结点的左右子树高度差最多为1。这篇二叉搜索树中的二叉搜索树例子，它就是一个AVL树。

所以在AVL树中，我们必须使用一些办法使得树搜着数据的插入也能保持着平衡条件。这时候我们可以使用一种方法，在每次插入新数据时都去检查这棵树是否平衡，如果不平衡我们将调整一下不平衡的结点，给它们互换下位置，重新让二叉搜索树平衡起来，满足AVL树的条件。

最小不平衡子树

这里先分析一下，我们是每一次做插入操作就去检查一次平衡，若不平衡就调整到平衡，所以我们每次插入前，AVL树都是平衡的，满足AVL树条件的。若现在开始插入操作，插入后导致了不平衡，那从插入节点往父节点一直向上找，找到第一个平衡因子的绝对值大于1的结点，以这个结点为根的子树，我们称为最小不平衡子树。不平衡子树的根结点是一个离插入结点最近的，平衡因子绝对值大于1的结点。这个子树是不平衡的，如果恢复平衡，我们就要从这个子树入手。

上一篇写到二叉搜索树，它平均都是对数的时间复杂度都很优秀。现在考虑一种情况，我们将一组上升序列[1,2,3,……,98,88,100]一共100个值作为结点形成一个新的二叉搜索树，我们插入的第一个结点键为1，最后一个结点的键位100。

插入完之后我们发现这根本就是一个链表，对于这个二叉搜索树来说，插入查找和删除操作的时间复杂度都不是对数了，因为它是一个普通的链表。我们插入的数据一直都是升序的，对于二叉搜索树的插入方法来看，最终的结果只能是这样的一个链表，完全丧失了二叉搜索树的特性。虽然这个例子很极端，但是说明了一个问题，插入的数据越有序，我们得到的二叉搜索树就越接近链表，时间复杂度就离对数越来越远，查找效率越来越差。

这里就引入了一个问题，怎么样来衡量一个二叉树/二叉搜索树接近链表的程度？更普通来讲，二叉树有左子树和右子树，当二叉树的左右子树高度相差越大时，它就越接近链表，极端情况，当遍历的每一个结点的左右子树，其中一个子树的高度为0时，也就是只存在其中一个子树时，它就完全退化成了链表。所以这个问题变成了怎么样来表示一个二叉树左右子树高度差？显而易见，我们用一个结点的左子树高度减去右子树的高度，得到一个值，这个值越小，右子树比左子树越高，反之这个值越大，左子树比右子树越高，当这个值为0时，这个结点的左右子树达到了平衡。这个值我们称为这个结点的平衡因子，它就能衡量这个树是否平衡。下面我拿上一篇二叉搜索树的二叉树例子看看各个结点的平衡因子。

可以看到除了结点4是不平衡的，左子树高度为1，右子树没有所以高度为0，它的平衡因子为1。再说说上面从1插到100的二叉树，根结点1的平衡因子为-100，因为左子树高度为0，右子树高度为100。

二叉树

首先我们来看一个普通的链表，头节点指向下一个结点，下一个结点再指向下一个结点，直到尾部最后一个结点。这个单向链表的一个特征：除了最后一个结点外，每一个结点都指向下一个结点。

现在，那这个链表的中的结点，指向的结点不仅仅限定是一个，还允许是两个呢？

整理一下位置排版

于是它变成了一个二叉树。二叉树在维基百科中的定义：二叉树（英语：Binary tree）是每个节点最多只有两个分支（即不存在分支度大于2的节点）的树结构。你也可以说上面的链表，它是一个极端条件下的二叉树，一个特殊的二叉树。数据的组织结构从来都不会凭空产生，而是根据需求不断变化不断适应。

每一个结点往下指的一个或两个结点，都称为它的子结点，而它被称作它们的父结点。相对左右的位置，它们分别被称为左子结点和右子结点，以左右子结点为根构成的子树被称为左子树和右子树。

二叉搜索树

现在我们给二叉树新加一个限定规则，如果存在一个结点存在它的左右子树的话，它的左子树上每一个结点的键都比它的键小，它的右子树上每一个结点的键都比它的键大。添加了这一个规则后，它便不仅仅是是一个普通的二叉树，而成了二叉搜索树，很明显，加入了左右子树结点键的大小限定规则后，这个二叉树变得有序了起来。

维基百科中二叉搜索树的性质定义：若任意节点的左子树不空，则左子树上所有节点的键均小于它的根节点的键；若任意节点的右子树不空，则右子树上所有节点的键均大于它的根节点的键；
任意节点的左、右子树也分别为二叉查找树。

插入

我们现在通过将数组8,4,3,9,7]作为键不断插入来形成一个二叉搜索树。首先第一个键为6，现在树还不存在，6作为树的根放入成为结点6；第二个插入8，在经过和根部结点6后，8比6大，结点8插在了结点6的右边，成为了结点6的右子结点；接着插入4,4比8小， 成为了8个左子结点；继续插入3，3比6小，应该插入到结点6的左子树中，再和结点6的左子结点4比较，3比4小，插入到4的左子树中成为4的左子结点。以这种方式一直将数据插入进去。

试着简单手动实现一下二叉搜索树的插入

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

public class BSTree {
	public TreeNode root;
    
	public boolean insert(TreeNode node) {
		if(root == null) {
			root = node;
			return true;
		}
		TreeNode parent = root;TreeNode nodeTmp = root;
		while(nodeTmp!= null) {
			parent = nodeTmp;
			if(node.key == parent.key) return false;
			nodeTmp = node.key < parent.key?parent.left:parent.right;
		}
		if(node.key < parent.key) {
			parent.left = node;
		}else{
			parent.right = node;
		}
		node.parent = parent;
		return true;
	}
}

注意，我们在讨论中默认二叉树的结点键不能有重复，如果有重复键需要额外讨论。

查找

我们接下来继续用上面插入好的二叉搜索树，试着从树里面查找出结点7。我们依然从根节点开始往下判断，判断当下结点和7的大小关系，若相等，即为要找的结点，若要查找的结点小于当下结点，意味着我们需要往当下结点的左子树中查询，把当下结点的左节点作为要判断的当下结点，反之我们需要往右子树中查询，把当下结点的右节点作为要判断的当下结点，循环步骤直到找到结点7，若当下结点一直往下直到为空，意味着树中不存在要找的结点。

试着手动实现一下二叉搜索树的查找

1
2
3
4
5
6
7
8
9
10
11
12
13

public TreeNode search(int key) {
    TreeNode nodeTmp = root;
    while(nodeTmp!=null) {
        if(key < nodeTmp.key) {
            nodeTmp = nodeTmp.left;
        }else if(key > nodeTmp.key) {
            nodeTmp = nodeTmp.right;
        }else {
            return nodeTmp;
        }
    }
    return null;
}

查找最大最小结点

我们想一下二叉搜索树的插入方式，当要插入一个结点时，从根部往下，遇到这个结点比当下判断结点小的，我们往左子树走，反之我们往右子树走，就像一个岔路口，我们不停的找方向，直到走到尽头，再把结点插入。很明显，若是插入一个比树当前所有结点都小的结点时，我们每经过一个岔路口都是往左，反之则往右。所以最小值在树的最左下角，从根结点一直往左子树走，走到没有左子树的结点就是最小结点，最大值亦然。

手动实现

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

public TreeNode findMin() {
    TreeNode node = root;
    if(node == null) return null;
    while(node.left != null) {
        node = node.left;
    }
    return node;
}
public TreeNode findMax() {
    TreeNode node = root;
    if(node == null) return null;
    while(node.right != null) {
        node = node.right;
    }
    return node;
}

删除

删除的情况相对于插入和查找，需要一点思考。假设我们删掉二叉搜索树最底部的结点，即没有子结点的结点（我们一般称为叶子结点），我们直接将其父节点的左子结点或右子结点设为空，将其本身也设为空，就直接删去了，非常简单，因为没有其他影响。如删去结点7。

但如果删去结点6呢，或者结点8呢？结点6个结点8都有子结点/子树，这种情况下的删除操作需要考虑被删除结点的子树何去何从。其实，与其从处理被删除结点的子树的角度出发考虑，倒不如这样思考：用哪里的一个结点去替代这个被删除的结点？也就是说，拿去被删除的结点，用另一个结点换到这个位置上，保证二叉搜索树的限定条件依然成立。情况就变得非常简单了，拿掉一个结点之后，要找到一个比被删除结点的左子树都大又比被删除结点的右子树都小的结点，换去那个位置接上即可。而这个结点要满足条件，它只能是被删除结点的左子树中最大结点，或者是被删除结点右子树中最小结点。

举例删除结点6来说，我们先看看删去结点6，并用结点6的右子树中的最小值去替换结点6的位置，过程是怎么样的。根据上文我们已经很清楚最大最小结点是在哪里，对于以结点8为根结点的右子树中，往左下角（左子树）一直找，得到这个子树的最小结点为结点7。结点7为叶子结点，我们拿掉它不会有其他影响，所以我们直接拿去替换到结点6所在的位置。现在我们看看，结点7由于是原树中结点6的右子树中的最小值，所以在现在的树中，结点7比它的整个右子树都要小；因为原树中结点7在结点6的右子树中，结点7当然会比现在的树中它的左子树都要大。二叉搜索树依然成立，删除完成。

以上删除没有遇到什么问题，因为结点7是叶子结点。现在我们再重新来删除结点6，并用结点6的左子树中的最大值去替换结点6的位置，看看有什么不一样。我们找到结点6的左子树中的最大结点，是结点4，但这次找到后发现结点4并不是叶子结点，它还有一个左子结点，结点4并不在最下层。我们再继续思考，左子树中的最大结点，当它不是叶子结点的时候，它会不会有右子结点呢？显而易见是不会有的，如果有的话应该继续往右子树找，最大结点肯定不是它。所以总结下，在左子树中要么最大的结点是叶子结点，要么最大的结点只有左子结点没有右子结点。放到右子树中也一样，右子树中要么最小结点是叶子结点，要么最小结点只有右子结点没有左子节点。有点绕，但结论是非常简单显而易见的。那回到例子，把不是叶子结点的结点4换去到结点6的位置该怎么做呢？答案很明显，结点4带着它的左子树换到结点6的位置上，并接上结点6的右子树。结点4的左子树依然是结点4的左子树，结点4新的右子树曾经是结点6的右子树，一定比结点4大。二叉搜索树依然成立，删除完成。

手动实现

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

public TreeNode remove(int key) {
    TreeNode node = root;
    while(node != null && node.key!=key) {
        if(key<node.key) {
            node = node.left;
        }else if(key>node.key){
            node = node.right;
        }
    }
    if(node==null) {
        return null;
    }

    TreeNode parent = node.parent;
    if(parent!=null && parent.left == node) {
        parent.left = null;
    }else if(parent!=null && parent.right == node){
        parent.right = null;
    }

    if(node.left != null) {
        TreeNode maxOfLeftTree = node.left;
        while(maxOfLeftTree.right!=null) {
            maxOfLeftTree = maxOfLeftTree.right;				
        }
        maxOfLeftTree.parent = parent;
        maxOfLeftTree.right = node.right;
        if(node.right!=null) node.right.parent = maxOfLeftTree;
        if(parent!=null && maxOfLeftTree.key<parent.key) {
            parent.left = maxOfLeftTree;
        }else if(parent!=null && maxOfLeftTree.key>parent.key){
            parent.right = maxOfLeftTree;
        }else {
            root = maxOfLeftTree;
        }

    }else if(node.right != null) {
        TreeNode minOfRightTree = node.right;
        while(minOfRightTree.left!=null) {
            minOfRightTree = minOfRightTree.left;				
        }
        minOfRightTree.parent = parent;
        minOfRightTree.left = node.left;
        if(node.left!=null) node.left.parent = minOfRightTree;
        if(parent!=null && minOfRightTree.key<parent.key) {
            parent.left = minOfRightTree;
        }else if(parent!=null && minOfRightTree.key>parent.key){
            parent.right = minOfRightTree;
        }else {
            root = minOfRightTree;
        }
    }
    node.parent = null;
    node.left = null;
    node.right = null;
    return node;
}

继承关系

Map以键值对（KV）储存数据，是java中的众多集合类中的一个接口，定义在包java.util中：

1

public interface Map<K,V>

AbstractMap是一个继承了接口Map的抽象类：

1

public abstract class AbstractMap<K,V> implements Map<K,V>

AbstractMap作为一个抽象类，其最常用的实现类就是HashMap,同时HashMap继承了接口Cloneable和Serializable：

1

public class HashMap<K,V> extends AbstractMap<K,V> implements Map<K,V>, Cloneable, Serializable

基本使用

put存键值对

1

public V put(K key, V value)

get取键值对

1

public V get(Object key)

isEmpty判断是否为空

1

public boolean isEmpty()

时间复杂度

HashMap被使用得最多是因为为哈希表高效的性能，插入删除查找的时间复杂度都为$O(1)$，对比其他数据结构：

基本结构

HashMap由数组和链表构成。这个数组在源码中被称为table，table中存放的每一个元素都是一个被称作bin的容器，bin是一个由类Node构成的一个链表，其中类Node继承自Map.Entry。所以实质上，HashMap就是一个储存了Node的数组。数组中每个Node为所在bin的链表头，指向该bin中的下一个Node，这里的每一个Node就是我们键值对实际储存的地方，包含了key和value。（这是最开始的简单情况，后文将提到，当每个bin中的Node数量超过一定值时，为了提高效率这个链表将转换成二叉树）

每次插入新包含键值对的Node,它要么落在数组空的位置，直接被放入，要么落在已经数组中已经存在Node的位置，这种情况的话将遍历这个占了位置的Node所连接的链表，将新的Node接这个链接的尾部。

那如何知道这个新的Node插入在数组的什么位置呢，用什么样方式确认新的Node的数组下标呢？答案是对Node的key求哈希，将这个哈希值映射到数组的长度中。用这样的方法，每一个键值对根据它的键key的哈希值必然有一个唯一的确定的下标。

我们每次做插入操作时，对要插入的key值求哈希，做一些处理使得这个哈希值映射到数组的一个下标值。现在已经有了确定的下标值了，如果下标志的位置没有Node，那就直接放入，如果有Node存在，插入到这个Node所在链表的尾部。查找操作也是一样的，求哈希，映射得到下标，遍历下标所在的位置的链表找到key值相等的Node，返回其value。

哈希碰撞

假设我们的数据运气很好，每次插入新的Node时，它都落在数组table空的位置，新的Node都是数组中的新元素，每个Node都是链表头并且没有下一个节点。这样插入的时间只有$O(1)$；这种情况每次查找时时间当然也只需要$O(1)$。这样的话HashMap效率非常可观。

但事实情况超出了以上美好假设的范围，由于哈希值非常大，在java中调用本地的hashcode()得到的哈希值是一个int值，32位整型。由于哈希值是一个长度固定的值，它是有限的，而我们的key其可能值可以说是无限的，对无限可能值的key做一样的哈希算法得到的哈希值，会有不同的key得到相同的哈希值的情况，这种情况叫做哈希碰撞。加上我们HashMap的table数组一开始初始化容量只有16，当容量不够时将会扩容，即便扩容，大部分实际情况下table的大小也远远达不到32位这个数量级。当32位的哈希值映射到table小小的容量的范围时，会发生不同的哈希值映射到table相同的下标的情况，更加加剧了不同的key对应table同一个下标的情况发生，于是出现了上文说的需要将新的Node插入到链表尾部的操作。

哈希碰撞发生比较频繁时，即不同key值映射到数组同一个下标的情况非常多时，会导致了数组table中不断插入的Entry分布不均匀，数组中一些位置是空的，一些位置的bin链表长度非常长。这样的话每次插入和查找的时间就完全做不到$O(1)$了，我们只有尽可能让这种情况发生次数减少，让Entry在table中均匀分布，让HashMap的操作时间接近$O(1)$。

哈希散列为下标

为了将32位的哈希值映射到数组容量的大小中，并让这些哈希值的映射尽可能地在table的0到length-1间分布均匀，我们想到的最简单的方法就是将得到的key哈希值对table的长度length求模，这样32位的哈希值就映射在了0到length-1的范围中。

这样解决了大范围映射到小范围的问题，但依然没有解决如何让哈希映射到下标更加均匀。阅读源码，我们发现源码中做了将哈希值的高16位和低16位进行异或运算的操作，之后再去求模。

我们可以这样理解，当table容量不够大，远远比哈希值的32位小的时候，我们对哈希值取table长度的模，哈希值的高位往往对这个结果没有影响。

举例以下两个哈希值取16的模：

1111 1111 1111 1111 1111 1111 1111 0101​

0000 0000 0000 0000 0000 0000 0000 0101​

虽然这两个值只有低4位相同，高28位完全不同，可它们取16的模结果却完全一样，因为影响这个结果只有低4位，因为16换成二进制的最高位数为只有5位。当我们将高16位与低16位做异或操作时，

上面第一个数的低4位成了：1111 ^ 0101 为 0101

上面第而个数的低4位成了：0000 ^ 0101 为 1010

这时候他们取模16的结果将不一样了。这种做法本质上是将低位变成高位的信息特征与低位信息特征的融合。让低位的数据同时有了高位和原本低位的信息特征，为之后映射到数组table下标增加了均匀性。

做完异或操作后将得到的新的哈希值对数组长度取模即可得到数组table的下标。

为了优化取模的效率，在HashMap源码里面table的长度规定为2的整数幂，将取模操作转换成了位操作，因为当length为2的整数幂时，hash % length可以变换成hash & ( length -1 )。位操作比取模操作更快。

我们重头看一遍下标是如何获得，并且让大量的key更均匀的映射到table下标范围的：

1. key调用本地方法hashCode()得到自身的int类型哈希值。

2. 将这个32位的哈希值高16位和低16位做异或操作得到新哈希值hash。

3. 将新哈希值hash取table长度length的模，并优化成位运算hash & ( length -1 )。

最后求得的模，即位操作的结果就是下标。

扩容

当HashMap第一次存入键值对时，会执行一次方法resize()，table的容量，扩容临界值才被初始化。

1

static final int DEFAULT_INITIAL_CAPACITY = 1 << 4;

1

static final float DEFAULT_LOAD_FACTOR = 0.75f;

1
2

newCap = DEFAULT_INITIAL_CAPACITY;
newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);

1

threshold = newThr;

可见初始容量为16（1<<4），threshold为触发扩容操作的临界值，初始值为12（0.75*16），即当前容量的0.75。

每次存入键值对时，若包含键值对的Node添加在table的空位置中而不是某位置所在的Node链表尾部，table数组的长度size加1后，进行检查，若size大于临界值threshold，执行方法resize()。也就是说**HashMap的扩容条件是数组table长度szie超过了容量的0.75**。

1
2

if (++size > threshold)
    resize();

在resize()中，table的容量进行了翻倍，同样临界值threshold也翻倍，此时仍然是容量的0.75。

接下来是非常重要的部分，我们新设置了一个容量为翻倍后的数组，遍历旧数组中的每一个Node，将其重新映射（散列）到新数组中。

首先遍历数组，当数组中的元素为空时跳过

当数组中的元素为单个Node时，重新用位操作来快速根据新容量的大小求模的到新数组的下标，直接将Node放入。

当数组中的元素为红黑树时 （后面补充）

当数组中的元素为Node的链表时，遍历链表求每一个Node在新数组中的下标。由于我们的扩容是翻倍扩容，新数组的容量为旧数组的2倍，所以新数组中每一个Node的位置（下标）必然是它在旧数组中的原位置或者原位置加上增加容量的偏移，换句话说，旧数组中的Node搬新数组，要么下标不变，要么往后移动一个增加的容量大小的距离。例如当旧数组的原容量为16时有哈希值分别为9,25,41,57的四个Node，把这四个Node搬去容量翻倍为32的新数组时，哈希值为9的Node原地不动，因为它求模32后依然下标为9，和旧容量16时求模结果一样；哈希值为25的在原数组中求模为9，跟哈希值为9的Node同属一个bin的链表中，但在新数组中求模为25，于是在新数组中搬去了下标为25（9+16）的位置，与它本来原位置9偏移了一个扩容的大小16（原数组的容量）；接着看哈希值为41的Node，它在旧数组和新数组中的求模都为9，所以是呆在原位置不需要移动；57与25同理。我们发现，像哈希值9,25,41,57在16容量搬去32容量的例子下，我们只需要判断它们被32求模了之后再求模16的结果是不是为0，也就是判断它们被32求模了之后的值是否“溢出”16？或者说比16大还是小？如果“溢出”16，则需要搬位置，往后位移16，否则原地不动。所以这样看来，我们不必对链表中每一个Node的哈希值去求模取得新下标，我们只需要判断它是否是呆在原地还是往后位移一个增加容量的距离即可。源码中判断“是否溢出16”用了效率比较高的做法，直接去判断哈希值的二进制在第5低位上是不是1即可，第5位即为16的最高位（二进制10000），如果这个位上为1，证明被32求模的结果大于等于16，如果为0则小于16。最终，我们只需要在操作上将哈希值和旧容量（最高位为1其他位都为0，如16的二进制10000）的值做与运算，判断结果是否为0。下一步来说，我们当前是在遍历一个链表，我们把需要位移的Node拿出来组成新链表，放去位移的位置，剩下原地不动的Node重新接成一个链表，留在原地。这样处理的明显好处是链表中Node之间的前后关系没有发生变化。

题目描述

No1.两数之和 ——中文站，原站

难度：简单

给定一个整数数组 nums 和一个整数目标值 target，请你在该数组中找出 和为目标值 target 的那 两个 整数，并返回它们的数组下标。

你可以假设每种输入只会对应一个答案。但是，数组中同一个元素在答案里不能重复出现。

你可以按任意顺序返回答案。

示例 1：

1
2
3

输入：nums = [2,7,11,15], target = 9
输出：[0,1]
解释：因为 nums[0] + nums[1] == 9 ，返回 [0, 1] 。

示例 2：

1
2

输入：nums = [3,2,4], target = 6
输出：[1,2]

示例 3：

1
2

输入：nums = [3,3], target = 6
输出：[0,1]

提示：

• 2 <= nums.length <= 104
• -109 <= nums[i] <= 109
• -109 <= target <= 109
• 只会存在一个有效答案

进阶：你可以想出一个时间复杂度小于 $O(n^2)$ 的算法吗？

题解

暴力遍历

一个数组找出2个满足一定条件的数，嵌套循环，遍历完所有的可能性，判断满足的条件。

时间复杂度：$O(N^2)$，空间复杂度：$O(1)$

HashMap存值

上面的暴力解法，将大量的时间都用在遍历之前已经判断过的值上，要降低时间复杂度必然不能遍历无效结果。

我们可以在只遍历一次数组，在遍历每一个值时，将值和其下标存在HashMap中，K为值，V为下标，并从之前已经储存在HashMap的值中寻找是否存在满足条件的值，即为target与当前值的差，如果没有，继续往下遍历，如果存在，取出它的下标和当前值的下标得到结果。

leetcode上有评论提到了哈希碰撞会导致查找差值的时间复杂度不会是$O(1)$，当把相同的值放进

由于HashMap的查找时间复杂度为$O(1)$，我们只遍历了数组一次，所以整个的时间复杂度为$O(N)$。如果我们使用数组，链表来存值，每次查找需要$O(N)$时间复杂度，最终同样是$O(N^2)$的时间复杂度。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

class Solution{
	public int[] twoSum(int[] nums, int target) {
        HashMap<Integer,Integer> hashMap = new HashMap<Integer,Integer>();
        for(int i=0;i<nums.length;i++){
            int complement = target-nums[i];
            if(hashMap.containsKey(complement)){
                int j = hashMap.get(complement);
                return new int[] {i,j};
            }
            hashMap.put(nums[i],i);
        }
        return new int[]{};
    }

}