数组相关知识

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

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

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

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

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

• 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