C语言笔记--数组的本质分析（1）

数组的本质是相同类型的变量的有序集合。

　　假设声明了 int a[5];

数组名a 代表什么？代表a数组第一个元素的起始地址，a数组的大小为20个字节。a数组里面的每个元素都是int类型。

　　数组在一片连续的内存空间中存储元素

　　int a[5] = {1,2};

　　int b[]={3,2,1};

a[2],a[3],a[4]的值是多少？  为0

b包含了多少个元素呢？ 3个

#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;
}

数组名代表数组首元素的地址

数组的地址需要用取地址符&才能得到

数组首元素的地址值与数组的地址值相同。

数组首元素的地址和数组的地址是两个不同的概念。

#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;
}

数组是一片连续的内存空间

数组的地址和数组首元素的地址意义不同

数组名在大多数情况下被当做指针常量处理，数组名其实并不是指针，不能将其等同于指针。