3. 数组越界

数组的下标是有范围限制的。数组的下规定是从0开始的,如果数组有n个元素,最后一个元素的下标就是n-1。

所以数组的下标如果小于0,或者大于n-1,就是数组越界访问了,超出了数组合法空间的访问。

C语言本身是不做数组下标的越界检查,编译器也不一定报错,但是编译器不报错,并不意味着程序就是正确的,

所以程序员写代码时,最好自己做越界的检查

int main()
{
 int arr[10] = {1,2,3,4,5,6,7,8,9,10};
    int i = 0;
    for(i=0; i<=10; i++)
   {
        printf("%d\n", arr[i]);//当i等于10的时候,越界访问了
   }
 return 0;
}


4. 数组作为函数参数

往往我们在写代码的时候,会将数组作为参数传个函数,比如:我要实现一个冒泡排序(这里要讲算法思想)函数将一个整形数组排序。

那我们将会这样使用该函数:

4.1 冒泡排序函数的错误设计

//方法1:
#include <stdio.h>
void bubble_sort(int arr[])
{
 int sz = sizeof(arr)/sizeof(arr[0]);//这样对吗?//传过来的是首元素地址
  所以该计算结果为1
    int i = 0;
 for(i=0; i<sz-1; i++)
   {
        int j = 0;
        for(j=0; j<sz-i-1; j++)
       {
            if(arr[j] > arr[j+1])
           {
                int tmp = arr[j];
                arr[j] = arr[j+1];
                arr[j+1] = tmp;
           }
       }
   }
}
int main()
{
    int arr[] = {3,1,7,5,8,9,0,2,4,6};
    bubble_sort(arr);//是否可以正常排序?
    for(i=0; i<sizeof(arr)/sizeof(arr[0]); i++)
   {
        printf("%d ", arr[i]);
   }
    return 0;
}
错误在于,数组传参时传过去的是数组首元素地址,所以在函数内部的sz的值为1

4.2 数组名是什么?

int main()
{
    int arr[10] = {1,2,3,4,5};
    printf("%p\n", arr);
    printf("%p\n", &arr[0]);
    printf("%d\n", &arr);//输出值一样,但意义不一样,其代表整个数组
    //输出结果
    return 0;
}
结论:
数组名是数组首元素的地址。(有两个例外)
1. sizeof(数组名),计算整个数组的大小,sizeof内部单独放一个数组名,
数组名表示整个数组。
2. &数组名,取出的是数组的地址。&数组名,数组名表示整个数组。

除此1,2两种情况之外,所有的数组名都表示数组首元素的地址。

4.3 冒泡排序函数的正确设计

当数组传参的时候,实际上只是把数组的首元素的地址传递过去了。

所以即使在函数参数部分写成数组的形式: int arr[] 表示的依然是一个指针: int *arr 。

那么,函数内部的 sizeof(arr) 结果是4。如果 方法1 错了,该怎么设计?

void bubble_sort(int arr[],int n) //传过来数组的元素大小
{
    int i;
    int j ;
    for(i = 0;i<n-1;i++)
    {
        for(j = 0;j < n-1-i;j++)
        {
            if(arr[j] > arr[j+1])
            {
                int tmp = arr[j];
                arr[j] = arr[j+1];
                arr[j+1] = tmp;
            }
        }
    }
}
int main()
{
    int arr[] = {9,8,7,6,5,4,3,2,1,0};
    //对arr数组进行排序
    int n = sizeof(arr)/sizeof(arr[0]);
    bubble_sort(arr,n);//冒泡排序,只对arr传参,传过去的是数组的首元素地址
    printf("排序结果:");
    for (int i = 0; i < n; i++) 
    {
        printf("%d ", arr[i]);
    }
    return 0;
}



优化,在数组已经有序时及时结束循环

void bubble_sort(int arr[],int n)  //数组本身也是一个地址
{
    int i;
    int j ;
    int flag;
    for(i = 0;i<n-1;i++)
    {
        flag = 1; //用该值表示是否此次循环是否发生排序,即判断数组是否已经有序
        for(j = 0;j < n-1-i;j++)
        {
            if(arr[j] > arr[j+1])
            {
                int tmp = arr[j];
                arr[j] = arr[j+1];
                arr[j+1] = tmp;
                flag = 0;
            }
        }
        if(flag == 1)//表明已经有序,可以结束循环
        {
            break;
        }
    }
}
int main()
{
    int arr[] = {9,8,7,6,5,4,3,2,1,0};
    //对arr数组进行排序
    int n = sizeof(arr)/sizeof(arr[0]);
    bubble_sort(arr,n);//冒泡排序,只对arr传参,传过去的是数组的首元素地址
    printf("排序结果:");
    for (int i = 0; i < n; i++) 
    {
        printf("%d ", arr[i]);
    }
    return 0;
}