C语言学习笔记(17) 数组和指针分析

原创 2015年11月19日 16:30:55

摘要:总结了数组的本质,通过实例阐述了a+1和&a+1的区别,指针的关系,比较运算,指出为什么只能进行相减运算及其意义,解释了数组与下标运算的优劣,解析了一道面试题,说明了数组和指针作为函数参数的时候需要注意的地方,最后总结了数组和指针的一些差别。


一、数组的本质

    数组是一段连续的内存空间,数组名指向数组首元素的地址。

    数组占用的空间的大小为sizeof(array_type)*arrsy_size,比如这里我们定义一个数组int a[5],大小就是sizeiof(int)*5=20,这个数组占用空间的大小就是20。

    数组名是一个常量指针,这是因为其只能作为左值使用,不可以作为右值。

    a+1代表什么呢?运算结果呢?可以看下面的例子;

<span style="font-size:18px;">#include <stdio.h>
int main(void)
{
    char a[5]={'h','e','l','l','o'};
    int b[6]={1,3,5,4,5,6};
 
    printf("arraya size is :%d\n",sizeof(char)*5);
    printf("arrayb size is :%d\n",sizeof(int)*6);
   
    printf("*a+1is :%d\n",*a+1);
    printf("*b+1is :%d\n",*b+1);
   
    printf("ais :%0x\n",a);
    printf("bis :%0x\n",b);
   
    printf("a+1is :%0x\n",a+1);
    printf("b+1is :%0x\n",b+1);
   
    printf("*(a+1)is :%d\n",*(a+1));
    printf("*(b+1)is :%d\n",*(b+1));
 
    return0;
}  
运行结果如下:
arraya size is :5
arrayb size is :24
*a+1 is :105
*b+1 is :2
a is:bfad444b
b is:bfad4430
a+1 is:bfad444c
b+1 is:bfad4434
*(a+1) is :101
*(b+1) is :3</span>

    可以看到a+1和b+1都指向了数组中下一个元素的地址,我们把其中的值取出来也和我们定义的元素的值是一致的,也就是a[i]=*(a+i)。


二、指针的运算

    其实上面的例子我们已经用到了指针的运算,这里规则如下。

    1.指针是一种特殊的变量,其与整数运算的规则为:

    p+n=(unsigned int)p+n*sizeof(*p)

    当指针指向一个数组中元素时候,p+n表示从当前元素往下第n个元素,p-n表示从当前元素之前的第n个元素。

    2.指针之间只支持减法运算,并且参与运算的指针的类型必须相同:

    p1-p2=(unsigned int)p1-(unsignedint)p2/sizeof(type)

    只有当两个指针指向同一个数组中的元素时候,才会有意义,相减的结果是数组元素的下标差,当两个指针指向不同数组的元素的时候,相减的意义未知。之所以不能相加,和相乘我想是因为太容易越界了,相除也会造成未知数的产生,相减也只是限定在同一个数组中,这样才会有意义,假如一个在栈空间,一个在堆空间,相减的意义是无法给出的。


三、指针的比较

    指针也可以进行关系运算:<,<=,>,>=,前提还是必须指向同一个数组中的元素,但是指针之间的比较运算==,!=是可以在任意指针之间的进行的,这个其实很好理解,既然在同一数组中的指针可以进行相减,那么关系大小也是可以比较的,任意两个指针其中存放的无非是地址,地址之间比较大小也是可以的。

    下面给出的例子就是利用这一点打印出了hello;

<span style="font-size:18px;">#include <stdio.h>
#define DIM(s) sizeof(s)/sizeof(char)
 
int main(void)
{
    chars[5]={'h','e','l','l','o'};
    char*pbegin=s;
    char*pend=s+DIM(s);
    char*p=NULL;
   
    for(p=pbegin;p<pend;p++)
       {
           printf("%c",*p);
           }
    printf("\n");
   
    return0;
    }</span>

    结果当然就是输出了hello,这里for循环语句里面的就用到了指针之间的关系运算。


四、数组的访问,下标和指针

    1.以下标的形式去访问,例如a[1]=1;a[2]=2;

    2.以指针的形式去访问,例如*(a+1)=3;*(a+3)=5;

    从理论上而言,当指针以固定增量在数组中移动时,其效率高于下标产生的代码,并且当指针增量为1且硬件具有硬件增量模型时,表现更佳。

    但是现在编译器生成代码的优化率已经大大的提高,在固定增量的时候,下标的效率已经和指针相当,但是从代码可读性和可维护性的角度来看,下标具有优势。

    之所以指针的效率高,拿赋值语句做比较,指针进行的是*p1++=*p2++,其中需要进行的是自增运算,但是数组比如a[i]=a[j],需要用首地址+i或者j*sizeof(type),这其中包含一个乘法运算,所以效率就慢在这里了。

    c语言中可以用clock()得到当前的毫秒数,可以写一个例子start存放执行前的代码,结束后可以end=clock(),然后相减得到程序运行的时间,这里就不做演示了。

 

五、a和&a的区别

    这部分我觉得是最重要的了,之前也讨论过数组地址和数组首元素的地址的区别,虽然值是一样的,但是意义不同,这里在进行指针运算的时候区别就出来了:

    a代表的是数组首元素的地址;

    &a代表的是数组的地址;

    指针运算具有区别:

    a+1=(unsigned int)a+sizeof(*a),a的绝对值加上里面元素的大小

    &a+1=(unsigned int)(&a)+sizeof(*&a)。a的绝对值加上整个数组的大小,因为&和*是一个相反的运算,最后其实就是a。这里&a+1就指向数组的末尾了。

    这可以写一个例子验证一下,例子如下:

<span style="font-size:18px;">#include <stdio.h>
int main(void)
{
    chara[5]={'h','e','l','l','o'};
    intb[6]={1,3,5,4,5,6};
 
    printf("arraya size is :%d\n",sizeof(char)*5);
    printf("arrayb size is :%d\n",sizeof(int)*6);
   
    printf("ais :%0x\n",a);
    printf("bis :%0x\n",b);
    printf("a+1is :%0x\n",a+1);
    printf("b+1is :%0x\n",b+1);
   
    printf("&ais :%0x\n",&a);
    printf("&bis :%0x\n",&b);
    printf("&a+1is :%0x\n",&a+1);
    printf("&b+1is :%0x\n",&b+1);
 
    return0;
    }
    运行结果如下:
array a size is :5
array b size is :24
a is :bfdf78fb
b is :bfdf78e0
a+1 is :bfdf78fc
b+1 is :bfdf78e4
&a is :bfdf78fb
&b is :bfdf78e0
&a+1 is :bfdf7900
&b+1 is :bfdf78f8</span>

    可以看到,&a+1比&a地址大了5,&b比&b+1大了24,正好是我们定义的两个数组的大小,在看a+1和b+1他们分别指向了下一个元素的地址。


六、面试题解析

<span style="font-size:18px;">#include <stdio.h>
int main()
{
   int a[5] = {1, 2, 3, 4, 5};
   int* p1 = (int*)(&a + 1);
   int* p2 = (int*)((int)a + 1);
   int* p3 = (int*)(a + 1);
   
   printf("%d, %0x, %d\n", p1[-1], p2[0], p3[1]);
   
   return 0;
}</span>

    其实这里考的主要是p1和p2的指针的操作,我们知道&a+1就是指向a数组的末尾,这里p1[-1]就是往前移一个位置,所以输出的是5。第二个,(int)a+1的意思是在首地址的基础上,往下移动一个字节的意思,这样就错位了,可以看下面这个图:

   

    这里涉及到系统大小端的存放模式,由于是小端系统,例如0x12345678在小端系统下的存储顺序是87,65,43,21,所以这里的0,0,0,2其实存放的是00,00,00,20,那么打印出来就是0x02000000了;第三个不用多说了,打印出来的是3.这里运行结果如下:

    5,2000000,3


七、数组参数

    C语言中,数组作为函数参数的时候,编译器将其编译成对应的指针,所以一般情况下,当定义的函数中有数组作为参数的时候,需要定义另外一个变量声明数组元素的个数,也就是数组的大小,就像下面,无论你声明不声明数组大小,在作为函数参数的时候,到了编译器处理的时候全部转化为一个指针,在该函数里面使用sizeof(a)的时候,一般都是等于4,而不是数组的实际大小。

    voidf(int a[]) è voidf(int* a);

    voidf(int a[5]) è voidf(int* a);


八、指针和数组的对比

    1.数组声明的时候,编译器自动分配一片连续的内存空间。

    2.指针分配得时候,值分配了容纳指针大小的4字节空间。

    3.在作为函数参数的时候,数组参数和指针参数等价。

    4.数组名在多数情况下可以看做常量指针,其值不会被改变。

    5.指针的本质是变量,其中保存的值是内存中的地址。


    这篇帖子就总结到这里,如有不正确的地方还请指出,大家共同进步!
版权声明:本文为博主原创文章,未经博主允许不得转载。

C语言学习笔记变量数组指针

  • 2010年08月25日 23:31
  • 116KB
  • 下载

C语言学习笔记(17指针)

1、动态创建一维数组示意图 2、动态创建一维数组示例: #include #include #include int main(void) { int a[5];//静态数组,如果int...
  • ljf5566
  • ljf5566
  • 2011年10月07日 18:50
  • 495

C语言学习笔记(20) 数组参数和指针参数分析

摘要:总结了数组指针传递给函数为什么会退化为指针,二维数组参数在传递的时候需要注意哪些地方,最后给出两个实例加深理解。 一、数组作为参数为什么会退化为指针     1.C语言之中只会以值拷...

C语言学习笔记(19) 多维数组和多维指针分析

摘要:总结了指向指针的指针的用法,以及这样使用的意义,分析了二维数组名,二维数组和二级指针的用法,文中用多个相关实例加深理解。 一、指向指针的指针     我们都知道,指针其实也是一个变量,只是里...

C语言学习笔记:17_数组-一维数组(基本操作,选择和冒泡排序,斐波那契数列)

/* * 17_数组-一维数组.c * * Created on: 2015年7月6日 * Author: zhong */ #include #include /** *...

C语言深度剖析学习笔记-指针、数组、内存、函数

指针与数组指针就是一个变量

【C语言学习笔记】数组、字符串、指针

第一部分 数组 第二部分 字符串 第三部分 指针

<<C语言深度剖析>>学习笔记之五:指针与数组

1.指针:     通俗说法:     一个基本的数据类型(如char、int、struct)后面加上"*"号就构成了一个指针类型的模子.这个模子是一定的,与"*"号前面的 数据类型无关--在3...

C语言学习笔记(18) 指针数组和数组指针分析

摘要:总结了指针数组和数组指针的定义,以及main函数的入口参数的意义,每一个部分给出一个例子加深理解。 一、三个问题    1.一维数组名代表了数组首元素的地址,二维数组名呢?  ...

C语言指针学习笔记

  • 2013年08月09日 17:08
  • 24KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:C语言学习笔记(17) 数组和指针分析
举报原因:
原因补充:

(最多只允许输入30个字)