数组相关知识

数组是存放在连续内存空间上的相同类型数据的集合。

• 数组下标都是从0开始的。
• 数组内存空间的地址是连续的
  因为数组的在内存空间的地址是连续的，所以我们在删除或者增添元素的时候，就难免要移动其他元素的地址。

二分法：循环不变量

二分法的前提条件： 数组为有序数组；数组中无重复元素

二分查找涉及的边界条件

二分法经常写乱的原因 ： 对区间的定义没有想清楚，区间的定义就是不变量。要在二分查找的过程中，保持不变量，就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。

区间的定义一般有两种：

区间的定义一般为两种，左闭右闭即[left, right]，或者左闭右开即[left, right)。

第一种写法：[left, right]

• while (left <= right) 要使用 <= ，因为left == right是有意义的，所以使用 <=
• if (nums[middle] > target) right 要赋值为 middle -1，因为当前这个nums[middle]一定不是target，那么接下来要查找的左区间结束下标位置就是 middle - 1

第二种写法：[left, right)

• while (left < right)，这里使用 < ,因为left == right在区间[left, right)是没有意义的
• if(nums[middle] > target) right 更新为middle，因为当前nums[middle]不等于target，去左区间继续寻找，而寻找区间是左闭右开区间，所以right更新为middle，即：下一个查询区间不会去比较nums[middle]

数组的元素在内存地址中是连续的，不能单独删除数组中的某个元素，只能覆盖。

移除元素（数组和链表）

双指针法（快慢指针法）：通过一个快指针和慢指针在一个for循环下完成两个for循环的工作。

数组中的元素为什么不能删除，主要是因为一下两点：

• 数组在内存中是连续的地址空间，不能释放单一元素，如果要释放，就是全释放（程序运行结束，回收内存栈空间）。
• C++中vector和array的区别一定要弄清楚，vector的底层实现是array，所以vector展现出友好的一些都是因为经过包装了。

滑动窗口

滑动窗口的精妙之处在于根据当前子序列和大小的情况，不断调节子序列的起始位置。从而将O(n^2)的暴力解法降为O(n)。

• 窗口内是什么
• 如何移动窗口的起始位置
• 如何移动窗口的结束位置

螺旋矩阵

采用循环不变量原则

https://mp.weixin.qq.com/s/fPWBGWB14yVbUeSKvM2DMw