数据结构之数组

什么是数组？

定义不重要，重要的是我们从定义上获得什么内容，你随便写一个数组，你看看从上面能看出哪些共性。
比如我写array[5] = {1,2,3,4,5 };
array的特点是什么：

1. 数组中的元素类型相同
2. 使用的时候都是array[1] array[2]说明内存空间上连续的，因为array是首地址如果不连续的话这样写序号访问的话，不就出错了吗，因此在内存空间上一定是连续的。
3. 线性表：其实就是数据的结构呈线性（就像一条直线），只有前后两个方向，不会分叉。

数组很重要的特性

我认为数组最重要的特性是随机访问。
什么是随加访问？

就是你可以任意的访问数据结构中的每个元素。（比如你要访问数组的第四个元素用array[3]即可访问）
而顺序访问不行，必须顺序访问的数据结构，你要访问第四个元素，必须按照顺序从第一个元素开始，然后访问第二个，再访问第三个最后到第四个才行。

但是凡事有利就有弊

随机访问和顺序访问的数据结构的优缺点

可以看得出随机访问查找、访问速度快，凡事有利有弊，查询快，进行插入，删除操作的时候就就慢很多（比如你数组删除的时候要将后面的元素一次往前挪移，当你插入的时候又要依次往后挪移，多了大量的数据搬移操作）

查漏补缺

1. 数组名就是数组的首地址
2. 有一个问题：“说说链表和数组的区别”
   很多人回答说链表适合插入和删除操作，时间复杂度为O(1);数组适合查找，时间复杂度为O(1).
   前面一句是对的，链表没问题，但是数组那句不对，为什么呢，因为数组是适合查找，但是要根据下标查找（即是随机访问的特性）才是时间复杂度为O(1).（这样说的意思是，确实是O(1)但是不是因为适合查找）
   正确的表述应该是：数组支持随机访问，根据下标随机访问的时间复杂度为O(1)。
3. C++之如何创建数组（初始化）

//第一种
int a[10] = {1};//定义并且全部初始化为1

//第二种vector
vector<int> a(10);//vecot是一种容器，学习STL时候会学到

/*第三种用new new出来的一般是这段空间的首地址地址，所以要用指针来存放这个地址，而且new开辟的空间在堆上，而一般变量存储在栈上（new不仅可以数组，实际上的作用是开辟一段空间，定义一个单独变量也一样，区别在于作用域，这段空间在局部函数调用结束后，仍能使用，可以用来向主函数传递参数）
*/
int *a = new int(5);

4. 数组插入，删除比较低效（因为支持随机访问），如何改进？
   1. 比如插入操作，正常我们比如在array[4]位置插入一个数，数组长度加1，第五位到最后一位都要向后移一位，就很麻烦
      改进方法：如果数组中的数据是有序的，我们在某个位置插入一个新的元素时，就必须按照刚才的方法搬移 k 之后的数据。**但是，如果数组中存储的数据并没有任何规律，数组只是被当作一个存储数据的集合。**在这种情况下，如果要将某个数据插入到第 k 个位置，为了避免大规模的数据搬移，我们还有一个简单的办法就是，直接将第 k 位的数据搬移到数组元素的最后，把新的元素直接放入第 k 个位置。（注意是存储的数组没有任何规律才行）
   2. 删除也要进行大量的数据搬移，其中数组末尾的元素最容易删除，时间复杂度为O(1)，首部的元素最慢时间复杂度为O(n)，因此
      **改进方法：**如果只删除一个就必须按照上面的方法来，但是当删除多个元素的时候，每次进行的删除操作是并不真的进行删除，而是记录已经删除的元素，当数组已经没有空间存储数据的时候才真正执行一次删除操作，将记录的删除数据删除。
5. 数组越界

int main(int argc, char* argv[]){
    int i = 0;
    int arr[3] = {0};
    for(; i<=3; i++){
        arr[i] = 0;
        printf("hello world\n");
    }
    return 0;
}

你发现问题了吗？这段代码的运行结果并非是打印三行“hello word”，而是会无限打印“hello world”，这是为什么呢？
解答因为，数组大小为 3，a[0]，a[1]，a[2]，而我们的代码因为书写错误，导致 for 循环的结束条件错写为了 i<=3 而非 i<3，所以当 i=3 时，数组 a[3]访问越界。我们知道，在 C 语言中，只要不是访问受限的内存，所有的内存空间都是可以自由访问的。a[3]也会被定位到某块不属于数组的内存地址上，而这个地址正好是存储变量 i 的内存地址，那么 a[3]=0 就相当于 i=0，所以就会导致代码无限循环。
那好另一个问题出现了a[3]也会被定位到某块不属于数组的内存地址上，而这个地址正好是存储变量 i 的内存地址，那么 a[3]=0 就相当于 i=0为什么？
函数体内的局部变量存在栈上，且是连续压栈。在Linux进程的内存布局中，栈区在高地址空间，从高向低增长。变量i和arr在相邻地址，且i比arr的地址大，所以arr越界正好访问到i。当然，前提是i和arr元素同类型，否则那段代码仍是未决行为。
6.容器能否完全代替数组（重点）
容器封装很多操作，而且当存储空间不足时能动态分配空间（但是耗时，要申请内存和数据搬移（要将原来的数组搬移到新空间位置）所以尽量提前申请好足够的空间）
正常开发的话 我觉得就使用容器最好，基本没啥影响，而且很方便（除非你搞底层设计）。
为什么大多数编程语言中，数组要从 0 开始编号，而不是从 1 开始呢？

真实解释要很大篇幅，我们就这样理解在底层我们使用首地址加偏移地址进行寻址，首地址a就是数组名，偏移地址k就是下标（我们底层就这样写寻址的地址就是a+k）下标从0开始就是a+0，a+1正好，而如果是从1开始寻址就是a+（k-1）才能寻址，这样底层多了一步减法运算，其实完全没必要，因此就从0开始即可。

关注我，会定期更新数据结构与算法，开发中的感悟，共同学习。加油！！！