【C语言进阶剖析】27.C语言中数组的本质分析

文章目录

一、数组的概念

二、数组的大小

三、数组地址与数组名 

四、数组名的盲点

五、小结

---

一、数组的概念

• 数组是相同类型的变量的有序集合

二、数组的大小

• 数组在一片连续的内存空间中存储元素
• 数组元素的个数可以显示或隐式指定

        下面看一段数组初始化的代码：

#include <stdio.h>

int main()
{
    int a[5] = {1, 2};
    int b[] = {1, 2};
    
    printf("a[2] = %d\n", a[2]);
    printf("a[3] = %d\n", a[3]);
    printf("a[4] = %d\n", a[4]);
    
    printf("sizeof(a) = %d\n", sizeof(a));
    printf("sizeof(b) = %d\n", sizeof(b));
    printf("count for a: %d\n", sizeof(a)/sizeof(int));
    printf("count for b: %d\n", sizeof(b)/sizeof(int));
    
    return 0;
}

        下面为输出结果：

         注意数组长度的计算，sizeof(数组名) / sizeof(数组元素类型)

三、数组地址与数组名 

• 数组名代表数组首元素的地址
• 数组的地址需要用取地址符 & 才能得到
• 数组首元素的地址值与数组的地址值相同
• 数组首元素的地址与数组的地址是两个不同的概念

        下面看一段数组名和数组地址的代码：

#include <stdio.h>

int main()
{
    int a[5] = { 0 };

    printf("a = %p\n", a);
    printf("&a = %p\n", &a);
    printf("&a[0] = %p\n", &a[0]);
    
    return 0;
}

        下面为输出结果：

         注意：数组首元素的地址与数组的地址是两个不同的概念，虽然它们的地址值是一样的，但是意义确是完全不同的，不同之处在于它们所占用的内存空间长度是不一样的。

四、数组名的盲点

• 数组名可以看做一个指针常量
• 数组名“指向”的是内存中数组首元素的起始位置
• 数组名不包含数组的长度信息
• 在表达式中数组名只能作为右值使用
• 只有在下列场合中数组名不能看做指针常量
  • 数组名作为 sizeof 操作符的参数
  • 数组名作为 & 运算符的参数

        下面通过一段代码，说明数组和指针并不相同：

#include <stdio.h>

int main()
{
    int a[5] = {0};
    int b[2];
    int* p = NULL;
    
    p = a;
    
    printf("a = %p\n", a);
    printf("p = %p\n", p);
    printf("&p = %p\n", &p);
    printf("sizeof(a) = %d\n", sizeof(a));
    printf("sizeof(p) = %d\n", sizeof(p));
   
    printf("\n");

    p = b;
    
    printf("b = %p\n", b);
    printf("p = %p\n", p);
    printf("&p = %p\n", &p);
    printf("sizeof(b) = %d\n", sizeof(b));
    printf("sizeof(p) = %d\n", sizeof(p));
    
    //b = a;
  
    return 0;
}

        输出结果如下：

        sizeof(a) = 20，sizeof(p) = 4，这就说明了指针和数组是两个不相同的东西。

五、小结

• 数组是一片连续的内存空间
• 数组的地址和数组首元素的地址意义不同
• 数组名在大多数情况下被当成指针常量处理
• 数组名其实并不是指针，不能将其等同于指针